Refactoring OCL Annotated UML Class Diagrams (2008)
Marković, Slaviša, Baar, Thomas
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in objectoriented implementation languages. Current class diagram...
Synchronizing Refactored UML Class Diagrams and OCL Constraints (2007)
Marković, Slaviša, Baar, Thomas
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...
Definition and Correct Refinement of Operation Specifications (2006)
Baar, Thomas, Marković, Slaviša, Fondement, Frédéric, Strohmeier, Alfred
Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simplified and abstract model of the system which is then moved by...
An OCL Semantics Specified with QVT (2006)
Marković, Slaviša, Baar, Thomas
Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of modeling languages in a concise, but yet precise way. For the description of the language's...
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules (2006)
Baar, Thomas, Marković, Slaviša
Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current...
RoclET – A Tool for Wrestling with OCL Specifications (2006)
Jeanneret, Cédric, Eyer, Leander, Marković, Slaviša, Baar, Thomas
In this paper, we describe the architecture and the functionality of our own OCL tool called RoclET. Besides standard features of OCL tools such as editing of class and object diagrams and parsing of...
RoclET– Refactoring OCL Expressions by Transformations (2006)
Jeanneret, Cédric, Eyer, Leander, Marković, Slaviša, Baar, Thomas
The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more...
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules (2006)
Baar, Thomas, Marković, Slaviša
Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current...
Refactoring OCL Annotated UML Class Diagrams (2005)
Marković, Slaviša, Baar, Thomas
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...
Composition of UML Described Refactoring Rules (2004)
Refactorings represent a powerful approach for improving the quality of software systems. A refactoring can be seen as a special kind of behavior preserving model transformation. The Object...
Semantics of OCL Specified with QVT
Marković, Slaviša, Baar, Thomas
The Object Constraint Language (OCL) has been for many years formalized both in its syntax and semantics in the language standard. While the official definition of OCL’s syntax is already widely...