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

Research on structured composition transaction compensation of refinement qualities

作　　者：汪永琳[1] 蒋爱军[2] 

机构地区：[1]湖南文理学院计算机科学与技术学院,湖南常德415000 [2]中山大学信息科学与技术学院,广州510275

出　　处：《计算机工程与应用》2010年第18期30-34,37,共6页Computer Engineering and Applications

基　　金：湖南省科技计划项目资助No.2009GK3058~~

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

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]