首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于有向超图的工作流模型验证方法研究

摘要第1-5页
ABSTRACT第5-7页
目录第7-10页
CONTENTS第10-13页
第一章 绪论第13-20页
   ·研究背景第13-14页
   ·国内外研究现状第14-16页
   ·提出问题第16-17页
   ·研究方法第17-18页
   ·论文的组织第18-20页
第二章 工作流建模及其模型验证第20-37页
   ·工作流的起源、发展和应用第20页
   ·工作流的基本概念第20-24页
     ·工作流基本概念及其定义第20-21页
     ·工作流管理系统第21-22页
     ·工作流系统的分类第22-23页
     ·工作流管理系统的实施第23-24页
   ·工作流管理系统的参考模型第24-29页
     ·WfMC工作流管理系统参考模型的体系结构第24-26页
     ·WfMC工作流参考模型第26-28页
     ·过程定义元模型第28-29页
   ·工作流过程建模及其分析第29-31页
   ·三种主要验证方法第31-37页
     ·基于 WF-NET法第31-32页
     ·基于 Pi演算法第32-34页
     ·化简规约法第34-37页
第三章 基于有向超图的工作流模型映射规则第37-45页
   ·有向超图的相关概念第37-40页
     ·超图第37页
     ·有向超图相关定义第37-39页
     ·有向超图的特性第39-40页
   ·工作流模型向有向超图映射的映射规则第40-43页
     ·四种超节点结构第40-41页
     ·顺序路由第41页
     ·并行路由第41-42页
     ·选择路由与触发第42-43页
     ·循环路由第43页
   ·工作流有向超图建模实例第43-45页
第四章 基于有向超图的工作流模型验证方法第45-55页
   ·工作流模型的结构错误第45-47页
     ·死路第45页
     ·不可达目标第45页
     ·死锁第45-46页
     ·同步缺乏第46-47页
   ·深度优先搜索算法第47-50页
   ·一个应用深度优先搜索算法实例第50-55页
第五章 工作流模型验证工具WF Editor的实现第55-69页
   ·工作流模型验证工具WF Editor的架构第55-56页
   ·程序典型功能数据流第56-61页
     ·程序启动各对象数据流说明第56-57页
     ·新建节点功能数据流说明第57-59页
     ·移动节点功能数据流说明第59-60页
     ·删除节点和连接线功能数据流说明第60-61页
   ·WF Editor使用说明第61-69页
     ·系统要求第61页
     ·WF Editor界面与操作介绍第61-65页
     ·有缺陷的企业IT部门采购工作流程验证实例第65-69页
总结与展望第69-71页
参考文献第71-76页
攻读硕士学位期间承担的科研任务和主要成果第76-77页
致谢第77页

论文共77页,点击 下载论文
上一篇:元代医政研究
下一篇:张居正阁权研究