Formal Modelling of Domain Constraints in Event-B

Abstract : When designing a hardware or a software system, the inte- gration of domain constraints becomes a determining factor to ensure a great match with the system requirements. This domain knowledge is most often modelled using ontologies that allow to express the domain data properties. In this paper, we propose an approach to integrate do- main ontologies into a system development process based on Event-B. It consists to annotate Event-B models using the ontology concepts, this assumes a formalization of the domain ontology in the Event-B method. Therefore, we propose an extensible generic transformation approach which develops an Event-B specification based on an ontology described in an ontological language. The integration of the Event-B description of a domain ontology allows to constrain the system under design with the domain ontology and to validate domain properties.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01614550
Contributor : Idir Ait Sadoune <>
Submitted on : Wednesday, October 11, 2017 - 10:13:26 AM
Last modification on : Tuesday, December 17, 2019 - 2:06:52 AM

Identifiers

Citation

Linda Mohand Oussaïd, Idir Ait-Sadoune. Formal Modelling of Domain Constraints in Event-B. Model and Data Engineering - 7th International Conference, MEDI 2017, Oct 2017, Barcelone, Spain. pp.153--166, ⟨10.1007/978-3-319-66854-3_12⟩. ⟨hal-01614550⟩

Share

Metrics

Record views

241