On the semantics of EPCs: Resolving the vicious circle

One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. It can be shown that a single transition relation cannot precisely capture the non-local semantic of EPCs. Therefore, we formalize the non-local semantics of EPCs as a pair of two corresponding transition relations.Actually, there are different proposals for non-local semantics of EPCs. The technique proposed in this paper can be used for formalizing all kinds of non-local semantics. This way, it can be considered as a framework for defining non-local semantics and for resolving the vicious circle inherent to non-local semantics of EPCs.