Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

Remote attestation of system integrity is an essential part of trusted computing. However,
current remote attestation techniques only provide integrity proofs of static properties of the …

In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …

Abstract Model transformations are precious and effortful outcomes of Model-Driven
Engineering. As any other artifact, transformations are also subject to evolution forces. Not …

As the complexity of model transformations grows, there is an increasing need to count on
methods, mechanisms, and tools for checking their correctness, ie, the alignment between …

In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

Abstract Model transformation (MT) testing is gaining interest as the size and complexity of
MTs grows. In general it is very difficult and expensive (time and computational complexity …

We propose an automatic approach to analyze the consistency and satisfiability of Unified
Modeling Language UML models containing multiple class, object and statechart diagrams …

Abstract Model transformations play a cornerstone role in Model-Driven Engineering (MDE)
as they provide the essential mechanisms for manipulating and transforming models …

In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …