Building Formal Semantic Domain Model: An Event-B Based Approach
| Autor: | Linda Mohand-Oussaid, Idir Ait-Sadoune |
|---|---|
| Přispěvatelé: | CentraleSupélec, Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay, ANR-13-INSE-0001,IMPEX,Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.(2013) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Computer science
business.industry Process (engineering) Ontology 020207 software engineering 02 engineering and technology Semantic property Semantic domain Ontology (information science) [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Domain (software engineering) Set (abstract data type) Development (topology) Transformation (function) Formal domain model 0202 electrical engineering electronic engineering information engineering Measure data types description Event-B 020201 artificial intelligence & image processing Software engineering business |
| Zdroj: | 9th International Conference on Model and Data Engineering-MEDI 2019 9th International Conference on Model and Data Engineering-MEDI 2019, Oct 2019, Toulouse, France. pp.140-155, ⟨10.1007/978-3-030-32065-2_10⟩ Model and Data Engineering ISBN: 9783030320645 MEDI |
| DOI: | 10.1007/978-3-030-32065-2_10⟩ |
| Popis: | International audience; Ontologies are structured data models used to describe a set of concepts related to a specific domain, they describe also the semantic properties of these concepts. Formal development process aims to develop a system with respect to properties or constraints. The IMPEX project is interested in involving domain constraints as soon as possible into formal development process, it proposes to integrate the ontologies descriptions in an Event-B development process. This approach assumes to develop a transformation step of the ontologies constructs from their initial description in an ontological language (OWL, OntoML ...) to Event-B. A first version of this transformation approach for OWL ontologies based on a generic and extensible architecture has been developed, it is supported by the OntoEventB tool. An evolution of this approach to include OntoML ontologies and new features is presented in this paper. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|