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

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 …

Abstract The Object Constraint Language (OCL) started as a complement of the UML
notation with the goal to overcome the limitations of UML (and in general, any graphical …

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 …

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 …

Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …

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

Video games systems are known for their complexity, concurrency and non-determinism,
which makes them prone to challenging tacit bugs. Video games development is costly and …

We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy.
Unlike existing translations, which are based on a shallow embedding strategy, and are thus …

Due to the ever increasing complexity of embedded and cyber‐physical systems,
corresponding design solutions relying on modelling languages such as Unified Modelling …