A model-driven runtime environment for Web applications
A large part of software development these days deals with building so-called Web applications. Many of these applications are...
A toolkit for model manipulation
We present a toolkit to develop scripts to process software models. It can be used to create applications to...
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...
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...
