Formal Ontology Driven Model Refactoring - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Formal Ontology Driven Model Refactoring


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 \textit{ 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.
Fichier principal
Vignette du fichier
singh_23576.pdf (369.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02353400 , version 1 (07-11-2019)



Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Mery. Formal Ontology Driven Model Refactoring. 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩. ⟨hal-02353400⟩
172 View
152 Download



Gmail Facebook Twitter LinkedIn More