DocumentCode :
2164339
Title :
Black Cats and Coloured Birds ­ What do Viewpoint Correspondences Do?
Author :
Linington, Peter F.
Author_Institution :
Comput. Lab., Univ. of Kent, Canterbury
fYear :
2007
fDate :
15-16 Oct. 2007
Firstpage :
239
Lastpage :
246
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.
Keywords :
Unified Modeling Language; computational complexity; ODP reference model; UML language; complex system design; Birds; Cats; Conferences; Design engineering; Laboratories; Middleware; Process design; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
EDOC Conference Workshop, 2007. EDOC '07. Eleventh International IEEE
Conference_Location :
Annapolis, MD
Electronic_ISBN :
978-0-7695-3338-4
Type :
conf
DOI :
10.1109/EDOCW.2007.7
Filename :
4566978
Link To Document :
بازگشت