Refactoring OCL annotated UML class diagrams Export

@article{citeulike:1987258, abstract = {Abstract  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.}, author = {Markovic, Slavisa and Baar, Thomas}, citeulike-article-id = {1987258}, citeulike-linkout-0 = {http://dblp.uni-trier.de/rec/bibtex/journals/sosym/MarkovicB08}, citeulike-linkout-1 = {http://dx.doi.org/10.1007/s10270-007-0056-x}, citeulike-linkout-2 = {http://www.springerlink.com/content/f7326447484524h7}, citeulike-linkout-3 = {http://dx.doi.org/10.1007/s10270-007-0056-x}, citeulike-linkout-4 = {http://dx.doi.org/http://dx.doi.org/10.1007/s10270-007-0056-x}, day = {23}, doi = {10.1007/s10270-007-0056-x}, journal = {Software and Systems Modeling}, keywords = {annotations, class, diagram, ocl, r2, refactoring, uml}, month = {February}, number = {1}, pages = {25--47}, posted-at = {2008-10-28 04:18:35}, priority = {0}, title = {Refactoring OCL annotated UML class diagrams}, url = {http://dx.doi.org/10.1007/s10270-007-0056-x}, volume = {7}, year = {2008} }

TY - JOUR ID - citeulike:1987258 L3 - citeulike-article-id:1987258 N2 - Abstract  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. IS - 1 JF - Software and Systems Modeling EP - 47 TI - Refactoring OCL annotated UML class diagrams VL - 7 SP - 25 KW - annotations KW - class KW - diagram KW - ocl KW - r2 KW - refactoring KW - uml AU - Markovic, Slavisa AU - Baar, Thomas PY - 2008/02/23/ UR - http://dx.doi.org/10.1007/s10270-007-0056-x ER -