Skip to main content

Supporting ODP - Translating LOTOS to Z

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A. (1996) Supporting ODP - Translating LOTOS to Z. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 399-406. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_29) (KAR id:21389)

Language: English
Download (399kB) Preview
Language: English
Download (270kB) Preview
Official URL


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.

Item Type: Book section
DOI/Identification number: 10.1007/978-0-387-35082-0_29
Uncontrolled keywords: Open Distributing Processing, formal methods, viewpoints, LOTOS, Z, consistency
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Eerke Boiten
Date Deposited: 06 Sep 2009 22:28 UTC
Last Modified: 09 Feb 2020 04:03 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, E.A.:
Bowman, H.:
  • Depositors only (login required):


Downloads per month over past year