A petri net-based failure handling model for composition transactions

Author

Mei, Xiaoyong ; Fan, Yiyan ; Wang, Yonglin ; Fang, Xia

Author_Institution

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

Volume

1

fYear

2010

fDate

13-14 Sept. 2010

Firstpage

378

Lastpage

381

Abstract

Due to the existing failure and cancellation of business logic of Web services composition, service compensation is one of the most important issues in the research of Service- Oriented Computing (SOC). To ensure the weaker notion of atomicity through performing compensation, the execution semantics of this mechanism´s compensation pattern are analyzed based on Petri net, a Petri-net-based formalization to construct Web composition process is proposed, interface dependency, compensation dependency and sequence that handlers were triggered in nesting scopes are discussed, the semantics of interface and excution of composition service is discussed based on Petri net.

Keywords

Petri nets; Web services; error handling; transaction processing; Petri net based failure handling model; Petri net based formalization; Web services composition; business logic; compensation pattern; composition transaction; service compensation; service oriented computing; Business; Educational institutions; Integrated circuits; Silicon;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Natural Computing Proceedings (CINC), 2010 Second International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-7705-0

Type

conf

DOI

10.1109/CINC.2010.5643816

Filename

5643816