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

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