School of Computing

Interpreting ODP Viewpoint Specification: Observations from a Case Study

C Taylor, E Boiten, and J Derrick

Technical Report 9-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, UK, September 2001.


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

Download publication 248 kbytes (PostScript)

Bibtex Record

author = {C Taylor and E Boiten and J Derrick},
title = {{Interpreting ODP Viewpoint Specification: Observations from a Case Study}},
month = {September},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {techreport},
    submission_id = {26610_999766953},
    number = {9-01},
    address = {University of Kent at Canterbury, UK},
    institution = {University of Kent, Computing Laboratory},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014