School of Computing

The specification and conformance of ODP systems

P.F. Linington, J. Derrick, and H. Bowman

In 9th International Workshop on Testing of Communicating Systems, pages 182-196, Darmstadt, Germany, September 1996. IFIP TC6/WG6.1, Chapman & Hall.


Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and ITU. A reference model has been defined which describes an architecture for building open distributed systems. This paper introduces the key aspects of the reference model of open distributed processing, including the ODP conformance framework. We discuss how specific formal techniques are used in the ODP viewpoints, along with the implications for conformance assessment using such techniques. Particular attention is given to the role of consistency in the conformance assessment process. Finally, we review the current work on an ODP conformance testing methodology.

Download publication 262 kbytes (PostScript)

Bibtex Record

author = {P.F. Linington and J. Derrick and H. Bowman},
title = {The specification and conformance of {ODP} systems},
month = {September},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {Darmstadt, Germany},
    booktitle = {9th International Workshop on Testing of Communicating Systems},
    organization = {IFIP TC6/WG6.1},
    publisher = {Chapman & Hall},

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

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

Last Updated: 21/03/2014