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

https://hal.inria.fr/inria-00098733
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:21:46 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 12:40:14 PM

Identifiers

  • HAL Id : inria-00098733, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

81

Files downloads

140