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

业务流程中Artifact的有效性问题研究

摘要第1-6页
Abstract第6-7页
目录第7-9页
第1章 绪论第9-14页
   ·研究背景第9-10页
   ·研究现状第10-11页
   ·研究内容第11-12页
   ·研究意义第12-13页
   ·本文组织结构第13-14页
第2章 基础知识概述第14-23页
   ·引言第14页
   ·Artifact 的基本概念及重要特性第14-16页
     ·Artifact 的基本概念第14-15页
     ·Artifact 的重要特性第15-16页
   ·Artifact 相关的形式化定义第16-17页
   ·Artifact 的逻辑操作模型 ArtiFlow第17-19页
   ·面向 Artifact 的业务流程管理系统的基本结构第19-20页
   ·时间 Petri 网理论及其性质第20-22页
     ·时间 Petri 网的基本概念第21页
     ·Petri 网的重要性质第21-22页
   ·本章小结第22-23页
第3章 给定时刻 Artifact 的有效性验证第23-34页
   ·引言第23页
   ·ArtiFlow 中的服务第23-26页
     ·服务对 Artifact 的影响第23-24页
     ·ArtiFlow 中服务的定义第24-25页
     ·服务之间的关系第25-26页
   ·Artifact 的相关子图第26-29页
   ·业务规则和业务要求第29-30页
     ·业务规则第29页
     ·业务要求第29-30页
   ·Artifact 的快照第30-31页
   ·给定时刻 Artifact 的有效性验证算法第31-33页
   ·本章小结第33-34页
第4章 具有完整生命周期 Artifact 的有效性验证第34-46页
   ·引言第34页
   ·时间 Petri 网的分析第34-41页
     ·ArtiFlow 中的模式结构第35-36页
     ·时间 Petri 网的转化第36-38页
     ·业务要求可达树的构造第38-41页
   ·Artifact 的快照推断树第41-43页
   ·Artifact 的有效性及其验证算法第43-45页
   ·本章小结第45-46页
第5章 算法的实验验证第46-56页
   ·引言第46页
   ·实验环境第46-47页
   ·实验准备第47-50页
     ·实验案例第47-49页
     ·Web 服务的设计与构建第49-50页
   ·实验验证第50-55页
     ·系统的基本原理第51页
     ·流程检测器的功能测试第51-55页
   ·本章小结第55-56页
结论第56-58页
参考文献第58-62页
攻读硕士学位期间承担的科研任务与主要成果第62-63页
致谢第63-64页
作者简介第64页

论文共64页,点击 下载论文
上一篇:钢纤维沥青混凝土路用性能研究
下一篇:高性能乳化沥青厂拌冷再生混合料设计方法研究