Achieving Qualities During the Development of LOTOS Specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Achieving Qualities During the Development of LOTOS Specifications

Thomas Lambolais
Jeanine Souquières

Résumé

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.
Fichier principal
Vignette du fichier
98-R-031.pdf (172.69 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00098733 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098733 , version 1

Citer

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, France. pp.195-206. ⟨inria-00098733⟩
50 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More