This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation
language that allows both declarative and imperative constructs to be used in transformation …

We present Tefkat, an implementation of a language designed specifically for the
transformation of MOF models using patterns and rules. The language adopts a declarative …

Where object-oriented languages deal with objects as described by classes, model-driven
development uses models, as graphs of interconnected objects, described by metamodels …

The OMG's model-driven architecture is quickly attracting attention as a method of
constructing systems that offers advantages over traditional approaches in terms of …

This paper defines a catalogue of patterns for the specification and design of model
transformations, and provides a systematic scheme and classification of these patterns …

Abstract Model transformation is a core mechanism for model-driven engineering (MDE).
Writing complex model transformations is error-prone, and efficient testing techniques are …

Abstract The study of Multiagent Systems (MASs) focuses on those systems in which many
intelligent agents interact with each other. The agents are considered to be autonomous …

The UML 2.0 Testing Profile provides support for UML 2.0 based model-driven testing. This
paper introduces a methodology of how to use the profile in order to transform an existing …

The generic model query language GMQL is designed to query collections of conceptual
models created in arbitrary graph-based modelling languages. Querying conceptual models …

Model transformations are a central element of model-driven development (MDD)
approaches. The correctness, modularity and flexibility of model transformations is critical to …