Fabian Büttner, Martin Gogolla
Abstract. This paper studies two model transformations. The first transformation starts from a graphically described UML operation and achieves a representation of the operation in terms of...
Transformation-Based Structure Model Evolution (2008)
Abstract. This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constraints, and...
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (2008)
Fabian Büttner, Martin Gogolla
Abstract. This paper studies two realizations of graph transformations which are based on a UML class diagram. The first realization achieves a representation in terms of descriptive pre- and...
USE: A UML-Based Specification Environment for Validating UML and OCL (2008)
Martin Gogolla, Fabian Büttner, Mark Richters
The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early...
Transformation-Based Structure Model Evolution (2008)
Abstract. This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constraints, and...
On squeezing M0, M1, M2, and M3 into a single object diagram (2005)
Martin Gogolla, Jean-marie Favre, Fabian Büttner
Abstract. We propose an approach for the integrated description of a metamodel and its formal relationship to its models and the model instantiations. The central idea is to use so-called layered...
Realizing UML Metamodel Transformations with AGG (2004)
Fabian Büttner, Martin Gogolla
In this paper, we work out equivalence transformations on the UML metamodel as concrete graph transformations implemented in the AGG tool. We consider two examples for manipulating the static...
On Generalization and Overriding in UML 2.0 (2004)
Fabian Büttner, Martin Gogolla
Abstract. In the upcoming Unified Modeling Language specification (UML 2.0), subclassing (i.e., generalization between classes) has a much more precise meaning with respect to overriding than it had...
Digging into the Visitor Pattern (2004)
Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates covariant overriding of...
On Generalization and Overriding in UML 2.0 (2004)
Fabian Büttner, Martin Gogolla
Abstract. In the upcoming Unified Modeling Language specification (UML 2.0), subclassing (i.e., generalization between classes) has a much more precise meaning with respect to overriding than it had...