Using control-flow patterns for specifying business processes in cooperative environments

Authors:
Kelly Rosa Braghetto;João Eduardo Ferreira;Calton Pu
Affiliations:
University of São Paulo, São Paulo - SP - Brazil;University of São Paulo, São Paulo - SP - Brazil;Georgia Institute of Technology, Atlanta, GA
Venue:
Proceedings of the 2007 ACM symposium on Applied computing
Year:
2007

Citing 5
Cited 4

Workflow handbook 1997

Workflow handbook 1997
Introduction to Process Algebra

Introduction to Process Algebra
Handbook of Process Algebra

Handbook of Process Algebra
Workflow Patterns

Distributed and Parallel Databases
Using the π-calculus for formalizing workflow patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Using process algebra to control the execution of business processes

Proceedings of the 2008 ACM symposium on Applied computing
HIV drug resistance analysis tool based on process algebra

Proceedings of the 2008 ACM symposium on Applied computing
Implementing rigorous web services with process algebra: navigation plan for web services

Proceedings of the 2009 ACM symposium on Applied Computing
Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions

BPM '09 Proceedings of the 7th International Conference on Business Process Management

Quantified Score

Hi-index	0.03

Visualization

Abstract

The representation and execution of business processes have generated some important challenges in Computer Science. An important related concern is the choosing of the best formal foundation to specify processes behavior, mainly representing control-flow patterns in cooperative environments. The first contribution of this research is the complete definition of the Navigation Plan Definition Language (NPDL) as an alternative for business process managing in cooperative environments. The second contribution is a complete implementation of control-flow patterns using NPDL. These control-flow patterns have been proposed by Aalst's group. Our experience in applying suggestion of Aalst's group to use control-flow patterns as a basis for comparison among control-flow specification languages shows that this comparison method is feasible and the results are useful. The simplicity of NPDL representations shows the advantages of NPDL as a process specification language. NPDL uses a declarative specification (similar to process algebra) to describe the workflow and adds new operators to compensate for the limitations of process algebra and Petri nets. NPDL also increases the modeling flexibility by allowing the reuse of process expressions in relational data-base systems.