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

Yamine Ait Ameur; Idir Ait-Sadoune; Pierre Castéran; J. Paul Gibson; Kahina Hacid; Souad Kherroubi; Dominique Mery; Linda Mohand Oussaid; Neeraj Kumar Singh; Laurent Voisin

doi:10.1007/978-3-319-91271-4_35

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

Yamine Ait Ameur ¹ Idir Ait-Sadoune ² Pierre Castéran ³ J. Paul Gibson ^{4, 5} Kahina Hacid ¹ Souad Kherroubi ⁶ Dominique Mery ^{7, 6, 8, 9} Linda Mohand Oussaid ² Neeraj Kumar Singh ¹ Laurent Voisin ¹⁰

1 IRIT - Institut de recherche en informatique de Toulouse

2 LRI - Laboratoire de Recherche en Informatique

3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

4 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

5 INF - Département Informatique

6 MOSEL - Proof-oriented development of computer-based systems

LORIA - FM - Department of Formal Methods

7 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

8 UL - Université de Lorraine

9 TELECOM Nancy

10 Systerel

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

Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl. ABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. Springer, 10817, pp.425--430, 2018, Lecture Notes in Computer Science. 〈https://link.springer.com/chapter/10.1007/978-3-319-91271-4_35〉. 〈10.1007/978-3-319-91271-4_35〉

Domaine :

Informatique [cs] / Modélisation et simulation

Liste complète des métadonnées

Littérature citée [15 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 : mardi 27 novembre 2018 - 09:05:52
Document(s) archivé(s) le : vendredi 24 août 2018 - 21:07:07

AmeurACGHKMMSV18-1.pdf

Fichiers produits par l'(les) auteur(s)

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. Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl. ABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. Springer, 10817, pp.425--430, 2018, Lecture Notes in Computer Science. 〈https://link.springer.com/chapter/10.1007/978-3-319-91271-4_35〉. 〈10.1007/978-3-319-91271-4_35〉. 〈hal-01797538〉

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

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

323

71

Contact

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

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

323

71

Contact