Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.

The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been proposed. Most of them have focused on the effective and efficient detection of property violations by contract checking.

Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems.

This theme section aims to disseminate the latest research results in the area of Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS). MPM has a long tradition within the Model-Driven Engineering community, e.g.

Behavioral interfaces for executable DSLs.

Executable domain-specific languages (DSLs) enable the execution of behavioral models. While an execution is mostly driven by the model content (e.g.

Leveraging annotation-based modeling with Jump.

The capability of UML profiles to serve as annotation mechanism has been recognized in both research and industry. Today's modeling tools offer profiles specific to platforms, such as Java, as they facilitate model-based engineering approaches. However, considering the large number of possible annotations in Java, manually developing the corresponding profiles would only be achievable by huge development and maintenance efforts.

A posteriori operation detection in evolving software models.

As every software artifact, also software models are subject to continuous evolution. The operations applied between two successive versions of a model are crucial for understanding its evolution. Generic approaches for detecting operations a posteriori identify , but neglect , such as refactorings, which leads to cluttered difference reports.