@inproceedings{485e5bc4cf814218803b11d936d7d9c7,
title = "A bigraphical model of WSBPEL",
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 (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.",
keywords = "BPEL, Bigraphical Reactive Systems, Compensation handling, Semantics",
author = "Min Zhang and Ling Shi and Longfei Zhu and Yifei Wang and Libo Feng and Geguang Put",
year = "2008",
doi = "10.1109/TASE.2008.47",
language = "英语",
isbn = "9780769532493",
series = "Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008",
pages = "117--120",
booktitle = "Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008",
note = "2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 ; Conference date: 17-06-2008 Through 19-06-2008",
}