-
题名结构化组合补偿抽象精化性质研究
- 1
-
-
作者
汪永琳
刘欣
-
机构
湖南文理学院计算机学院
国防科技大学计算机学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第11期2495-2499,共5页
-
基金
湖南省科技计划基金项目(2009GK3058)
-
文摘
为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模。定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构。引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质。通过具体业务实例验证了该精化和抽象方法的可行性。
-
关键词
WEB服务组合
配对Petri网
结构化组合补偿
流程精化性质
流程补偿抽象
-
Keywords
web services composition
paired Petri-net
structured composition compensation
process refinement properties
process compensation abstract
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名结构化组合事务补偿精化性质研究
- 2
-
-
作者
汪永琳
蒋爱军
-
机构
湖南文理学院计算机科学与技术学院
中山大学信息科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第18期30-34,37,共6页
-
基金
湖南省科技计划项目资助No.2009GK3058~~
-
文摘
针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题,提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法,解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和迭代结构;然后引入组合流程精化的概念,给出了精化后相关性质的证明,最后通过具体业务实例验证该精化方法的可行性。
-
关键词
WEB服务组合
配对Petri网
结构化组合补偿
流程精化性质
-
Keywords
Web services composition
paired Petri-net
structured composition compensation
process refinement qualities
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
