面向企业应用的工作流精简建模研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-14页 |
| 第1章 绪论 | 第14-31页 |
| ·引言 | 第14-15页 |
| ·研究背景和意义 | 第15-17页 |
| ·工作流模型的研究历史与现状 | 第17-29页 |
| ·工作流管理联盟规范 | 第17-18页 |
| ·工作流元模型和互操作性标准 | 第18-20页 |
| ·企业过程建模与工作流模型 | 第20-22页 |
| ·工作流模型分析技术 | 第22-26页 |
| ·组织模型 | 第26-29页 |
| ·论文的研究内容及文章结构安排 | 第29-31页 |
| 第2章 工作流元模型和模型变换机制 | 第31-45页 |
| ·引言 | 第31页 |
| ·工作流模型的层次结构 | 第31-32页 |
| ·工作流元模型分析 | 第32-34页 |
| ·可扩展的工作流元模型核心集 | 第34-38页 |
| ·工作流模型的驱动数据 | 第34-36页 |
| ·元模型的 XML模式 | 第36-37页 |
| ·元模型的扩展机制 | 第37-38页 |
| ·扩展元模型可相互变换的条件 | 第38-40页 |
| ·工作流模型变换 | 第40-44页 |
| ·工作流模型转换框架 | 第40-41页 |
| ·变换定义语言 | 第41-44页 |
| ·小结 | 第44-45页 |
| 第3章 面向企业用户的工作流过程建模方法 | 第45-57页 |
| ·引言 | 第45页 |
| ·图形化的业务过程建模语言 | 第45-50页 |
| ·工作流管理联盟的图形化建模语言 | 第45-48页 |
| ·基于有向网络图的工作流图模型 | 第48-50页 |
| ·工作流网 | 第50-51页 |
| ·从工作流图到工作流网的模型映射算法 | 第51-53页 |
| ·工作流网的模块化 | 第53-55页 |
| ·小结 | 第55-57页 |
| 第4章 工作流模型验证与证实 | 第57-75页 |
| ·引言 | 第57页 |
| ·工作流模型合理性 | 第57-58页 |
| ·基于系统行为的模型分析方法 | 第58-65页 |
| ·工作流网的行为序列与工作流模型定性分析 | 第58-60页 |
| ·工作流模型的行为覆盖图 | 第60-62页 |
| ·基于行为覆盖图的工作流模型验证 | 第62-64页 |
| ·基于行为覆盖图的模型证实 | 第64-65页 |
| ·基于化简的工作流模型分析方法 | 第65-73页 |
| ·工作流网中的变迁不变量子网 | 第66-67页 |
| ·变迁不变量子网结构合理性分析 | 第67-69页 |
| ·工作流网中循环结构的正确性判定与化简算法 | 第69-73页 |
| ·两种模型分析方法的时间复杂度分析 | 第73-74页 |
| ·基于系统行为的模型分析方法时间复杂度 | 第73页 |
| ·基于化简的模型分析方法时间复杂度 | 第73-74页 |
| ·小结 | 第74-75页 |
| 第5章 工作流模型性能分析 | 第75-86页 |
| ·引言 | 第75页 |
| ·工作流性能分析网 | 第75-77页 |
| ·变迁平均触发次数的仿真算法 | 第77-80页 |
| ·仿真算法 | 第77-78页 |
| ·关键参数确定与仿真结果分析 | 第78-80页 |
| ·工作流模型平均完成时间 | 第80-83页 |
| ·一个工作流模型的性能分析实例 | 第83-85页 |
| ·小结 | 第85-86页 |
| 第6章 面向工作流应用的组织模型 | 第86-99页 |
| ·引言 | 第86-87页 |
| ·企业组织变化和过程模型的参与者引用 | 第87-90页 |
| ·企业组织变化 | 第87-89页 |
| ·过程模型中参与者定义 | 第89-90页 |
| ·基于知识的组织元模型与参与者定义 | 第90-95页 |
| ·基于知识的组织元模型 | 第91-93页 |
| ·基于知识的参与者定义 | 第93-95页 |
| ·支持组织变化的动态关系 | 第95-96页 |
| ·复杂资源需求表示与资源查询 | 第96-98页 |
| ·过程模型中复杂资源需求的 XML表达模式 | 第96-97页 |
| ·资源的查询与获取 | 第97-98页 |
| ·小结 | 第98-99页 |
| 第7章 模糊环境中工作流任务分配模型 | 第99-112页 |
| ·引言 | 第99-100页 |
| ·影响任务分配的因素及其语意模糊性 | 第100-101页 |
| ·基于模糊理论的任务属性与参与者状态描述 | 第101-103页 |
| ·模糊理论与三角模糊数 | 第101-102页 |
| ·各语言变量的三角模糊数 | 第102-103页 |
| ·任务分配模型 | 第103-107页 |
| ·多级任务分配模型 | 第103-104页 |
| ·各影响因素的计算 | 第104-106页 |
| ·各影响因素的权重计算 | 第106-107页 |
| ·算法结果分析 | 第107-111页 |
| ·小结 | 第111-112页 |
| 第8章 分布式工作流中间件FLEXFLOW | 第112-121页 |
| ·工作流中间件功能层次设计 | 第112-113页 |
| ·FLEXFLOW系统设计 | 第113-117页 |
| ·FlexFlow的体系结构 | 第113-115页 |
| ·流程实例的执行过程 | 第115-117页 |
| ·FLEXFLOW的可扩展性 | 第117-118页 |
| ·基于Petri网的引擎调度机制 | 第118-120页 |
| ·小结 | 第120-121页 |
| 第9章 总结与展望 | 第121-124页 |
| ·论文的研究内容与主要结果 | 第121-122页 |
| ·论文的局限性 | 第122-123页 |
| ·进一步的研究工作 | 第123-124页 |
| 参考文献 | 第124-132页 |
| 攻读博士学位期间参与的研究项目与主要成果 | 第132-133页 |
| 参与的科研项目 | 第132页 |
| 已发表的论文 | 第132-133页 |
| 致谢 | 第133页 |
