Specifying ODP computational objects in Z

    Thumbnail
    Citations
    Altmetric
    Author
    SINNOTT, RICHARD; Turner, Kenneth J.
    Date
    1996
    Source Title
    Formal methods for open object-based distributed systems 1. IFIP Advances in information and communication technology.
    Publisher
    Springer
    University of Melbourne Author/s
    Sinnott, Richard
    Affiliation
    Computing and Information Systems
    Metadata
    Show full item record
    Document Type
    Book Chapter
    Citations
    Sinnott, 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.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/28829
    Description

    ISBN 9780412797705

     

    Publisher’s permission requested and denied

     
    Abstract
    The 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.
    Keywords
    Z; open distributed processing; ODP; architectural semantics

    Export Reference in RIS Format     

    Collections