School of Computing

Modelling distributed systems using Z

H. Bowman and J. Derrick

In K. M. George, editor, ACM Symposium on Applied Computing, pages 182-196, Nashville, February 1995. ACM Press.


The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP. There are two technical problems concerning the use of formal techniques within ODP which have yet to be addressed: these are unification and consistency checking. We show how Z can be used to provide a solution for both; and hence provide a mechanism for Z to be used properly in the ODP development process.

Download publication 36 kbytes

Bibtex Record

author = {H. Bowman and J. Derrick},
title = {Modelling Distributed Systems using {Z}},
month = {February},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {Nashville},
    booktitle = {ACM Symposium on Applied Computing},
    editor = {K. M. George},
    publisher = {ACM Press},
    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