Abstract Context Model Driven Engineering (MDE) aims to alleviate complexity and improve
reusability in software development. The development of complex software implies to divide …

CONTEXT: Model-driven code generation is being increasingly applied to enhance software
development from perspectives of maintainability, extensibility and reusability. However …

Self-adaptive software systems are capable of adjusting their behavior at runtime to achieve
certain functional or quality-of-service goals. Often a representation that reflects the internal …

Object Constraint Language (OCL) plays a key role in Unified Modeling Language (UML). In
the UML standards, OCL is used for expressing constraints such as well-definedness …

Conflict and dependency analysis (CDA) of graph transformation has been shown to be a
versatile foundation for understanding interactions in many software engineering domains …

Sound methodologies for constructing security-critical systems are extremely important in
order to confront the increasingly varied security threats. As a response to this need, Model …

Abstract Model transformation is a key enabling technology of Model-Driven Engineering
(MDE). Existing model transformation languages are shaped by and for MDE practitioners …

Understanding conflicts between transformation steps and rules is an important topic in
algebraic graph transformation. A conflict occurs when two transformation steps are not …

Algebraic graph transformation has been promoted by several authors as a means to specify
model transformations. This paper explores how we can specify graph transformation-based …

The growing use of models for separating concerns in complex systems has lead to a
proliferation of model composition operators. These composition operators have traditionally …