On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
AÏT-AMEUR, Yamine
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]
See more >
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]
AÏT-AMEUR, Yamine
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]
GIBSON, John Paul
Département Informatique [TSP - INF]
Méthodes et modèles pour les réseaux [METHODES-SAMOVAR]
Centre National de la Recherche Scientifique [CNRS]
Département Informatique [TSP - INF]
Méthodes et modèles pour les réseaux [METHODES-SAMOVAR]
Centre National de la Recherche Scientifique [CNRS]
MÉRY, Dominique
Modeling and Verification of Distributed Algorithms and Systems [VERIDIS]
Proof-oriented development of computer-based systems [MOSEL]
Université de Lorraine [UL]
TELECOM Nancy
Modeling and Verification of Distributed Algorithms and Systems [VERIDIS]
Proof-oriented development of computer-based systems [MOSEL]
Université de Lorraine [UL]
TELECOM Nancy
SINGH, Neeraj Kumar
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]
< Reduce
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]
Language
en
Communication dans un congrès
This item was published in
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), 2018-06-05, Southampton. 2018, vol. 10817, p. 425--430
Springer
English Abstract
Although several authors like P. Zave and M. Jackson, D. Bjorner, A. Van Lamsweerde have drawn the attention of system designers on the ne- cessity to handle domain knowledge, while designing systems, it is still a major ...Read more >
Although several authors like P. Zave and M. Jackson, D. Bjorner, A. Van Lamsweerde have drawn the attention of system designers on the ne- cessity to handle domain knowledge, while designing systems, it is still a major concern nowadays. The IMPEX project, funded by the French ANR national research agency, addresses the problem of making explicit domain knowledge in formal system developments using refinement and proof based formal methods. It advocates the use and formalisation of ontologies as models for domain knowl- edge. The Event-B modelling technique has shown its usefulness to support the various developments. In this paper, we briefly describe the approach and the case studies developed in the context of this project.Read less <
ANR Project
Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.
Origin
Hal imported