Article2002

On the semantics of EPCs: A vicious circle

Wil M. P. van der Aalst · Jörg Desel · Ekkart Kindler

109 citations0/0 files stored

No readable copy stored yet — this record is metadata only.

Business Process Modeling and Analysis Logic, programming, and type systems Model-Driven Software Engineering Techniques

Abstract

Abstract: Recently, Nüttgens and Rump proposed a formal semantics for Event driven Process Chains (EPCs), which should be fully compliant with the informal semantics of EPCs. But, their semantics has a severe flaw. This flaw reveals that there is a fundamental problem with the informal semantics of EPCs. Here, we pin-point the cause of this problem, we show that there is no sound formal semantics for EPCs that is fully compliant with the informal semantics, and we discuss some consequences. 1

Citations in this library

Stored only when both papers are in the corpus — 109 citations exist upstream.

References

2003Workflow Patterns 2000Production Workflow - Concepts and Techniques

Cited by

2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants 2014Flexible evolutionary algorithms for mining structured process models 2006Structural Patterns for Soundness of Business Process Models 2014Formal Aspects of Enterprise Modeling Methods: A Comparison Framework 2007Formalization and Verification of EPCs with OR-Joins Based on State and Context 2005Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective 2007Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants 2006What business process modelers can learn from programmers

Imported from OpenAlex (CC0) — nothing here is generated.