Indexed by：
Abstract：
Web service choreography among organizations should be established on the basis of formal model. This paper establishes the model of web service choreography based on concurrent transaction logic and the translation rules from WS-CDL to concurrent transaction logic are given. The concurrent transaction model of web service choreography is established on the basis of formal methods and is easy to verify properties of web service choreography. Finally, an actual web service choreography model based on concurrent transaction logic is illustrated.
Keyword：
Reprint Author's Address：
Email：
Source ：
Journal of Beijing University of Technology
ISSN： 0254-0037
Year： 2009
Issue： 8
Volume： 35
Page： 1132-1137
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 6
Affiliated Colleges：
