Show simple item record

dc.contributor.authorSINNOTT, RICHARDen_US
dc.contributor.authorTurner, Kenneth J.en_US
dc.date.accessioned2014-05-21T22:07:21Z
dc.date.available2014-05-21T22:07:21Z
dc.date.issued1996en_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.identifier.urihttp://hdl.handle.net/11343/28829
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.languageengen_US
dc.publisherSpringeren_US
dc.subjectZen_US
dc.subjectopen distributed processingen_US
dc.subjectODPen_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.publication.statusPublisheden_US
melbourne.source.titleFormal methods for open object-based distributed systems 1. IFIP Advances in information and communication technology.en_US
melbourne.source.pages375-390en_US
melbourne.source.editorNajm, Elieen_US
melbourne.source.editorStefani, Jean-Bernarden_US
melbourne.elementsidNA
melbourne.contributor.authorSinnott, Richard
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record