OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Formal Ontology Driven Model Refactoring

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mery, Dominique Formal Ontology Driven Model Refactoring. (2018) In: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
377kB

Official URL: https://doi.org/10.1109/ICECCS2018.2018.00022

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.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-02353400
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Lorraine (FRANCE)
Laboratory name:
Statistics:download
Deposited On:07 Nov 2019 11:00

Repository Staff Only: item control page