Synchronizing Refactored UML Class Diagrams and OCL Constraints

UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically updated each time the underlying diagram is refactored. All our refactoring rules are formally specified using a QVT-based graphical formalism and have been implemented in our tool ROCLET.


Published in:
1st Workshop on Refactoring Tools , ECOOP07 Conference Workshop, July 31, 2007, Berlin, Germany , 15-17
Year:
2007
Publisher:
TU Berlin Technical Report, ISSN 1436-9915
Laboratories:




 Record created 2007-07-26, last modified 2018-01-28


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)