结构化组合补偿抽象精化性质研究

为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模。定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构。引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质。通过具体业务实例验证了该精化和抽象方法的可行性。