Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …

This paper provides a comprehensive overview and analysis of research work on how
uncertainty is currently represented in software models. The survey presents the definitions …

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 …

Although model-driven engineering (MDE) is now an established approach for developing
complex software systems, it has not been universally adopted by the software industry. In …

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 …

Digital twins are seen as core technologies to tackle the growing complexity of cyber-
physical systems to better understand, monitor, and optimize their behavior. Digital twin …

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 …

To ensure the quality of an information system we must guarantee the correctness of the
conceptual schema that represents the knowledge about its domain. The high expressivity of …

Umple is an open-source software modeling tool and compiler. It incorporates textual
language constructs for UML modeling, including associations and state machines. It …