Article ID Journal Published Year Pages File Type
379497 Data & Knowledge Engineering 2006 18 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Authors
,