• 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