Formal Modelling of Domain Constraints in Event-B

Mohand-Oussaid, Linda; Aït-Sadoune, Idir

doi:10.1007/978-3-319-66854-3_12

Cited by 8 publications

(9 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [15], the OntoEventB plug-in tool is developed to generate Event-B domain models from ontologies models, such as OWL [16] or PLIB [17]. This tool is integrated in the Rodin [14] platform that allows to generate the domain models applying shallow or deep approach on the ontology description file.…”

Section: Ontoeventb Plug-inmentioning

confidence: 99%

See 1 more Smart Citation

Formal Ontology Driven Model Refactoring

Singh

Aït‐Ameur

Méry

2018

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

View full text Add to dashboard Cite

Refactoring, successfully used in the field of programming, can be used in maintenance and restructuring of the large and complex models. In this paper, we present a novel approach for model refactoring and a set of modelling patterns that are applicable for refinement-based formal development. In order to carry out this study, we investigate the previously developed large and complex model and required ontology to develop a domain model and a refactored system model. Further, we use the Rodin tools to check the internal consistency with respect to the desired functional behaviour and the required safety properties. Our main contributions are: to develop a refactoring technique related to the correct by construction approach; to use the domain specific knowledge in a system model explicitly; to define a set of modelling patterns; and to define a restructuring mechanism in the formal development. Finally, this proposed approach is evaluated through a complex medical case study: ECG clinical assessment protocol.

show abstract

Section: Ontoeventb Plug-inmentioning

confidence: 99%

“…[18] have used the similar approach to develop a domain model based on ontology for developing a system model using stepwise development. In [15], authors proposed a generic approach to integrate the domain description formalized by ontologies into an Event-B development process.…”

Section: Related Workmentioning

confidence: 99%

Formal Ontology Driven Model Refactoring

Singh

Aït‐Ameur

Méry

2018

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

View full text Add to dashboard Cite

show abstract

“…In the context of the IMPEX project, we have identified two approaches to define ontologies as formal theories. These two approaches use two different modelling processes: shallow [9] and deep modelling [6,7].…”

Section: Ontologies As Theoriesmentioning

confidence: 99%

“…The approach that uses shallow modelling consists in modelling the ontology concepts directly in the target modelling language without keeping trace of the structure of the ontology modelling language concepts [9]. One way to integrate the ontology concepts into a specific formal method development process is to express the ontologies languages constructs into the target formal language by means of transformation rules.…”

Section: Shallow Modelling: Ontologies As Contextsmentioning

confidence: 99%

See 1 more Smart Citation

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

Aït‐Ameur

Aït-Sadoune

Hacid

et al. 2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

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. Event-B formal developmentsThe Event-B method [1] is a formal method based on first order logic and set theory. It relies on the notions of pre-conditions and post-conditions, weakest pre-condition and the calculus of substitution. An Event-B model is characterised by a set of variables, defined in the VARIABLES clause that evolve * The work reported in this paper has been supported by the ANR project IMPEX ref : Projet-ANR-13-INSE-0001

show abstract

Building Formal Semantic Domain Model: An Event-B Based Approach

Aït-Sadoune¹,

Mohand-Oussaid²

2019

Model and Data Engineering

View full text Add to dashboard Cite

Formal Modelling of Domain Constraints in Event-B

Cited by 8 publications

References 8 publications

Formal Ontology Driven Model Refactoring

Formal Ontology Driven Model Refactoring

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

Building Formal Semantic Domain Model: An Event-B Based Approach

Contact Info

Product

Resources

About