Software & Systems Modeling

, Volume 6, Issue 2, pp 139–162

A formal approach to model refactoring and model refinement

  • Ragnhild Van Der Straeten
  • Viviane Jonckers
  • Tom Mens
Special Issue Paper

DOI: 10.1007/s10270-006-0025-9

Cite this article as:
Van Der Straeten, R., Jonckers, V. & Mens, T. Softw Syst Model (2007) 6: 139. doi:10.1007/s10270-006-0025-9

Abstract

Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are model refinement and model refactoring. Whenever such a transformation is applied to a consistent model, we would like to know whether the consistency is preserved by the transformation. Therefore, in this article, we formally define and explore the relation between behaviour inheritance consistency of a refined model with respect to the original model, and behaviour preservation of a refactored model with respect to the original model. As it turns out, there is a strong similarity between these notions of behaviour consistency and behaviour preservation. To illustrate this claim, we formalised the behaviour specified by UML 2.0 sequence and protocol state machine diagrams. We show how the reasoning capabilities of description logics, a decidable fragment of first-order logic, can be used in a natural way to detect behaviour inconsistencies. These reasoning capabilities can be used in exactly the same way to detect behaviour preservation violations during model refactoring. A prototype plug-in in a UML CASE tool has been developed to validate our claims.

Keywords

Model-driven engineering UML 2.0 Description logics Model refinement Model refactoring Behaviour preservation 

Copyright information

© Springer-Verlag 2006

Authors and Affiliations

  • Ragnhild Van Der Straeten
    • 1
  • Viviane Jonckers
    • 1
  • Tom Mens
    • 2
  1. 1.System and Software Engineering LabVrije Universiteit BrusselBrusselBelgium
  2. 2.Service de Génie LogicielUniversité de Mons-HainautMonsBelgium

Personalised recommendations