| 结构化组合事务补偿精化性质研究 |
| |
| 引用本文： | 汪永琳,蒋爱军.结构化组合事务补偿精化性质研究[J].计算机工程与应用,2010,46(18):30-34. |
| |
| 作者姓名： | 汪永琳 蒋爱军 |
| |
| 作者单位： | 1.湖南文理学院 计算机科学与技术学院，湖南 常德 415000 2.中山大学 信息科学与技术学院，广州 510275 |
| |
| 基金项目： | 湖南省科技计划项目资助 |
| |
| 摘 要： | 针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题，提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法，解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构：顺序、并行、选择和迭代结构；然后引入组合流程精化的概念，给出了精化后相关性质的证明，最后通过具体业务实例验证该精化方法的可行性。
|
| 关 键 词： | Web服务组合 配对Petri网 结构化组合补偿 流程精化性质 |
| 收稿时间： | 2010-1-8 |
| 修稿时间： | 2010-4-19
|
Research on structured composition transaction compensation of refinement qualities |
| |
| WANG Yong-lin,JIANG Ai-jun.Research on structured composition transaction compensation of refinement qualities[J].Computer Engineering and Applications,2010,46(18):30-34. |
| |
| 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: | To keep the atomicity and consistency when complex heterogeneous and loosely coupled Web composition transaction failed,a structured composition compensation and refinement method based on paired Petri-net is proposed.The method solves the problem of abstract modeling in complex multi-partnership business process.Firstly,four basic composition compensation structures are defined on the basis of paired Petri-net,such as sequence,parallel,alternative and iteration.Secondly,the concept of composition process refinement is introduced and the proof of some related qualities after refinement is presented.The feasibility of this method is proved by a case study. |
| |
| Keywords: | Web services composition paired Petri-net structured composition compensation process refinement qualities |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
