School of Computing

Maintaining cross viewpoint consistency using Z

J. Derrick, H. Bowman, and M. Steen

In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 182-196, Brisbane, Australia, February 1995. Chapman and Hall.


This paper discusses the use and integration of formal techniques, in particular Z, into the Open Distributed Processing (ODP) standardization initiative.

One of the cornerstones of the ODP framework is a model of multiple viewpoints. During the development process it is important to maintain the consistency of different viewpoints of the same ODP specification. In addition, there must be some way to combine specifications from different viewpoints into a single implementation specification. The process of combining two specifications is known as unification. Unification can be used as a method by which to check consistency. This paper describes a mechanism to unify two Z specifications, and hence provide a consistency checking strategy for viewpoints written in Z.

Download publication 52 kbytes

Bibtex Record

author = {J. Derrick and H. Bowman and M. Steen},
title = {Maintaining Cross Viewpoint Consistency using {Z}},
month = {February},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {Brisbane, Australia},
    booktitle = {IFIP TC6 International Conference on Open Distributed 			 Processing},
    editor = {K. Raymond and L. Armstrong},
    publisher = {Chapman and Hall},
    refereed = {yes},

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

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

Last Updated: 21/03/2014