Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communicating sequential processes
Communications of the ACM
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Distributed and Parallel Databases
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Yasper: a tool for workflow modeling and analysis
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
YAWL: yet another workflow language
Information Systems
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Colored petri nets to verify extended event-driven process chains
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Process discovery in event logs: An application in the telecom industry
Applied Soft Computing
| Hi-index | 0.00 |
In this paper we study the use of case history for control structures in workflow processes. In particular we introduce a history-dependent join. History dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling frameworks. We study the modeling power by means of workflow patterns. Since proper completion (i.e. the ability of any configuration reachable from the initial one to reach the final one) is always an important ”sanity check” of process modeling, we introduce a modeling method that guarantees this property for the new control structures. Finally we consider an implementation of the proposed control structures on top of an existing workflow engine.