Develo** software from models is a growing practice and there exist many model-based
tools (eg, editors, interpreters, debuggers, and simulators) for supporting model-driven …

The integration of usable and flexible analysis support in modelling environments is a key
success factor in Model-Driven Development. In this paradigm, models are the core asset …

Summary Model‐Driven Engineering (MDE) is an approach to software development where
the principle artefacts are models. In contrast, the state of the art in MDE support is model …

The Unified Modeling Language (UML) has been widely accepted as a standard for
modeling software systems from various perspectives. The intuitive notations of UML …

CONTEXT: Domain-Specific Visual Languages (DSVLs) play a crucial role in Model-Driven
Engineering (MDE). Most DSVLs already allow the specification of the structure and …

This paper is about visual and executable domain-specific modelling languages (DSMLs)
that are used at the platform independent level of the Model-Driven Architecture. We deal …

Abstract Model-based tool data transformation and integration are crucial tasks in software
and system development relying on model-driven development (MDD). Since the tool …

There is a need for rigorous analysis techniques that developers can use to uncover security
policy violations in their UML designs. There are a few UML analysis tools that can be used …

In this paper we present an approach to the analysis of graph transformation rules based on
an intermediate OCL representation. We translate different semantics of rules into OCL …

In this paper we present an approach for the analysis of graph transformation rules based on
an intermediate OCL representation. We translate different rule semantics into OCL, together …