| 组合Web服务事务的补偿语义研究 |
| |
| 引用本文： | 汪永琳,蒋爱军.组合Web服务事务的补偿语义研究[J].计算机工程与应用,2010,46(14):39-41. |
| |
| 作者姓名： | 汪永琳 蒋爱军 |
| |
| 作者单位： | 1. 湖南文理学院,计算机科学与技术学院,湖南,常德,415000
2. 中山大学,信息科学与技术学院,广州,510275 |
| |
| 基金项目： | 湖南省科技计划项目资助No.2009GK3058~~ |
| |
| 摘 要： | Web服务组合需要可靠的事务处理机制，而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法，该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义，分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。
|
| 关 键 词： | 配对Petri网 事务Web服务组合 聚合补偿 |
| 收稿时间： | 2009-11-30 |
| 修稿时间： | 2010-1-25
|
Research on compensation semantic of composition Web services transaction |
| |
| WANG Yong-lin,JIANG Ai-jun.Research on compensation semantic of composition Web services transaction[J].Computer Engineering and Applications,2010,46(14):39-41. |
| |
| Authors: | WANG Yong-lin JIANG Ai-jun |
| |
| Affiliation: | 1.School of Computer Science and Technology,Hunan University of Arts and Science,Changde,Hunan 415000,China 2.School of Information Science and Technology,Sun Yat-sen University,Guangzhou 510275,China |
| |
| Abstract: | Web services composition requires reliable transaction processing mechanism,and the traditional ACID mechanism is not reliable enough to satisfy with composition transaction processing.So,a structured compensation method based on paired Petri-net is presented,which is based on paired Petri-net describe basic aggregate structure of Web services composition and its compensation behavior.With the help of dynamic execution deductive technique of paired Petri-net,analyzing the executive semantic of aggregate str... |
| |
| Keywords: | paired Petri-net Web services composition structured composition compensation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
