School of Computing

Some results on cross viewpoint consistency checking

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

In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 182-196, Brisbane, Australia, February 1995. Chapman and Hall.

Abstract

The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency. This paper considers definitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. We place existing FDTs, in particular LOTOS, into this framework. Then we consider the prospects for viewpoint translation. Our conclusions centre on the relationship between the different definitions of consistency and on the requirements for realistic consistency checking.

Download publication 60 kbytes

Bibtex Record

@conference{179,
author = {H. Bowman and J. Derrick and M. Steen},
title = {Some Results on Cross Viewpoint Consistency Checking},
month = {February},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/179},
    address = {Brisbane, Australia},
    booktitle = {IFIP TC6 International Conference on Open Distributed 			 Processing},
    editor = {K. Raymond and L. Armstrong},
    publisher = {Chapman and 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