| Web服务事务的动态补偿模型 |
| |
| 引用本文： | 钟发荣,吴佳杰.Web服务事务的动态补偿模型[J].浙江师范大学学报(自然科学版),2010,33(3):248-255. |
| |
| 作者姓名： | 钟发荣 吴佳杰 |
| |
| 作者单位： | 浙江师范大学,数理与信息工程学院,浙江,金华,321004 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 对π-演算进行扩展,提出了作为Web服务事务动态补偿模型的Exπ-演算.该演算的补偿可随着Web服务的交互动态地建立起来,同时给出了结构同余关系和操作语义.为了保证事务的唯一性,定义了一个简单的类型系统.最后,将该简化的Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比其他演算更灵活,表达能力更强.
|
| 关 键 词： | Web服务 服务组合 事务 补偿 表达能力 |
A dynamic compensation model for web service transactions |
| |
| ZHONG Farong,WU Jiajie.A dynamic compensation model for web service transactions[J].Journal of Zhejiang Normal University Natural Sciences,2010,33(3):248-255. |
| |
| Authors: | ZHONG Farong WU Jiajie |
| |
| Institution: | ZHONG Farong,WU Jiajie(College of Mathematics,Physics and Information Engineering,Zhejiang Normal University,Jinhua Zhejiang 321004,China) |
| |
| Abstract: | |
| |
| Keywords: | web services service composition transaction compensation expressiveness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
