Sinnott, R.O. and Turner, K.J. (1994) Modelling ODP viewpoints. In: Workshop on Precise Behavioural Specifications on Object-Oriented Information Modelling, Portland, Oregon, pp. 121-128.
Full text not currently available from Enlighten.
Abstract
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.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Sinnott, Professor Richard |
Authors: | Sinnott, R.O., and Turner, K.J. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | University Services > IT Services > Computing Service |
Journal Name: | Proceedings of Workshop on Precise Behavioural Specifications in Object-Orientated Information Modelling |
University Staff: Request a correction | Enlighten Editors: Update this record