| 结构化组合补偿抽象精化性质研究 |
| |
| 引用本文： | 汪永琳,刘欣.结构化组合补偿抽象精化性质研究[J].计算机工程与设计,2010,31(11). |
| |
| 作者姓名： | 汪永琳 刘欣 |
| |
| 作者单位： | 1. 湖南文理学院,计算机学院,湖南,常德,415000
2. 国防科技大学,计算机学院,湖南,长沙,410073 |
| |
| 摘 要： | 为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模.定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构.引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质.通过具体业务实例验证了该精化和抽象方法的可行性.
|
| 关 键 词： | Web服务组合 配对Petri网 结构化组合补偿 流程精化性质 流程补偿抽象 |
Research on abstract refinement properties of structured composition compensation |
| |
| WANG Yong-lin,LIU Xin.Research on abstract refinement properties of structured composition compensation[J].Computer Engineering and Design,2010,31(11). |
| |
| Authors: | WANG Yong-lin LIU Xin |
| |
| Affiliation: | WANG Yong-lin1,LIU Xin2(1.School of Computer Science , Technology,Hunan University of Arts , Science,Changde 415000,China,2.School of Computer Science,National University of Defense Technology,Changsha 410073,China) |
| |
| Abstract: | To solve the problem of loosely coupled web business process modeling,ensure the reliability and consistency of composition transaction,a structured composition compensation and refinement method based on paired Petri-net is proposed to model at abstract level in complex multi-partnership business process.Four basic structures of composition compensation structures such as sequence,parallel,alternative and iteration are defined based on paired Petri-net.Then the concept of composition process refinement and... |
| |
| Keywords: | web services composition paired Petri-net structured composition compensation process refinement properties process compensation abstract |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
