# Achieving Qualities During the Development of LOTOS Specifications

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.
Mots-clés :
Document type :
Conference papers
Domain :

Cited literature [18 references]

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

### 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⟩

Record views