OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Formal Ontology Driven Model Refactoring

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mèry, Dominique Formal Ontology Driven Model Refactoring. (2018) In: 23rd IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2018), 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
520kB

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 extit{ 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: extit{ ECG clinical assessment protocol}.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org This papers appears in Proceedings of ICECCS 2018. Electronic ISBN: 978-1-5386-9341-4 The original PDF of the article can be found at: https://ieeexplore.ieee.org/document/8595067 Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
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:17 Jan 2020 13:47

Repository Staff Only: item control page