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.
Type de document :
Communication dans un congrès
4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, Carlo Ghezzi, Mario Fusani, pp.195-206, 1998
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00098733
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:21:46
Dernière modification le : mardi 24 avril 2018 - 13:34:57
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:40:14

Fichiers

Identifiants

  • 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, Carlo Ghezzi, Mario Fusani, pp.195-206, 1998. 〈inria-00098733〉

Partager

Métriques

Consultations de la notice

62

Téléchargements de fichiers

59