Formal Modelling of Domain Constraints in Event-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Formal Modelling of Domain Constraints in Event-B

Linda Mohand Oussaïd
  • Fonction : Auteur
  • PersonId : 1023085

Résumé

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.
Fichier non déposé

Dates et versions

hal-01614550 , version 1 (11-10-2017)

Identifiants

Citer

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⟩
138 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More