On the models for asynchronous circuit behaviour with OR causality
Formal Methods in System Design
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Well-structured transition systems everywhere!
Theoretical Computer Science
Distributed and Parallel Databases
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Fundamental Structures in Well-Structured Infinite Transition Systems
LATIN '98 Proceedings of the Third Latin American Symposium on Theoretical Informatics
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction
CL '00 Proceedings of the First International Conference on Computational Logic
General decidability theorems for infinite-state systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
YAWL: yet another workflow language
Information Systems
What business process modelers can learn from programmers
Science of Computer Programming
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
BPEL to BPMN: The Myth of a Straight-Forward Mapping
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
Towards a Methodology for Semantic Business Process Modeling and Configuration
Service-Oriented Computing - ICSOC 2007 Workshops
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Transactions on Petri Nets and Other Models of Concurrency II
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
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
Extending conceptual schemas with business process information
Advances in Software Engineering
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Pattern-based analysis of the control-flow perspective of UML activity diagrams
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Automatic generation of workflow-extended domain models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Workflow languages offer constructs for coordinating tasks. Among these constructs are various types of splits and joins. One type of join, which shows up in various incarnations, is the OR-join. Different approaches assign a different (often only intuitive) semantics to this type of join, though they do share the common theme that synchronisation is only to be performed for active threads. Depending on context assumptions this behaviour may be relatively easy to deal with, though in general its semantics is complicated, both from a definition point of view (in terms of formally capturing a desired intuitive semantics) and from a computational point of view (how does one determine whether an OR-join is enabled?). In this paper the concept of OR-join is examined in detail in the context of the workflow language YAWL, a powerful workflow language designed to support a collection of workflow patterns and inspired by Petri nets. The OR-join's definition is adapted from an earlier proposal and an algorithmic approach towards determining OR-join enablement is examined. This approach exploits a link that is proposed between YAWL and Reset nets, a variant of Petri nets with a special type of arc that can remove all tokens from a place.