On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B

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 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.
Type de document :
Communication dans un congrès
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Jun 2018, Southampton, United Kingdom. pp.425--430, 2018, Abstract State Machines, Alloy, B, TLA, VDM, and - 6th International Conference, 2018, Southampton, UK, June 5-8, 2018, Proceedings. 〈https://link.springer.com/chapter/10.1007/978-3-319-91271-4_35〉. 〈10.1007/978-3-319-91271-4_35〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01797538
Contributeur : Idir Ait Sadoune <>
Soumis le : mercredi 23 mai 2018 - 12:18:46
Dernière modification le : dimanche 27 mai 2018 - 16:07:50

Fichier

AmeurACGHKMMSV18-1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Yamine Ait Ameur, Idir Ait-Sadoune, Pierre Castéran, J. Paul Gibson, Kahina Hacid, et al.. On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Jun 2018, Southampton, United Kingdom. pp.425--430, 2018, Abstract State Machines, Alloy, B, TLA, VDM, and - 6th International Conference, 2018, Southampton, UK, June 5-8, 2018, Proceedings. 〈https://link.springer.com/chapter/10.1007/978-3-319-91271-4_35〉. 〈10.1007/978-3-319-91271-4_35〉. 〈hal-01797538〉

Partager

Métriques

Consultations de la notice

112

Téléchargements de fichiers

27