The paper describes a model-integrated approach for embedded software development that
is based on domain-specific, multiple-view models used in all phases of the development …

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 …

Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …

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) …

Abstract The Model Driven Architecture necessitates not only the application of software
engineering disciplines to the specification of modeling languages (language-ware) but also …

The next generation of networked mechatronic systems will be characterized by complex
coordination and structural adaptation at run-time. Crucial safety properties have to be …

Abstract Model Transformation has become central to most software engineering activities. It
refers to the process of modifying a (usually graphical) model for the purpose of analysis (by …

Model-based development necessitates the transformation of models between different
stages and tools of the design process. These transformations must be precisely, preferably …

The aim of this paper is to integrate typed attributed graph transformation with node type
inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the …

UML Statecharts are well-known visual means to capture the dynamic behavior of reactive
systems in the object-oriented design methodology. Since the UML standard only contains …