Web服务编排的并发事务逻辑模型
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.
Web服务、并发事务逻辑、服务编排
35
TP393.09(计算技术、计算机技术)
国家"九七三"重点基础研究发展规划项目2007CB311100;北京工业大学博士科研启动基金52007013200704
2009-10-23(万方平台首次上网日期,不代表论文的发表时间)
共6页
1132-1137