Title :
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
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;
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
DOI :
10.1109/TASE.2008.47
