Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in Business Process Modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two major problems. First, several formalizations depend upon restrictions of the EPC to a sub-set. Second, several approaches contradict the modeling intuition since the structuredness of the process does not guarantee soundness. In this paper, the authors present a novel semantical definition of EPCs that addresses these aspects yielding a formalization that is applicable for all EPCs and for which structuredness is a sufficient condition for soundness.