Comparing LOTOS and Z refinement relations

Derrick, John and Bowman, Howard and Boiten, Eerke and Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: UNSPECIFIED. (Full text available)

PDF
Download (287kB)
[img]
Preview
Postscript
Download (333kB)
[img]
Preview

Abstract

This paper compares the LOTOS and Z refinement relations. The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems defined by the reference model of the Open Distributed Processing (ODP) standardization initiative. The ODP architectural semantics describes the application of formal description techniques (FDTs) to the specification of ODP systems. Of the available FDTs, Z is likely to be used for at least the information, and possibly other, viewpoints, whilst LOTOS is a strong candidate for use in the computational viewpoint. Mechanisms are clearly needed to support the parallel development, and integration of, viewpoints using these FDTs. We compare the LOTOS bisimulation relations and the reduction relations to the Z refinement relation showing that failure-traces refinement corresponds closely to refinement in Z.

Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: LOTOS, Z, refinement
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
Depositing User: Mark Wheadon
Date Deposited: 26 Aug 2009 18:32
Last Modified: 12 May 2014 14:51
Resource URI: http://kar.kent.ac.uk/id/eprint/21330 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year