Time Constraint Patterns for Event B Development

Dominique Cansell 1 Dominique Méry 1 Joris Rehm 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the current work intends to integrate time constraints in the modelling process based on event B models and refinement. The starting point of our work is the event B development of the IEEE 1394 leader election protocol; from standard documents, we derive temporal requirements to solve the contention problem and we propose a method for introducing time constraints using a pattern. The pattern captures time constraints in a generic event B development and it is applied to the IEEE 1394 case study.
Type de document :
Communication dans un congrès
Jacques Julliand, Olga Kouchnarenko. 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. Springer-Verlag, 4355, pp.140-154, 2007, Lecture Notes in Computer Science. 〈10.1007/11955757_13〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00149163
Contributeur : Joris Rehm <>
Soumis le : mercredi 13 août 2008 - 15:58:20
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 15:50:36

Fichier

B2007cansellmeryrehm.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Dominique Cansell, Dominique Méry, Joris Rehm. Time Constraint Patterns for Event B Development. Jacques Julliand, Olga Kouchnarenko. 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. Springer-Verlag, 4355, pp.140-154, 2007, Lecture Notes in Computer Science. 〈10.1007/11955757_13〉. 〈hal-00149163〉

Partager

Métriques

Consultations de la notice

369

Téléchargements de fichiers

615