HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Achieving Qualities During the Development of LOTOS Specifications

Thomas Lambolais 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The LOTOS language is useful for the specification of services and communication protocols. Main recognised qualities of such specifications are simplicity, readability, provability, modularity (extensionability, rearrangeability) or composability. In this paper, we identify and formalise some of the qualities which arise ``during'' the development of LOTOS specifications. Some other qualities cannot be formally defined and must be obtained by specific methods. Formalised qualities can be achieved through development operators which consist of mechanisms that operate on intermediate states of a development.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:21:46 AM
Last modification on : Tuesday, October 12, 2021 - 4:54:08 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 12:40:14 PM


  • HAL Id : inria-00098733, version 1



Thomas Lambolais, Jeanine Souquières. Achieving Qualities During the Development of LOTOS Specifications. 4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, pp.195-206. ⟨inria-00098733⟩



Record views


Files downloads