Abstract Context Model-driven Engineering (MDE) promotes the utilization of models as
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …

In software modeling, UML (Unified modeling language) receives increasing attention from
designers of real-time systems in software development. The emergence of temporal …

A newcomer to a software project must typically come up-to-speed on a large, varied amount
of information about the project before becoming productive. Assimilating this information in …

Assessment of the correctness of software models is a key issue to ensure the quality of the
final application. To this end, this paper presents an automatic method for the verification of …

In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …

Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for
complex industrial software systems. To increase chances of adoption in industrial contexts …

We present Clafer, a meta-modeling language with first-class support for feature modeling.
We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta …

Nowadays, modeling languages like UML are essential in the design of complex software
systems and also start to enter the domain of hardware and hardware/software codesign …

Languages like UML and OCL are used to precisely model systems. Complex UML and
OCL models therefore represent a crucial part of model-driven development, as they …

Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …