Code clones are a substantial problem for code based development; it is not surprising that
model clones are a problem for model based development, too. Past experience with model …

We reinterpret MDE from the viewpoint of relational databases to provide an alternative way
to understand, demonstrate, and teach MDE using concepts and technologies that should …

In large scale model based development, analysis level models are more like knowledge
bases than engineering artifacts. Their effectiveness depends, to a large degree, on the …

In this article we show how functional logic programming techniques can be used to
construct a bidirectional transformation between structured process models of the business …

Modern enterprise application systems are parts of complex IT landscapes. The architecture
of such a landscape may impose constraints upon the design of single applications, for …

Abstract Model-based testing has gained widespread acceptance over the last decade, not
only in academia but also in industry. Despite its powerful features of abstraction and …

This paper presents an original Model-Driven-Engineering (MDE) approach to support the
verification and testing of security properties in dynamic web applications. Based on a …

Defining a domain model is a costly and error-prone process. It requires that the knowledge
possessed by domain experts be suitably captured by modeling experts. Eliciting what is in …

The size of unified modeling language (UML) models used in practice is very large and
ranges up to hundreds and thousands of classes. Querying of these models is used to …

Abstract UML Class Diagrams (UCDs) are the best known class-based formalism for
conceptual modeling. They are used by software engineers to model the intensional …