TY - GEN
T1 - A formal model for service choreography with exception handling and finalization
AU - Zhao, Yongxin
AU - Wang, Zheng
AU - Pu, Geguang
AU - Zhu, Huibiao
PY - 2010
Y1 - 2010
N2 - The service choreography gives a global view on the collaboration among a collection of services involving multiple different organizations or independent processes. In this paper, a formal model for service choreography based on WS-CDL language is proposed. This model explores the key concepts related to choreography, such as passing channel, fault handling and finalization mechanisms. This study brings us the insights for the analysis, synthesis and verification of service choreography. For instance, the choreography synthesis is discussed based on our trace semantics achieved.
AB - The service choreography gives a global view on the collaboration among a collection of services involving multiple different organizations or independent processes. In this paper, a formal model for service choreography based on WS-CDL language is proposed. This model explores the key concepts related to choreography, such as passing channel, fault handling and finalization mechanisms. This study brings us the insights for the analysis, synthesis and verification of service choreography. For instance, the choreography synthesis is discussed based on our trace semantics achieved.
UR - https://www.scopus.com/pages/publications/78149475956
U2 - 10.1109/TASE.2010.19
DO - 10.1109/TASE.2010.19
M3 - 会议稿件
AN - SCOPUS:78149475956
SN - 9780769541488
T3 - Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
SP - 15
EP - 24
BT - Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
T2 - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
Y2 - 25 August 2010 through 27 August 2010
ER -