Skip to Main content Skip to Navigation
New interface
Conference papers

Formal Ontology Driven Model Refactoring

Neeraj Kumar Singh 1, 2 Yamine Aït-Ameur 1, 2 Dominique Mery 3, 4 
3 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, November 7, 2019 - 12:00:56 PM
Last modification on : Monday, July 4, 2022 - 8:58:14 AM
Long-term archiving on: : Saturday, February 8, 2020 - 8:58:50 PM


Files produced by the author(s)



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⟩



Record views


Files downloads