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)

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: 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: E. Boiten
Date Deposited: 06 Sep 2009 22:28 UTC
Last Modified: 30 Jul 2019 08:38 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21389 (The current URI for this page, for reference purposes)
Boiten, E.A.: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):

Downloads

Downloads per month over past year