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

• 作者: 汪永琳 蒋爱军
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Web服务组合 配对Petri网 结构化组合补偿 流程精化性质
• 年，卷（期）: 2010,（18）
• 所属期刊栏目: 研究、探讨
• 页码范围: 30-34,37
• 分类号: TP393
• 字数: 6790字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.18.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪永琳	湖南文理学院计算机科学与技术学院	17	105	5.0	10.0
2	蒋爱军	中山大学信息科学与技术学院	5	18	2.0	4.0