Conference paper Open Access

A metamodel for the specification and verification of model refactoring actions

Arcelli, Davide; Cortellessa, Vittorio; Di Pompeo, Daniele

Refactoring has become a valuable activity during the software development lifecycle, because it can be induced by different causes, like new requirements or quality improvement. In code-based development contexts this activity has been widely studied, whereas in model-driven ones, where models are first-class development entities, there are many issues yet to be tackled. In this paper, we present a metamodel that supports the specification of pre- and post- conditions of model refactoring actions, and the automated derivation and verification of such conditions in specific modeling languages. Our work is aimed at helping users to implement refactoring actions in the adopted modelling language by providing an environment for guaranteeing the feasibility of refactoring actions. Our primary focus is on the definition of applicable sequences of refactoring actions, rather than on the user-driven step-by-step application of refactoring actions. As an example, we illustrate the applicability of our metamodel for UML models refactoring.

Files (1.2 MB)
Name Size
asews18iwormain-id2-p.pdf
md5:43a6adb9156b356036c034d5e70e55a3
1.2 MB Download
15
26
views
downloads
Views 15
Downloads 26
Data volume 30.9 MB
Unique views 12
Unique downloads 23

Share

Cite as