Applying the architectural semantics of ODP to develop a trader specification

Sinnott, R.O., and Turner, K.J. (1997) Applying the architectural semantics of ODP to develop a trader specification. Computer Networks and ISDN Systems, 29(4), pp. 457-471. (doi:10.1016/S0169-7552(96)00108-0 )

Full text not currently available from Enlighten.

Publisher's URL:


This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing an architectural semantics is given. The different approaches currently being taken for an ODP architectural semantics are presented. Finally, an ODP infrastructure component - the ODP Trader - is specified using the architectural semantics work, and the advantages gained from the approach are discussed.

Item Type:Articles
Keywords:Open distributed processing (ODP), architectural semantics, LOTOS, ODP Trader
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:Computer Networks and ISDN Systems

University Staff: Request a correction | Enlighten Editors: Update this record