| Web服务编排的并发事务逻辑模型 |
| |
| 引用本文： | 王勇, 姜正涛, 侯亚荣, 方娟, 毛国君. Web服务编排的并发事务逻辑模型[J]. 北京工业大学学报, 2009, 35(8): 1132-1137. |
| |
| 作者姓名： | 王勇 姜正涛 侯亚荣 方娟 毛国君 |
| |
| 作者单位： | 北京工业大学计算机学院,北京,100124;中国传媒大学计算机学院,北京,100024 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展规划项目基金资助项目(2007CB311100);;北京工业大学博士科研启动基金资助项目(52007013200704) |
| |
| 摘 要： | 为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.
|
| 关 键 词： | Web服务 并发事务逻辑 服务编排 |
| 收稿时间： | 2007-10-11 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京工业大学学报》浏览原始摘要信息 |
|
点击此处可从《北京工业大学学报》下载免费的PDF全文 |
|
