Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

1996 1
1
Reset filters

Settings
Statistics
Citations
Start date: 1994 × End date: 1999 × Subject: ODP × Type: Book Chapter ×

Search Results

Now showing 1 - 1 of 1
  • Item
    Thumbnail Image
    Specifying ODP computational objects in Z
    SINNOTT, RICHARD ; Turner, Kenneth J. (Springer, 1996)
    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.