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 条

[1] Formal Modelling of Cruise Control System Using Event-B and Rodin Platform
Predut, Sorina
Ipate, Florentin
Gheorghe, Marian
Campean, Felician
IEEE 20TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS / IEEE 16TH INTERNATIONAL CONFERENCE ON SMART CITY / IEEE 4TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS), 2018, : 1541 - 1546
[2] Formalizing hybrid systems with Event-B and the Rodin Platform
Su, Wen
Abrial, Jean-Raymond
Zhu, Huibiao
SCIENCE OF COMPUTER PROGRAMMING, 2014, 94 : 164 - 202
[3] A system development process with Event-B and the Rodin platform
Abrial, J. -R.
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 1 - 3
[4] Rodin: An open toolset for modelling and reasoning in Event-B
Abrial J.-R.
Butler M.
Hallerstede S.
Hoang T.S.
Mehta F.
Voisin L.
International Journal on Software Tools for Technology Transfer, 2010, 12 (06) : 447 - 466
[5] Graphical Transformation of OWL Ontologies to Event-B Formal Models
Alkhammash, Eman H.
CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 70 (02): : 3733 - 3750
[6] Formal Modelling of Domain Constraints in Event-B
Mohand-Oussaid, Linda
Ait-Sadoune, Idir
MODEL AND DATA ENGINEERING (MEDI 2017), 2017, 10563 : 153 - 166
[7] TOWARDS A GUIDELINE FOR FORMAL SPECIFICATION AND VERIFICATION OF REQUIREMENTS USING EVENT-B (TM) AND RODIN (TM)
Salazar Osorio, Holmes Giovanny
Rengifo Romero, Harvin Jessid
Machuca Villegas, Liliana Esther
Aranda Bueno, Jesus Alexander
REVISTA EDUCACION EN INGENIERIA, 2012, 7 (14): : 82 - 91
[8] Using design patterns in formal methods: An Event-B approach
Abrial, J. -R.
Hoang, Thai Son
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 1 - 2
[9] Property Ownership Formal Modelling Using Event-B and iUML-B
Altamimi, Manar
Al Hashimy, Nawfal
Fathabadi, Asieh Salehi
Wills, Gary
RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 191 - 200
[10] Formal System Modelling Using Abstract Data Types in Event-B
Furst, Andreas
Hoang, Thai Son
Basin, David
Sato, Naoto
Miyazaki, Kunihiko
ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 222 - 237

← 1 2 3 4 5 →