Validating UML and OCL models in USE by automatic snapshot generation
We study the testing and certification of UML and OCL models as supported by the validation tool USE. We...
Towards an integrated graph-based semantics for UML
This paper shows how a central part of the Unified Modeling Language (UML) can be integrated into a single...
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines
Modeling and Analysis of Real-Time and Embedded Systems (MARTE) is a Unified Modeling Language (UML) profile, which has been...
The many meanings of UML 2 Sequence Diagrams: a survey
Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases, and many more aspects...
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
We investigate three approaches describing models of business processes: the OMG standard BPMN in its recent version 2.0, the...
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
A type inference system and a big-step operational semantics for expressions of the "Object Constraint Language" (OCL), the declarative...
Theoretical foundations and implementation of business process diagrams’ complexity management technique based on highlights
The main purpose of business process diagrams is to make the communication between process-related stakeholders more effective. To this...
VPML: an approach to detect design patterns of MOF-based modeling languages
A design pattern is a recurring and well-understood design fragment. In a model-driven engineering methodology, detecting occurrences of design...
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....
