面向语义约束的协同验证研究

论文摘要

随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网格工作流的验证带来困难。本文针对这个问题,研究面向语义约束的协同验证方法,使协同验证基于化简技术,提高验证效率。主要做了以下几个方面的工作：(1)研究协同验证的概念和模型。深入分析了网格工作流验证的研究现状,突破已有研究中结构验证的局限,研究协同验证的理论,建立理论模型,提出了协同验证具有二维性的观点。(2)研究协同验证过程。已有研究中的验证都不具有分布式特性,而协同验证是分布式的。考虑子模型之间存在的关系,定义了SCN的协作方式,分析了合成模型的验证方法。论证了协同验证在两个维度上交叉验证的合理性,并比较了交叉验证与“先子模型,后合成”验证方法的区别,说明了协同验证具有动态性的优势。(3)研究协同验证的化简规则。结构化简的原则是无结构冲突,不适用于协同验证。协同验证的化简规则是在语义约束一致性的原则下,逐步规约模型中无语义冲突的部分。根据网结构的不同,基于SCN提出一组子网级化简规则,证明了这组化简规则的活性保持性、有效性和完备性。以网上购物流程为例,说明了上述方法的有效性。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 引言
• 1.2 工作流技术
• 1.2.1 CSCW和工作流技术
• 1.2.2 网格工作流的概念
• 1.3 工作流的验证
• 1.3.1 网格工作流验证的研究现状
• 1.3.2 网格工作流验证中存在的问题
• 1.4 有关本论文
• 1.4.1 主要研究内容
• 1.4.2 主要贡献和创新点
• 1.4.3 论文结构安排
• 第二章 网格工作流的协同验证理论
• 2.1 CSCN的基本概念
• 2.1.1 Petri网的基本概念
• 2.1.2 语义约束网SCN
• 2.1.3 SCN的协作方式
• 2.2 协同验证的概念和模型
• 2.2.1 协同验证的概念
• 2.2.2 协同验证的过程
• 2.2.3 大规模复杂流程协同验证的特点
• 2.3 本章小结
• 第三章 网格工作流协同验证的化简规则
• 3.1 协同验证的化简规则
• 3.1.1 子网类型定义
• 3.1.2 子网级化简验证的前提
• 3.1.3 子网级化简规则描述
• 3.1.4 子网化简的活性保持性
• 3.2 化简规则有效性与完备性的证明
• 3.3 示例
• 3.4 本章小结
• 第四章 应用实例
• 4.1 实例描述
• 4.2 子模型的建立
• 4.2.1 客户流程
• 4.2.2 商家流程
• 4.2.3 邮局流程
• 4.2.4 银行流程
• 4.3 子模型的化简
• 4.4 合成模型的化简
• 4.5 本章小结
• 第五章 结论和进一步的工作
• 5.1 论文总结
• 5.2 进一步的工作
• 参考文献
• 致谢
• 附:攻读硕士期间参加的研究项目