Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/inria-00431133
Contributor : Atif Mashkoor Connect in order to contact the contributor
Submitted on : Tuesday, October 19, 2010 - 3:54:29 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Thursday, December 1, 2016 - 11:51:17 PM

File

RE_camera_ready.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

66

Files downloads

308