On-the-Fly Detection Approach of Control Dependency Deadlocks in BPEL

Author

Na, Deng ; Desheng, Li ; Changbao, Li ; Junliang, Chen ; Chuanchang, Liu

Author_Institution

State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China

fYear

2011

fDate

4-9 July 2011

Firstpage

728

Lastpage

729

Abstract

During the design procedure of BPEL (Business Process Execution Language) processes, there may be control dependency deadlocks among the activities in BPEL. We design a novel Agree/Refuse Matrix (ARM) to real-timely detect control dependency deadlocks. Online detection approach can be integrated into Active BPEL Designer to extend their functions and improve the accuracy of BPEL processes. Most importantly, this method´s real-time property can help avoiding detecting the whole process from scratch caused by process´s partial modifications.

Keywords

Web services; business data processing; system recovery; ActiveBPEL designer; agree-refuse matrix; business process execution language; control dependency deadlocks; on-the-fly detection approach; Business; Integrated circuit modeling; Multimedia communication; Process control; Real time systems; System recovery; Waste materials; BPEL; business process modeling; control dependency; deadlocks; directed graph; simple circuit; web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Services (ICWS), 2011 IEEE International Conference on

Conference_Location

Washington, DC

Print_ISBN

978-1-4577-0842-8

Electronic_ISBN

978-0-7695-4463-2

Type

conf

DOI

10.1109/ICWS.2011.58

Filename

6009414