Abstract Model-driven software engineering (MDSE) is an established approach for
develo** complex software systems. The unified modelling language (UML) is one of the …

Requirements need to be validated at the early phase of the software development to avoid
errors such as inconsistency, incompleteness and incorrectness. Drawn from this argument …

The issue of confluence is of major importance for the successful application of attributed
graph transformation, such as automated translation of UML models into semantic domains …

The model-driven software development paradigm requires that appropriate model
transformations are applicable in different stages of the development process. The …

A software design is often modelled as a collection of UML diagrams. There is an inherent
need to preserve consistency between these diagrams. Moreover, through evolution those …

In this paper, we present a novel approach of translating natural languages specification to
SBVR business rules. The business rules constraint business structure or control behaviour …

We give an introduction to graph transformation, not only for researchers in software
engineering, but based on applications of graph transformation in this domain. In particular …

Object-oriented modeling favors the modeling of object behavior from different viewpoints
and the successive refinement of behavioral models in the development process. This gives …

As UML 2.0 is evolving into a family of languages with individually specified semantics, there
is an increasing need for automated and provenly correct model transformations that (i) …

Graph transformation has recently become more and more popular as a general, rule-based
visual specification paradigm to formally capture (a) requirements or behavior of user …