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

摘要：

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

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

所属期刊栏目：31

分类号：TP393(计算技术、计算机技术)

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

在线出版日期：2010-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2495-2499