Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

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. ISSN 0169-7552 (doi:10.1016/S0169-7552(96)00108-0 )

Full text not currently available from Enlighten.

Publisher's URL: http://dx.doi.org/10.1016/S0169-7552(96)00108-0

Abstract

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:Article
Keywords:Open distributed processing (ODP), architectural semantics, LOTOS, ODP Trader
Status:Published
Refereed:Yes
Glasgow Author(s):Sinnott, Prof 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
ISSN:0169-7552

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

Tools

Deposit and Record Details