Refactoring OCL annotated UML class diagrams

Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might become syn...

Full description

Saved in:
Bibliographic Details
Published in:Software and systems modeling Vol. 7; no. 1; pp. 25 - 47
Main Authors: Marković, Slaviša, Baar, Thomas
Format: Journal Article
Language:English
Published: Berlin/Heidelberg Springer-Verlag 01.02.2008
Subjects:
Compilers
Computer Science
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Programming Languages
Programming Techniques
Regular Paper
Software Engineering
Software Engineering/Programming and Operating Systems
Graph-transformations
Syntax preserving refactoring rules
Imperative OCL
Source code verification
Refactoring
QVT
ISSN:1619-1366, 1619-1374
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might become syntactically incorrect by changing the underlying class diagram. This paper formalizes the most important refactoring rules for class diagrams and classifies them with respect to their impact on attached OCL constraints. For refactoring rules that have an impact on OCL constraints, we formalize the necessary changes of the attached constraints. Our refactoring rules are specified in a graph-grammar inspired formalism. They have been implemented as QVT transformation rules. We finally discuss for our refactoring rules the problem of syntax preservation and show, by using the KeY-system, how this can be resolved.
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-007-0056-x