loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
A Bigraphical Model of WSBPEL
June 17-June 19
ISBN: 978-0-7695-3249-3
ASCII Text
x 
 
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu, "A Bigraphical Model of WSBPEL," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 117-120, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2008.47,
author = {Min Zhang and Ling Shi and Longfei Zhu and Yifei Wang and Libo Feng and Geguang Pu},
title = {A Bigraphical Model of WSBPEL},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3249-3},
pages = {117-120},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.47},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - A Bigraphical Model of WSBPEL
SN - 978-0-7695-3249-3
SP117
EP120
A1 - Min Zhang,
A1 - Ling Shi,
A1 - Longfei Zhu,
A1 - Yifei Wang,
A1 - Libo Feng,
A1 - Geguang Pu,
PY - 2008
KW - null
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
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.
Citation:
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu, "A Bigraphical Model of WSBPEL," tase, pp.117-120, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008
Usage of this product signifies your acceptance of the Terms of Use.