OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach

Hacid, Kahina and Aït-Ameur, Yamine Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. (2016) In: International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 10 October 2016 - 14 October 2016 (Corfu, Greece).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-319-47166-2_24


Critical systems are running in heterogeneous domains. This heterogeneity is rarely considered explicitly when describing and validating processes. Handling explicitly such domain knowledge increases design models robustness due to the expression and validation of new properties mined from the domain models. This paper proposes a stepwise approach to enrich design models describing complex information systems with domain knowledge. We use ontologies to model such domain knowledge. Design models are annotated by references to domain ontologies. The resulting annotated models are checked. It becomes possible to verify domain-related properties and obtain strengthened models. The approach is deployed for two design model development approaches: a Model Driven Engineering (MDE) approach and a correct by construction formal modeling one based on refinement and proof using Event-B method. A case study illustrates both approaches (This work is partially supported by the French ANR-IMPEX project.).

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 9952 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-319-47165-5 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-47166-2_24
HAL Id:hal-02451005
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:16 Jan 2020 09:38

Repository Staff Only: item control page