(Created page with " == Abstract == Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under development by the International Standards Organisation (ISO)....") |
m (Scipediacontent moved page Draft Content 424498581 to Taylor et al 2001a) |
(No difference)
| |
Latest revision as of 15:27, 14 October 2020
Abstract
Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under development by the International Standards Organisation (ISO). It is based on the general idea of viewpoints - i.e. partial specifications of an overall system, from different perspectives - but assumes five specific, named viewpoints, which are described informally in the ODP Reference Model (RM-ODP). This paper summarises some observations regarding an attempt to use ODP to specify a complex air traffic control system. Some of the key issues that arise are discussed further in the context of the formal specification of a simpler, idealised model, involving two formalised viewpoints - the Information Viewpoint (a high-level, abstract specification, in Z), and the Computational Viewpoint (a specification of distributed components and objects, in Object-Z).
Document type: Book
Full document
The URL or file path given does not exist.
Original document
The different versions of the original document can be found in:
Document information
Published on 01/01/2001
Volume 2001, 2001
DOI: 10.1007/978-0-387-35496-5_6
Licence: CC BY-NC-SA license
Share this document
Keywords
claim authorship
Are you one of the authors of this document?