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...
Removing redundant multiplicity constraints in UML class models
Models are central for the development and management of complex systems. In order to be useful along the entire...
Modeling and enforcing secure object flows in process-driven SOAs: an integrated model-driven approach
In this paper, we present an integrated model-driven approach for the specification and the enforcement of secure object flows...
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...
