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

Kahina Hacid (1) , Yamine Aït-Ameur (2, 3)

1 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Toulouse INP - Institut National Polytechnique (Toulouse)

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.).

Mots clés: Domain ontologies; Model annotation; Property verification; MDE Proof and refinement; Event-B

Domaines: Modélisation et simulation

Kahina Hacid, Yamine Aït-Ameur. Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oct 2016, Corfu, Greece. pp.340-357. ⟨hal-02451005⟩