Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
379497 | Data & Knowledge Engineering | 2006 | 18 Pages |
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
Ekkart Kindler,