Modelling ODP viewpoints
AuthorSinnott, Richard O.; Turner, Kenneth J.
Source TitleProceedings of OOPSLA 94: Workshop on Precise Behavioural Specifications in OO Information Modelling
University of Melbourne Author/sSinnott, Richard
Document TypeConference Paper
CitationsSinnott, R. O., & Turner, K. J. (1994). Modelling ODP viewpoints. In Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specifications in OO Information Modelling, Portland, Oregon.
Access StatusOpen Access
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specifications in OO Information Modelling 1994 published by ACM Press.
This paper gives a brief insight into the current work on the development of an architectural semantics for Open Distributed Processing (ODP). It first provides an introduction to the work on the formalisation in LOTOS and Z of the basic modelling and specification concepts of Part 2, and then focuses on the viewpoint languages of Part 3 of the Basic Reference Model for ODP (RM-ODP). It also shows up the separation of concerns that is achieved through these viewpoints thereby enabling systems to be considered from aspects which might be of interest to different people. This paper also highlights the way in which conformance between these formalised viewpoints can be checked, thereby ensuring that the system as a whole is consistent with the system as a collection of abstract viewpoints of the system. Finally the paper concludes with a brief discussion on the advantages and disadvantages of LOTOS and Z for modelling viewpoint languages and the RM-ODP generally.
Keywordsarchitectural semantics; open distributed processing; ODP; LOTOS; Z
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References