== 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).

​

​

== Original document ==

​

The different versions of the original document can be found in:

​

* [https://kar.kent.ac.uk/13546/1/interpreting_odp_viewpoint_taylor.pdf https://kar.kent.ac.uk/13546/1/interpreting_odp_viewpoint_taylor.pdf]

​

* [https://link.springer.com/content/pdf/10.1007%2F978-0-387-35496-5_6.pdf https://link.springer.com/content/pdf/10.1007%2F978-0-387-35496-5_6.pdf]

​

* [http://link.springer.com/content/pdf/10.1007/978-0-387-35496-5_6 http://link.springer.com/content/pdf/10.1007/978-0-387-35496-5_6],

: [http://dx.doi.org/10.1007/978-0-387-35496-5_6 http://dx.doi.org/10.1007/978-0-387-35496-5_6]

​

* [https://link.springer.com/chapter/10.1007%2F978-0-387-35496-5_6 https://link.springer.com/chapter/10.1007%2F978-0-387-35496-5_6],

: [https://dblp.uni-trier.de/db/conf/fmoods/fmoods2002.html#TaylorBD02 https://dblp.uni-trier.de/db/conf/fmoods/fmoods2002.html#TaylorBD02],

: [https://dl.acm.org/citation.cfm?id=771612 https://dl.acm.org/citation.cfm?id=771612],

: [https://rd.springer.com/chapter/10.1007/978-0-387-35496-5_6 https://rd.springer.com/chapter/10.1007/978-0-387-35496-5_6],

: [https://kar.kent.ac.uk/13546 https://kar.kent.ac.uk/13546],

: [https://academic.microsoft.com/#/detail/2045791831 https://academic.microsoft.com/#/detail/2045791831]

​

* [ ]

​