School of Computing

Strategies for consistency checking

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

Technical Report 12-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995.

Abstract

Viewpoint models of system development are becoming increasingly important. A major requirement for viewpoints modelling is to be able to check that the multiple viewpoint specifications are consistent with one another. The work presented in this report makes a contribution to this task. Our work is particularly influenced by the viewpoints model used in the ISO standardisation architecture for Open Distributed Processing.

This report focuses on the issue of strategies for consistency checking. In particular, it considers how global consistency (between any arbitrary number of viewpoints) can be obtained from binary consistency (between two viewpoints). The report documents a number of different classes of consistency checking, from those that are very poorly behaved to those that are very well behaved.

The report is intended as a companion to the work presented in [1] and it should be read in association with this document. In particular, the body of this report is a single chapter which should be viewed as additional to the chapters included in [1]. This report contains complete proofs of all relevant results, even though some of the results are obvious and some of the proofs are trivial. A much compressed version of the report is being submitted for publication. Thus, the main value of this report is as a reference document for readers who require a complete presentation of the technical.

[1] E. Boiten, H. Bowman, J. Derrick and M. Steen "Cross Viewpoint Consistency in Open Distributed Processing (Intra Language Consistency)", Technical Report, Computing Laboratory, University of Kent at Canterbury, report No. 8-95, 1995.

Phone: +44 1227 827913, Fax: 44 1227 762811 Email: {H.Bowman,E.A.Boiten,J.Derrick,mwas}@ukc.ac.uk.

Download publication 165 kbytes

Bibtex Record

@techreport{56,
author = {Howard Bowman and Eerke Boiten and John Derrick and Maarten Steen},
title = {Strategies for Consistency Checking},
month = {November},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/56},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/12-95},
    hensa_ftpaddress = {unix.hensa.ac.uk},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/12-95.ps.Z},
    institution = {University of Kent, Computing Laboratory},
    number = {12-95*},
}

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

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

Last Updated: 21/03/2014