Show simple item record

dc.contributor.authorSINNOTT, RICHARDen_US
dc.contributor.authorTurner, Kenneth J.en_US
dc.identifier.citationSinnott, R., & Turner, K. J. (1996). Specifying ODP computational objects in Z . In E. Najm & J. Stefani (Eds.), Formal methods for open object-based distributed systems 1. IFIP Advances in information and communication technology. (pp. 375-390). London; New York: Springer.en_US
dc.descriptionISBN 9780412797705en_US
dc.descriptionPublisher’s permission requested and denieden_US
dc.description.abstractThe computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved.en_US
dc.subjectopen distributed processingen_US
dc.subjectarchitectural semanticsen_US
dc.titleSpecifying ODP computational objects in Zen_US
dc.typeBook Chapteren_US
melbourne.peerreviewPeer Revieweden_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.affiliation.departmentComputing and Information Systems
melbourne.affiliation.facultyEngineering and Information Technology
melbourne.source.titleFormal methods for open object-based distributed systems 1. IFIP Advances in information and communication technology.en_US
melbourne.source.editorNajm, Elieen_US
melbourne.source.editorStefani, Jean-Bernarden_US
melbourne.contributor.authorSinnott, Richard
melbourne.accessrightsThis item is currently not available from this repository

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record