Using process algebra to control the execution of business processes

Authors:
Kelly Rosa Braghetto;João Eduardo Ferreira;Calton Pu
Affiliations:
University of São Paulo, São Paulo, Brasil;University of São Paulo, São Paulo, Brasil;Georgia Instit. of Technology, Atlanta
Venue:
Proceedings of the 2008 ACM symposium on Applied computing
Year:
2008

Citing 4
Cited 1

Introduction to Process Algebra

Introduction to Process Algebra
Large Scale Order Processing through Navigation Plan Concept

SCC '06 Proceedings of the IEEE International Conference on Services Computing
Using control-flow patterns for specifying business processes in cooperative environments

Proceedings of the 2007 ACM symposium on Applied computing
Web services and business process management

IBM Systems Journal

Termination analysis of business process workflows

Proceedings of the 5th International Workshop on Enhanced Web Service Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrating information systems with tools that manage workflows and business processes is not always a simple task. This difficulty becomes more accentuated when the execution control assumes countless business processes. This work presents an alternative to control the execution of business processes. This alternative consists in a library of functions, called NavigationPlanTool, which can be easily integrated into the information systems and uses Navigation Plan Definition Language (NPDL) as the language to define business processes. NPDL is a language for business processes specification that uses process algebra as formal foundation. The NavigationPlanTool implements NPDL language as a SQL extension and offers two other important services: processes instantiation and process instances execution monitor. The NavigationPlanTool combines the process algebra features with a relational database model to provide a scalable and reliable control in the execution of business processes.