11 research outputs found
Formal modelling of ontologies within Event-B
International audienceThis 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
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
International audienceThis paper reports on the results of the French ANR IMPEX research project dealing with making ex- plicit 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 mecha- nism. 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
Formal modelling of ontologies within Event-B
International audienceThis 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
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
International audienc
Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel
International audienc
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
International audienceAlthough several authors like P. Zave and M. Jackson, D. Bjorner, A. Van Lamsweerde have drawn the attention of system designers on the ne- cessity to handle domain knowledge, while designing systems, it is still a major concern nowadays. The IMPEX project, funded by the French ANR national research agency, addresses the problem of making explicit domain knowledge in formal system developments using refinement and proof based formal methods. It advocates the use and formalisation of ontologies as models for domain knowl- edge. The Event-B modelling technique has shown its usefulness to support the various developments. In this paper, we briefly describe the approach and the case studies developed in the context of this project
A formal model for output multimodal HCI - An Event-B formalization
International audienc