Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

被引：1
|
作者：
Ait Ameur, Yamine [1 ]
Ait Sadoune, Idir [2 ]
Hacid, Kahina [1 ]
Mohand Oussaid, Linda [2 ]
机构：
[1] IRIT INPT ENSEEIHT, Toulouse, France
[2] LRI Cent Supelec, Gif Sur Yvette, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 271期
关键词：
D O I：
10.4204/EPTCS.271.2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to design models through an annotation mechanism. Event-B has been chosen as the ground formal modelling technique for all our developments. In this paper, we particularly describe how ontologies are formalised as Event-B theories.
引用
收藏
页码：24 / 33
页数：10
相关论文
共 50 条
  • [31] Formal Event-B Modeling of the MICONIC Application
    Ammar, Sabrine
    Bhiri, Mohamed Tahar
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2021, 337 : 197 - 210
  • [32] Formal Verification of AADL Models by Event-B
    Hadad, Abeer Saeed Abdo
    Ma, Chunyan
    Ahmed, Adeeb Abdulwakeel Obadi
    IEEE ACCESS, 2020, 8 : 72814 - 72834
  • [33] Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks
    Banach, Richard
    Butler, Michael
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 90 - 105
  • [34] Justifications for the event-B modelling notation
    Hallerstede, Stefan
    B 2007: Formal Specification and Development in B, Proceedings, 2007, 4355 : 49 - 63
  • [35] Modelling Hybrid Programs with Event-B
    Afendi, Meryem
    Laleau, Regine
    Mammar, Amel
    RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 139 - 154
  • [36] Retrenchment for Event-B: UseCase-wise development and Rodin integration
    Banach, Richard
    FORMAL ASPECTS OF COMPUTING, 2011, 23 (01) : 113 - 131
  • [37] Qualitative probabilistic modelling in Event-B
    Hallerstede, Stefan
    Hoang, Thai Son
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 293 - 312
  • [38] Incremental System Modelling in Event-B
    Hallerstede, Stefan
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2009, 5751 : 139 - 158
  • [39] Towards Probabilistic Modelling in Event-B
    Tarasyuk, Anton
    Troubitsyna, Elena
    Laibinis, Linas
    INTEGRATED FORMAL METHODS, 2010, 6396 : 275 - +
  • [40] Towards Modelling Obligations in Event-B
    Bicarregui, Juan
    Arenas, Alvaro
    Aziz, Benjamin
    Massonet, Philippe
    Ponsard, Christophe
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 181 - +
12345