Are we done with business process compliance: state of the art and challenges ahead
Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …
alignment of the regulatory rules with the design, verification and validation of business …
Uncertainty representation in software models: a survey
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 …
uncertainty is currently represented in software models. The survey presents the definitions …
Object constraint language (OCL): a definitive guide
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 …
notation with the goal to overcome the limitations of UML (and in general, any graphical …
The relevance of model-driven engineering thirty years from now
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 …
complex software systems, it has not been universally adopted by the software industry. In …
Generating test data from OCL constraints with search techniques
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 …
complex industrial software systems. To increase chances of adoption in industrial contexts …
[PDF][PDF] Modeling capabilities of digital twin platforms-old wine in new bottles?
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 …
physical systems to better understand, monitor, and optimize their behavior. Digital twin …
From UML and OCL to relational logic and back
M Kuhlmann, M Gogolla - … on model driven engineering languages and …, 2012 - Springer
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 …
OCL models therefore represent a crucial part of model-driven development, as they …
Extensive validation of OCL models by integrating SAT solving into USE
Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
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 …
conceptual schema that represents the knowledge about its domain. The high expressivity of …
[HTML][HTML] Umple: Model-driven development for open source and education
Umple is an open-source software modeling tool and compiler. It incorporates textual
language constructs for UML modeling, including associations and state machines. It …
language constructs for UML modeling, including associations and state machines. It …