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

工作流动态构建技术研究及应用

作　者: 张福新
导　师: 杜玉越
学　校: 山东科技大学
专　业: 计算机软件与理论
关键词: 工作流动态性时序性动态时序描述逻辑工作流引擎
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 54次
引　用: 0次
阅　读: 论文下载

内容摘要

工作流管理系统是实现业务过程的部分或全部在计算机应用环境中自动化的重要技术,工作流管理系统的广泛应用,提高了企业生产水平和工作效率。然而,新的技术、新的法规和新的市场需求都可能导致工作流结构化的变更,业务流程更多的表现为一种动态的流程。为了提高工作流管理系统的柔性,本文通过形式化的本体语言描述工作流,应用领域知识形式化建模的方法对工作流动态构建。该方法从语义上支持了工作流管理系统的动态性,使得工作流的动态构建具有自主性和智能性。因此,本文的研究工作具有重要的理论价值和实际意义。目前,国内外对工作流动态构建的方法主要分为三大类：建立工作流元模型、模型演进和基于知识驱动的方法。它们为支持动态性的工作流管理系统的研发起到了重要的促进作用。本文综合分析了它们的优缺点,并在这些方法的启发下,通过分析现有本体语言的语义以及表达能力,提出并研究了一种能同时描述动作和时序特性的知识表示语言—动态时序描述逻辑。论文运用该语言构建领域流程模型并对工作流进行描述,从而从语义上支持了对具有时序特性的工作流的动态构建。本文的主要工作表现在如下几个方面：(1)针对当前本体语言缺乏对时序特性的描述,无法提供对动态行为的推导,提出了一种动态时序描述逻辑；研究了动态时序描述逻辑中的基本推理问题—公式可满足性,并给出了动态时序描述逻辑中动作推理问题的判定方法。(2)基于动态时序描述逻辑对工作流进行描述,将工作流中活动的匹配问题归结为动态时序描述逻辑中的公式的可满足性判定问题。给出了一种工作流本体的构建方法；设计了支持动态建模的工作流系统的体系结构,并对工作流的核心部件—工作流引擎,进行了详细的设计。(3)以人寿保险业务理赔立案为背景开发了原型系统,对本文提出的动态构建方法进行了验证。

全文目录

摘要  5-6
AbstraCt  6-9
1 引言  9-15
  1.1 研究背景和意义  9-10
  1.2 国内外研究现状  10-13
  1.3 主要工作  13-14
  1.4 本文组织结构  14-15
2 基本知识  15-21
  2.1 工作流管理系统  15-18
  2.2 描述逻辑  18-21
3 动态时序描述逻辑及其动作推理  21-37
  3.1 动态时序描述逻辑语法及语义  21-24
  3.2 公式满足性问题的Tableau扩展规则  24-30
  3.3 动态时序描述逻辑Tableau判定算法的性质  30-35
  3.4 动态时序描述逻辑中动作的推理  35-37
4 工作流动态构建技术  37-47
  4.1 工作流的时序性  37
  4.2 工作流本体的构建  37-40
  4.3 工作流引擎的设计  40-42
  4.4 支持动态建模的工作流体系架构  42-45
  4.5 流程的动态生成算法  45-47
5 平台原型系统实现  47-54
  5.1 平台原型系统介绍  47
  5.2 业务背景及其实现  47-54
6 总结与展望  54-55
  6.1 本文总结  54
  6.2 进一步研究的工作  54-55
参考文献  55-58
读研期间取得的学术成果  58
读研期间参与科研项目情况  58-59
致谢  59

工作流动态构建技术研究及应用

内容摘要

全文目录

相似论文