计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (18): 30-34.DOI: 10.3778/j.issn.1002-8331.2010.18.011
汪永琳1,蒋爱军2
WANG Yong-lin1,JIANG Ai-jun2
摘要: 针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题,提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法,解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和迭代结构;然后引入组合流程精化的概念,给出了精化后相关性质的证明,最后通过具体业务实例验证该精化方法的可行性。
中图分类号: