Abstract. Metamodel-based transformations permit descriptions of mappings between models created using different concepts from possibly overlapping domains. This paper describes the basic algorithms used in matching metamodel constructs, and how this match is to be applied. The transformation

In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a software development process. A model transformation program is a specific program, in the sense it manipulates models

This paper proposes a new system building (in particular, tool building) approach, which we call Transformation-Driven Archi-tecture (TDA). The basic elements used in this architecture are model transformations, interface metamodels with corresponding engines, and event/command mechanism

Security-design models are models that combine design specifications for distributed systems with specifications of their security policies. We have previously proposed an expressive UML-based language for constructing and transforming security-design models. Here we show how the same framework can

to provide solutions to overcome this gap. In this demon-stration we present the metamodeling framework MOFLON that addresses these issues by bringing together the lat-est OMG standards with graph transformations and triple graph grammars. Using MOFLON, developers can gener-ate code for specific tools needed

In the paper, we propose an automated, SVG-based visualization framework for modeling languages defined by metamodeling techniques. Our framework combines XML standards with existing graph transformation and graph drawing technologies in order to provide an open, tool-independent architecture.

A widely applied approach to model transformation uses graph rewriting as the underlying transformation technique. In case of diagrammatic languages, such as the Unified Modeling Language (UML), the exclusive topological matching is found to be not enough. To define the transformation steps

for expressing bidirectional transformations can help in this respect, but existing languages applicable in model-driven engineering are often restricted to bijections or complex to use. I adapt lenses, a promising term-rewriting-based approach to bidirectional transformations, to model synchronization

Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications for distributed systems with specifications of their security policies. Here we show how the same framework can be used

, and method of software development and discuss proposed models for their economic analysis. Software reuse benefits from methodologies and tools to: 1) build more readily reusable software, and 2) locate, evaluate, and tailor reusable software, the latter being critical for the building blocks approach. Both