学位论文 > 优秀研究生学位论文题录展示

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

作　者: 郝颖
导　师: 周建涛
学　校: 内蒙古大学
专　业: 计算机科学与技术
关键词: 协同验证语义约束化简网格工作流 Petri网
分类号: TP393.02
类　型: 硕士论文
年　份: 2010年
下　载: 27次
引　用: 0次
阅　读: 论文下载

内容摘要

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

全文目录

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

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

内容摘要

全文目录

相似论文