School of Computing

Consistency of partial process specifications

Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman

In Armando Haeberer, editor, AMAST'98, pages 182-196. Springer Verlag, January 1999.


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. Download publication 211 kbytes (PostScript)

Bibtex Record

author = {Maarten Steen and John Derrick and Eerke Boiten and Howard Bowman},
title = {Consistency of Partial Process Specifications},
month = {January},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    booktitle = {AMAST'98},
    editor = {Armando Haeberer},
    publisher = {Springer Verlag},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014