Domain Engineering with Event-B: Some Lessons We Learned - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Domain Engineering with Event-B: Some Lessons We Learned

Atif Mashkoor
  • Function : Author
  • PersonId : 854132
Jean-Pierre Jacquot
  • Function : Author
  • PersonId : 830614


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.
Fichier principal
Vignette du fichier
RE_camera_ready.pdf (243.19 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00431133 , version 1 (10-11-2009)
inria-00431133 , version 2 (19-10-2010)



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. pp.252 - 261, ⟨10.1109/RE.2010.37⟩. ⟨inria-00431133v2⟩
67 View
324 Download



Gmail Facebook Twitter LinkedIn More