学位论文 > 优秀研究生学位论文题录展示
工作流动态构建技术研究及应用
作 者: 张福新
导 师: 杜玉越
学 校: 山东科技大学
专 业: 计算机软件与理论
关键词: 工作流 动态性 时序性 动态时序描述逻辑 工作流引擎
分类号: 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
|
相似论文
- 复杂仿真系统VV&A工作流技术研究,TP391.9
- 农业供应链系统网络平台的构建,S126
- 基于工作流的高校学生信息管理系统的设计与实现,TP311.52
- 螺旋式上升理论指导下的语文学科性质的分析,G633.3
- 工作流动态变更处理技术,TP311.52
- 基于域信任的自适应网格工作流调度算法,TP311.52
- 大桥综合管理信息系统的研究与设计,TP311.52
- 基于手持终端的固定资产管理系统设计与实现,TP311.52
- 一个工程物资管理系统的设计与实现,TP311.52
- 分布式动态交通信息挖掘及导航,TP311.13
- 以Artifact为中心的工作流技术研究及其应用,TP311.52
- 基于jBPM的防空指控流程管理系统研究,TP311.52
- Agent增强型工作流技术在医院办公自动化中的应用研究,TP317.1
- 基于着色Petri网的工作流引擎研究,TP311.52
- 政府信访系统的开发设计,TP311.52
- 上海师范大学人事考核系统的设计与实现,TP311.52
- 基于工作流技术的大型企业合同信息管理系统设计与实现,TP311.52
- 企业家自我效能对战略变革影响研究,F224
- 基于参与者表达式的工作流动态授权模型,TP311.52
- 基于工作流的软件缺陷管理系统的设计与实现,TP311.52
- 分散式跨组织工作流执行模型的研究,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|