School of Computing

Black cats and yellow birds - what do viewpoint correspondences do?

Peter F. Linington

In Jo�o Paulo Almeida, Peter F. Linington, Antonio Vallecillo, and Bryan Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC2007), pages 182-196. IEEE Digital Library, October 2007.

Abstract

The ODP Reference Model is one of a number of specification frameworks which are based on the definition of a set of viewpoints that are coupled together by the definition of correspondences between terms. Wherever a correspondence is declared, any real world entity that is represented by a term in one viewpoint must also satisfy the requirements placed by the occurrence of the corresponding term in the other viewpoint. Although this idea represents an intuitively simple and satisfying way of talking about the design of complex systems, the idea of a correspondence is not as simple as it might, at first sight, appear. This paper uses simple examples to illustrate some of the complexities resulting from the coupling of object models and examines the consequences for claims of conformance to the complete system of specifications. Download publication 174 kbytes (PDF)

Bibtex Record

@inproceedings{2672,
author = {Peter F. Linington},
title = {Black Cats and Yellow Birds -- What do Viewpoint Correspondences Do?},
month = {October},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2672},
    publication_type = {inproceedings},
    submission_id = {8839_1204558072},
    editor = {Almeida, Jo�o Paulo and  Linington, Peter F. and Vallecillo, Antonio and Wood, Bryan},
    publisher = {IEEE Digital Library},
    refereed = {yes},
    booktitle = {Workshop on ODP for Enterprise Computing (WODPEC2007)},
}

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

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

Last Updated: 21/03/2014