Consistency of partial process specifications

Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil. (Full text available)

PDF
Download (469kB)
[img]
Preview
Postscript
Download (216kB)
[img]
Preview

Abstract

The structuring of the specification and development of distributed systems according to viewpoints, as advocated by the Reference Model for Open Distributed Processing, raises the question of when such viewpoint specifications may be considered consistent with one another. In this paper, we analyse the notion of consistency in the context of formal process specification. It turns out that different notions of correctness give rise to different consistency relations. Each notion of consistency is formally characterised and placed in a spectrum of consistency relations. An example illustrates the use of these relations for consistency checking.

Item Type: Conference or workshop item (Paper)
Additional information: Proceedings Paper
Uncontrolled keywords: consistency; partial specification; process algebra; viewpoints
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: F.D. Zabet
Date Deposited: 23 Mar 2009 19:25
Last Modified: 12 May 2014 14:36
Resource URI: http://kar.kent.ac.uk/id/eprint/16653 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year