Using Process Algebra to Control the Execution of Business Processes

被引：0

作者：

Braghetto, Kelly Rosa ^{[1
]}

Ferreira, Joao Eduardo ^{[1
]}

Pu, Calton ^{[2
]}

机构：

[1] Univ Sao Paulo, 1010 Rua Matao,Cidade Univ, BR-05508090 Sao Paulo, Brazil

[2] Georgia Inst Technol, Atlanta, GA 30332 USA

来源：

APPLIED COMPUTING 2008, VOLS 1-3 | 2008年

基金：

巴西圣保罗研究基金会;

关键词：

Business Process Management; Workflows; Process Algebra;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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 Defnition 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.

引用

页码：128 / +

页数：2

共 50 条

[21] Modeling and Monitoring Business Process Execution
Bertoli, Piergiorgio
Dragoni, Mauro
Ghidini, Chiara
Martufi, Emanuele
Nori, Michele
Pistore, Marco
Di Francescomarino, Chiara
[J]. SERVICE-ORIENTED COMPUTING, ICSOC 2013, 2013, 8274 : 683 - 687
[22] Grid service orchestration using the Business Process Execution Language (BPEL)
Emmerich W.
Butchart B.
Chen L.
Wassermann B.
Price S.L.
[J]. Journal of Grid Computing, 2005, 3 (3-4) : 283 - 304
[23] Optimized Execution of Business Processes on Crowdsourcing Platforms
Khazankin, Roman
Satzger, Benjamin
Dustdar, Schahram
[J]. PROCEEDINGS OF THE 2012 8TH INTERNATIONAL CONFERENCE ON COLLABORATIVE COMPUTING: NETWORKING, APPLICATIONS AND WORKSHARING (COLLABORATECOM 2012), 2012, : 443 - 451
[24] Integration, Execution and Monitoring of Business Processes with Chaincode
Schinle, Markus
Erler, Christina
Andris, Philip Nicolai
Stork, Wilhelm
[J]. 2020 2ND CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES (BRAINS), 2020, : 63 - 70
[25] Requirements for Dynamic Jumps at the Execution of Business Processes
Bauer, Thomas
[J]. BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2022, 2022, 453 : 35 - 53
[26] An Approach to the Decomposition of Business Processes for Execution in the Cloud
Povoa, Lucas Venezian
de Souza, Wanderley Lopes
Pires, Luis Ferreira
do Prado, Antonio Francisco
[J]. 2014 IEEE/ACS 11TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2014, : 470 - 477
[27] User recommendations for the optimized execution of business processes
Barba, Irene
Weber, Barbara
Del Valle, Carmelo
Jimenez-Ramirez, Andres
[J]. DATA & KNOWLEDGE ENGINEERING, 2013, 86 : 61 - 84
[28] From Process Execution towards a Business Process Intelligence
Felden, Carsten
Chamoni, Peter
Linden, Markus
[J]. BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, 2010, 47 : 195 - +
[29] Efficient symbolic execution of large quantifications in a process algebra
Fraikin, Benoit
Frappier, Marc
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 327 - 344
[30] Evaluation of a Business Continuity Plan using Process Algebra and Modal Logic
Boehmer, Wolfgang
Brandt, Christoph
Groote, Jan Friso
[J]. IEEE TIC-STH 09: 2009 IEEE TORONTO INTERNATIONAL CONFERENCE: SCIENCE AND TECHNOLOGY FOR HUMANITY, 2009, : 147 - 152

← 1 2 3 4 5 →