Keywords:

Keywords:
Astract: The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contradicting. For code as well as for any other artifact the resolution support moves hardly beyond the choices "keep mine", "keep theirs", "take all changes", or "abandon all changes". To ease the conflict resolution in the context of model versioning, we propose a recommender system which suggests automatically executable resolution patterns to the developer responsible for the conflict resolution. The lookup algorithm is based on a similarity-aware graph matching approach incorporating information from the metamodel of the used modeling language. This allows not only the retrieval of recommendations exactly matching the given conflict situation, but also the identification of similar conflict situations whose resolution patterns are adaptable to the current conflict.

Keywords:
Astract: Optimistic version control systems enable globally distributed teams of developers to work together asynchronously. Every developer works on a local copy and consequently, no developer is ever detracted from working by waiting for a resource. The price for this flexibility is payed at the moment when conflicting modifications must be integrated into one consolidated version. In this paper, we discuss conflicts and their need for resolution in the context of model versioning and provide the basic concepts necessary to build a model versioning system which guides modelers through the critical consolidation phase by recommending suitable patterns.

Keywords:
Astract: Model integration is one of the core components for the realization of model-driven engineering. In particular, the seamless exchange of models among different modeling tools is of special importance. This exchange is achieved by the means of model transformations. However, the manual definition of model transformations is an error prone and cumbersome task. So matching techniques, originally intended for database schema integration, have been reused. The result is unsatisfactory as current matching approaches typically produce only one-toone alignments which are inappropriate for many integration problems. As a consequence, a detailed review and a manual post-processing step is often necessary. To tackle these problems, we propose the self-tuning framework SmartMatcher for improving automatically generated transformations. Our approach combines the power of an executable mapping language for bridging structural heterogeneities with the strength of an instance based quality evaluation model. In an iterative, feedback-driven process a mapping between two schemas is constructed and repeatedly enhanced.

Keywords:
Astract: The vision of Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle. An essential prerequisite is the availability of proper transformation languages allowing not only code generation but also augmentation, migration or translation of models themselves. Current approaches, however, lack convenient facilities for debugging and ensuring the understanding of the transformation process. To tackle these problems, we propose a novel formalism for the development of model transformations which is based on Colored Petri Nets. This allows first, for an explicit, process-oriented execution model of a transformation, thereby overcoming the impedance mismatch between the specification and execution of model transformations, being the prerequisite for convenient debugging. Second, by providing a homogenous representation of all artifacts involved in a transformation, including metamodels, models and the actual transformation logic itself, understandability of model transformations is enhanced.