School of Computing

Viewpoint consistency in ODP, a general interpretation

H. Bowman, E. Boiten, J. Derrick, and M. Steen

In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 182-196. Chapman & Hall, March 1996.

Abstract

Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexity inherent in specifying distributed systems. Multiple viewpoints prompt the issue of consistency between viewpoints. The ODP reference model alludes to three different interpretations of consistency. We show that our interpretation, firstly, satisfies all the basic requirements of a definition of consistency and, secondly, can be specialised to any of the three ODP reference model definitions. The generality of our definition will be illustrated through instantiation in the FDT LOTOS.

Download publication 68 kbytes

Bibtex Record

@conference{183,
author = {H. Bowman and E. Boiten and J. Derrick and M. Steen},
title = {Viewpoint consistency in {ODP}, a general interpretation},
month = {March},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/183},
    ISBN = {0-41279-770-4},
    booktitle = {First IFIP International Workshop on Formal Methods             for Open Object-Based Distributed Systems},
    editor = {E. Najm and J.-B. Stefani},
    publisher = {Chapman & Hall},
    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