Animating formal specifications : a telephone simulation case study

Abstract : We believe that a more rigorous method of specification and validation can be achieved by first developing a {\it specification architecture} whose high-level semantics are based on object oriented concepts. This architecture promotes the construction of new functionality in a formal manner using rigorous notions of composition and inheritance. An object oriented approach will also facilitate incremental approaches to validation and verification. We present our first steps towards producing such an architecture for the Plain Old Telephone Service (POTS), which is specified and validated using a formal object oriented language based on LOTOS. The method by which the formal model is derived from the informal understanding of the requirements is examined. Validation based on meta-analysis of the problem structure is elucidated.
Type de document :
Communication dans un congrès
13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, II, pp.139--145, 1999
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00108114
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:58:12
Dernière modification le : mardi 24 avril 2018 - 13:36:32
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:34:12

Fichier

Identifiants

  • HAL Id : inria-00108114, version 1

Collections

Citation

Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari. Animating formal specifications : a telephone simulation case study. 13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, II, pp.139--145, 1999. 〈inria-00108114〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

30