Skip to main content

Viewpoints and consistency: translating LOTOS to Object-z

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:10.1016/S0920-5489(99)00010-0) (KAR id:17284)

Language: English
Download (267kB) Preview
[thumbnail of viewpoints_and_consistency:_translating_derrick.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Language: English
Download (310kB) Preview
[thumbnail of]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


This paper presents a translation between the formal description technique LOTOS and the object-oriented specification language Object-Z. The need for such a translation lies in the use of formal methods in viewpoint specification, and in particular in the Open Distributed Processing standard. The use of viewpoints as a set of partial interlocking specifications brings an obligation to check the consistency of these partial specifications, and to do so we need to relate specifications written in differing languages. The work presented here aims to support the consistency checking of viewpoints written using formal methods by defining a translation from LOTOS to Object-Z. A LOTOS specification describes both an ADT component and a behavioural model, the former is translated into the Z type system, and the behavioural specification is translated into a collection of Object-Z classes where we relate LOTOS actions to operations in the Object-Z specification. A case study is presented which illustrates the translation and consistency checking techniques discussed in the paper.

Item Type: Article
DOI/Identification number: 10.1016/S0920-5489(99)00010-0
Uncontrolled keywords: distributed systems; open distributed processing; formal methods (Object-z, LOTOS); viewpoints; consistency; partial specification
Subjects: Q Science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Eerke Boiten
Date Deposited: 21 Jun 2009 21:55 UTC
Last Modified: 16 Nov 2021 09:55 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
Bowman, Howard:
  • Depositors only (login required):


Downloads per month over past year