文件名称：论文研究-结构化组合事务补偿精化性质研究.pdf
文件大小：1.23MB
文件格式：PDF
更新时间：2022-09-30 15:52:42
论文研究
针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题，提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法，解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构：顺序、并行、选择和迭代结构；然后引入组合流程精化的概念，给出了精化后相关性质的证明，最后通过具体业务实例验证该精化方法的可行性。