Supporting ODP - Translating LOTOS into Z

Derrick, J. and Boiten, E. and Bowman, H. and Steen, M. (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED. (Full text available)

PDF
Download (289kB)
[img]
Preview
Postscript
Download (270kB)
[img]
Preview

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.

Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: ODP, formal methods, viewpoints, LOTOS, Z
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 06 Sep 2009 22:28
Last Modified: 06 Sep 2011 03:52
Resource URI: http://kar.kent.ac.uk/id/eprint/21389 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year