Authors
Wil MP van der Aalst, Jörg Desel, Ekkart Kindler
Publication date
2002/11
Conference
EPK
Pages
71-79
Description
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.
Total citations
Scholar articles
WMP van der Aalst, J Desel, E Kindler - EPK, 2002