Formal Ontology Driven Model Refactoring - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Formal Ontology Driven Model Refactoring

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
205 Consultations
173 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More