Domain Engineering with Event-B: Some Lessons We Learned

Atif Mashkoor 1 Jean-Pierre Jacquot 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Well specified requirements are crucial for good software design and domain engineering helps better understanding and specification of requirements. Safety critical domains, such as transportation, exhibit interesting features, such as high levels of non-determinism, complex interactions, stringent safety properties, multifaceted timing attributes, etc. The formal representation of these features is a challenging task. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. We explore the possibility of using Event-B as a domain engineering tool. We discuss the problems posed by the introduction of time and how we tackle it. We design a technique based on animation to validate domain models.
Type de document :
Communication dans un congrès
18th International Requirements Engineering Conference - RE'10, Sep 2010, Sydney, Australia. IEEE, pp.252 - 261, 2010, 〈10.1109/RE.2010.37〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00431133
Contributeur : Atif Mashkoor <>
Soumis le : mardi 19 octobre 2010 - 15:54:29
Dernière modification le : mardi 24 avril 2018 - 13:37:14
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 23:51:17

Fichier

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

Identifiants

Collections

Citation

Atif Mashkoor, Jean-Pierre Jacquot. Domain Engineering with Event-B: Some Lessons We Learned. 18th International Requirements Engineering Conference - RE'10, Sep 2010, Sydney, Australia. IEEE, pp.252 - 261, 2010, 〈10.1109/RE.2010.37〉. 〈inria-00431133v2〉

Partager

Métriques

Consultations de la notice

121

Téléchargements de fichiers

217