2002 · 109 citations · 3 references
ComputingComputer ScienceFormal MethodsKnowledge RepresentationSemanticsProcess ModelingSpecification LanguagesEvent-driven Process ChainsProcess Modeling SemanticsProcess Semantics
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
3
Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski et al. · Distributed and Parallel Databases · 2003 · 2.6K citations · Full text