HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

Yamine Aït-Ameur 1, 2 Idir Ait-Sadoune 3 Pierre Castéran 4 John Paul Gibson 5, 6, 7 Kahina Hacid 8 Souad Kherroubi 9 Dominique Méry 10, 9, 11, 12 Linda Mohand Oussaid 3 Neeraj Kumar Singh 1, 2 Laurent Voisin 13
1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
2 Toulouse INP - Institut National Polytechnique (Toulouse)
3 LRI - Laboratoire de Recherche en Informatique
4 LaBRI - Laboratoire Bordelais de Recherche en Informatique
5 INF - Département Informatique
6 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
7 CNRS - Centre National de la Recherche Scientifique
8 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
IRIT - Institut de recherche en informatique de Toulouse
9 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
10 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
11 UL - Université de Lorraine
12 TELECOM Nancy
13 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01797538
Contributor : Idir Ait Sadoune Connect in order to contact the contributor
Submitted on : Wednesday, May 23, 2018 - 12:18:46 PM
Last modification on : Thursday, February 10, 2022 - 2:16:02 PM
Long-term archiving on: : Friday, August 24, 2018 - 9:07:07 PM

File

Vignette du document
AmeurACGHKMMSV18-1.pdf
Files produced by the author(s)

Identifiers

Collections

UNIV-LORRAINE | LORIA | LORIA-FM | CENTRALESUPELEC | CNRS | INRIA2 | UNIV-TLSE2 | SMS | TELECOM-SUDPARIS | INRIA | UMR8623 | UNIV-TLSE3 | UNIV-BORDEAUX | INSTITUT-TELECOM | TDS-MACS | LABRI | UNIV-PARIS-SACLAY | LRI-MODHEL | UT1-CAPITOLE | TSP-DISSEM | IRIT | IRIT-SMAC | IRIT-ACADIE | ANR | IRIT-ICI | IRIT-FSL | GS-COMPUTER-SCIENCE | IRIT-CNRS | IRIT-INPT

Citation

Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩. ⟨hal-01797538⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

410

Files downloads

171