History-based joins: Semantics, soundness and implementation

Authors:
Kees van Hee;Olivia Oanea;Alexander Serebrenik;Natalia Sidorova;Marc Voorhoeve
Affiliations:
Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Venue:
Data & Knowledge Engineering
Year:
2008

Citing 17
Cited 4

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
Workflow Patterns

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
LogLogics: A logic for history-dependent business processes

Science of Computer Programming
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
Soundness of resource-constrained workflow nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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

Predicting service request rates for adaptive resource allocation in SOA

Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Modeling process-related RBAC models with extended UML activity models

Information and Software Technology
Complementing Business Process Verification by Validity Analysis: A Theoretical and Empirical Evaluation

Journal of Database Management
Assigning Ontological Meaning to Workflow Nets

Journal of Database Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we study the use of case history for control structures in workflow processes. History-dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling frameworks. In particular, we introduce a history-dependent join. 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 holds. Finally we consider an implementation of the proposed control structures on top of an existing workflow engine.