OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel

Résumé : Cet article présente un plug-in intégré à la plateforme Rodin implémentant deux approches de formalisation des ontologies décrites par des langages de description des ontologiques (OWL, Plib, ...) en utilisant la théorie des ensembles et la logique du premier ordre supportées par B Événementiel. L’intérêt de cette formalisation est d’enrichir le processus de spécification et de vérification utilisant la méthode B Événementiel, en intégrant des modèles de données et de connaissances décrits dans des ontologies. L’utilisation des ontologies dans un développement B Événementiel va servir à annoter et/ou à typer les données manipulées par le système, ce qui permet de vérifier, en plus des propriétés caractéristiques du système, des propriétés liées à la cohérence des données manipulées et induites par les contraintes du domaine exprimées dans les ontologies.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01546065
Contributor : Idir Ait Sadoune <>
Submitted on : Friday, June 23, 2017 - 1:01:33 PM
Last modification on : Tuesday, December 17, 2019 - 2:06:53 AM

Identifiers

  • HAL Id : hal-01546065, version 1

Citation

Linda Mohand Oussaïd, Idir Ait-Sadoune. OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel. AFADL 2017, Jun 2017, Montpellier, France. pp.117-121. ⟨hal-01546065⟩

Share

Metrics

Record views

256