A Bigraphical Model of WSBPEL
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 (BRSs 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.
Bigraphical Reactive Systems BPEL Compensation Handling Semantics
Min Zhang Ling Shi Longfei Zhu Yifei Wang Libo Feng Geguang Pu
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China
国际会议
南京
英文
117-120
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）