Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (18): 30-34.DOI: 10.3778/j.issn.1002-8331.2010.18.011

• 研究、探讨 • Previous Articles     Next Articles

Research on structured composition transaction compensation of refinement qualities

WANG Yong-lin1,JIANG Ai-jun2   

  1. 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
  • Received:2010-01-08 Revised:2010-04-19 Online:2010-06-21 Published:2010-06-21
  • Contact: WANG Yong-lin

结构化组合事务补偿精化性质研究

汪永琳1,蒋爱军2   

  1. 1.湖南文理学院 计算机科学与技术学院,湖南 常德 415000
    2.中山大学 信息科学与技术学院,广州 510275
  • 通讯作者: 汪永琳

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.

Key words: Web services composition, paired Petri-net, structured composition compensation, process refinement qualities

摘要: 针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题,提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法,解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和迭代结构;然后引入组合流程精化的概念,给出了精化后相关性质的证明,最后通过具体业务实例验证该精化方法的可行性。

关键词: Web服务组合, 配对Petri网, 结构化组合补偿, 流程精化性质

CLC Number: