Supporting ODP - Translating LOTOS into Z

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten Supporting ODP - Translating LOTOS into Z. In: FMOODS'96, March 1996, Paris. (Full text available)

Download (399kB) Preview
Download (270kB)


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: Conference or workshop item (Paper)
Uncontrolled keywords: ODP, formal methods, viewpoints, LOTOS, Z
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: E.A. Boiten
Date Deposited: 06 Sep 2009 22:28 UTC
Last Modified: 05 Dec 2015 23:43 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
  • Depositors only (login required):


Downloads per month over past year