A Bigraphical Model of WSBPEL

Author

Zhang, Min ; Shi, Ling ; Zhu, Longfei ; Wang, Yifei ; Feng, Libo ; Pu, Geguang

Author_Institution

Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai

fYear

2008

fDate

17-19 June 2008

Firstpage

117

Lastpage

120

Abstract

In this paper, we give a bigraphical model for web services composition. We investigate how to represent scope-based compensation handing mechanism by means of Bigraphical Reactive Systems (13RSs for short), which have been proposed to provide a uniform way to model spatially distributed systems that both compute and communicate. The service composition language we focus on is WSBPEL, which is the standard of web service composition and orchestration. This bigraphical model can be regarded as a unifying semantics of BPEL-like languages with the key concepts related to compensation handling. The rationality of the model is discussed by investigating the relationship between BPEL language and BRSs. Based on the bigraphical model, the algebraic laws for BPEL are proved as well.

Keywords

Web services; high level languages; process algebra; WSBPEL; Web service orchestration; Web services composition; bigraphical model; bigraphical reactive systems; compensation handling; scope-based compensation handing mechanism; service composition language; spatially distributed systems; Bipartite graph; Calculus; Distributed computing; Industrial relations; Joining processes; Laboratories; Mobile communication; Software engineering; Web and internet services; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on

Conference_Location

Nanjing

Print_ISBN

978-0-7695-3249-3

Type

conf

DOI

10.1109/TASE.2008.47

Filename

4549894