Computing and Information Systems - Research Publications

Permanent URI for this collection

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

Filters

1996 - 1999 2
2
Reset filters

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

Search Results

Now showing 1 - 2 of 2
  • 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.
  • Item
    Thumbnail Image
    The pros and cons of using SDL for creation of distributed services
    Olsen, Anders ; Demany, Didier ; Cardoso, Elsa ; Lodge, Fiona ; Kolberg, Mario ; Bjorkander, Morgan ; SINNOTT, RICHARD (Springer, 1999)
    In a competitive market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. Optimizing the development process is very much a matter of optimizing the technologies used during service creation. This paper reports on the experience gained in the Service Creation projects SCREEN and TOSCA on use of the language SDL for efficient service creation.