SE-lab

Startseite

Für Studenten

Für Unternehmen

Projekte

Forum

Bewerbung

Kontakt


SE

RWTH Aachen

How Business Process Modeling can be made Reliable using Methods from Logic

Through our work to rigorously model the intentions of two versions (1.0 and 2.0) of the OMG standard for BPMN (Business Process Modeling Notation) we detected various principled weaknesses of this standard, of the related Workflow Patterns Initiative and the associated YAWL language and tool. We analyze these deficiencies and illustrate a possible way out by providing a mathematically accurate, transparent user model for a typical industrial BPM tool that starts from clearly defined high-level concepts of actions of agents and communication between them.