Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Managing business processes as an information resource
IBM Systems Journal
Model checking
Generating correct EPCs from configured C-EPCs
Proceedings of the 2006 ACM symposium on Applied computing
Modeling process-driven and service-oriented architectures using patterns and pattern primitives
ACM Transactions on the Web (TWEB)
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Getting rid of OR-joins and multiple start events in business process models
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Diagnosing Differences between Business Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Seven process modeling guidelines (7PMG)
Information and Software Technology
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Semantics of standard process models with OR-joins
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A new semantics for the inclusive converging gateway in safe processes
BPM'10 Proceedings of the 8th international conference on Business process management
Modeling process-related RBAC models with extended UML activity models
Information and Software Technology
Formal semantics and implementation of BPMN 2.0 inclusive gateways
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Faulty EPCs in the SAP reference model
BPM'06 Proceedings of the 4th international conference on Business Process Management
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Thresholds for error probability measures of business process models
Journal of Systems and Software
On the syntax of reference model configuration – transforming the C-EPC into lawful EPC models
BPM'05 Proceedings of the Third international conference on Business Process Management
Propagating changes between aligned process models
Journal of Systems and Software
Construction processes configuration using process patterns
Advanced Engineering Informatics
Specifying and verifying declarative fluent temporal logic properties of workflows
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A study on the effects of routing symbol design on process model comprehension
Decision Support Systems
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Journal of Database Management
| Hi-index | 0.00 |
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.