Abstract The Eclipse Modeling Framework (EMF) provides modeling and code generation
facilities for Java applications based on structured data models. Henshin is a new language …

As model management platforms are gaining industrial attention, the importance of
automated model querying techniques is also increasing. Several important engineering …

Abstract Model-driven development tools built on industry standard platforms, such as the
EclipseModeling Framework (EMF), heavily utilize model queries in model transformation …

During the overall development of complex engineering systems different modeling
notations are employed. For example, in the domain of automotive systems system …

While model queries are important components in model-driven tool chains, they are still
frequently implemented using traditional programming languages, despite the availability of …

Abstract Model transformation is one of the key tasks in model-driven engineering and relies
on the efficient matching and modification of graph-based data structures; its sibling graph …

Model transformation languages are special-purpose languages, which are designed to
define transformations as comfortably as possible, ie, often in a declarative way. Typically …

In the world of model-driven engineering (MDE) support for traceability and maintenance of
traceability information is essential. On the one hand, classical traceability approaches for …

Abstract Model-driven tools use model queries for many purposes, including validation of
well-formedness rules and specification of derived features. The majority of declarative …

Embedded real-time systems generate state sequences where time elapses between state
changes. Ensuring that such systems adhere to a provided specification of admissible or …