Web服务编排的并发事务逻辑模型  

Web Service Choreography Model Based on Concurrent Transaction Logic

作　　者：王勇[1] 姜正涛[2] 侯亚荣[1] 方娟[1] 毛国君[1] 

机构地区：[1]北京工业大学计算机学院,北京100124 [2]中国传媒大学计算机学院,北京100024

出　　处：《北京工业大学学报》2009年第8期1132-1137,共6页Journal of Beijing University of Technology

基　　金：国家'九七三'重点基础研究发展规划项目基金资助项目(2007CB311100);北京工业大学博士科研启动基金资助项目(52007013200704)

摘　　要：为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.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 WSCDL 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 t...

关 键 词：WEB服务 并发事务逻辑 服务编排 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]