Soft Integrity Rules and Guidelines for Dynamic Models

Start date: 01.01.2011
End date: 31.12.2012
Duration: 24 Monate
Funded by: DAAD (Deutscher Akademischer Austausch Dienst)
Local head of project: Thomas Eisenbarth Benjamin Honke
Local scientists: Bernhard Bauer
External scientists / cooperations: Prof. Dr. Dragan Gašević (Simon Fraser University)


A topic that is not extensively researched and solved is the definition, tansformation and enactment of soft integrity rules for dynamic models. Complex integrity constraints on business and software engineering process models could facilitate model designers to improve control over running process instances regarding various topics of interest e.g. fine-grained control of temporal constraints of models. Our research aims to enable process model designers to enhance process models by adding complex integrity constraints to process models at design-time that are validated during design-time and evaluated as well as controlled during run-time: Therefore we extend dynamic models, namely notated in graphical languages such as UML activity diagrams, (r)BPMN or SPEM, with soft integrity rules. Moreover, we investigate a way how these rules can be taken into consideration during run-time and what are the consequences and actions if e.g. a soft integrity rule is violated during execution. We elaborate on a model-driven way to transform the different rules from a computational / platform independent layer into executable code (enactment, platform specific model). Then we apply the developed technology in two application domains, namely business processes and their modelling as well as software development processes and their enactment with a special focus on e.g. automotive. Furthermore a prototypical implementation of our work on top of Eclipse JWT and a workflow engine such as Bonita, JBoss or Activiti and an evaluation of the results is performed.