Conformance checking in UML artifact-centric business process models
Business artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning...
A model-driven method for enacting the design-time QoS analysis of business processes
Business Process Management (BPM) is a holistic approach for describing, analyzing, executing, managing, and improving large enterprise business processes....
On the impact of size to the understanding of UML diagrams
Background Practical experience suggests that usage and understanding of UML diagrams is greatly affected by the quality of their...
UML specification of access control policies and their formal verification
Security requirements have become an integral part of most modern software systems. In order to produce secure systems, it...
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known...
How do humans inspect BPMN models: an exploratory study
Even though considerable progress regarding the technical perspective on modeling and supporting business processes has been achieved, it appears...
Investigating expressiveness and understandability of hierarchy in declarative business process models
Hierarchy has widely been recognized as a viable approach to deal with the complexity of conceptual models. For instance,...
How effective is UML modeling ?
Modeling has become a common practice in modern software engineering. Since the mid 1990s the Unified Modeling Language (UML)...
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
Requirements are inherently prone to conflicts. Security, data-minimization, and fairness requirements are no exception. Importantly, undetected conflicts between such...
A generic model decomposition technique and its application to the Eclipse modeling framework
Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less...
