Synchronizing Refactored UML Class Diagrams and OCL Constraints
Marković, Slaviša; Baar, Thomas
2007

Files

Abstract

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.

Details

Title Synchronizing Refactored UML Class Diagrams and OCL Constraints
Author(s) Marković, Slaviša ; Baar, Thomas
Published in 1st Workshop on Refactoring Tools , ECOOP07 Conference Workshop, July 31, 2007, Berlin, Germany
Pages 15-17
Date 2007
Publisher TU Berlin Technical Report, ISSN 1436-9915
Laboratories LGL
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2007-07-26

Actions

Preview