Domain Engineering with Event-B: Some Lessons We Learned
Résumé
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The domain exhibits interesting features, such as high levels of non-determinism, complex interactions, stringent safety properties, etc.. Time is an essential multifaceted feature of the domain. We discuss the problems posed by the introduction of time and some of the solutions we developed. Assessing the validity of a model is also a complex task. We designed a technique based on animation which can help this activity.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)