Execution Analysis of Failure Recovery for Reliable Web Services Transaction

Author

Fan, Yiyan ; Mei, Xiaoyong

Author_Institution

Sch. of Comput. Sci. & Technol., Hunan Univ. of Arts & Sci., Changde, China

Volume

3

fYear

2010

fDate

16-17 Dec. 2010

Firstpage

396

Lastpage

399

Abstract

Web Services composition is constituted by long-running transactions, failure and cancellation often occur in business logic of Web services composition, service compensation has become a hotspot in the research of Service-Oriented Computing (SOC). In this paper, we propose a composition compensation mechanism based on Petri nets to automatically implement partial or full compensation of committed tasks, where SCPN can be dynamically constructed and corresponding compensation strategy is triggered. To verify the relaxed atomicity of compensation execution, the execution semantics of two typical composition compensation patterns (selection and iteration) based on Petri nets are analyzed in detail.

Keywords

Petri nets; Web services; failure analysis; service-oriented architecture; software reliability; Petri nets; SCPN; Web services transaction; business logic; failure recovery analysis; service oriented computing; Algebra; Business; Context; Petri nets; Process control; Semantics; Web services; Petri nets; Web composition transaction; composition compensation; execution semantic analysis; failure recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Systems (GCIS), 2010 Second WRI Global Congress on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-9247-3

Type

conf

DOI

10.1109/GCIS.2010.136

Filename

5709401