School of Computing

Supporting ODP - translating LOTOS into Z

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

In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 182-196, Paris, March 1996. Chapman & Hall.

Abstract

This paper describes a translation of full LOTOS into Z. A common semantic model is defined and the translation is proved correct with respect to the semantics.

The motivation for such a translation is the use of multiple viewpoints for specifying complex systems defined by the reference model of the Open Distributed Processing (ODP) standardization initiative.

The postscript version available here is an extended version of what was published.

Download publication 102 kbytes

Bibtex Record

@conference{193,
author = {J. Derrick and E. Boiten and H. Bowman and M. Steen},
title = {Supporting {ODP} - Translating {LOTOS} into {Z}},
month = {March},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/193},
    ISBN = {0-41279-770-4},
    address = {Paris},
    booktitle = {First IFIP International Workshop on Formal Methods             for Open Object-Based Distributed Systems},
    editor = {E. Najm and J.-B. Stefani},
    publisher = {Chapman & 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