基于同步网的工作流模型验证技术研究
| 摘要 | 第1-3页 |
| Abstract | 第3-4页 |
| 目录 | 第4-6页 |
| 第1章 引言 | 第6-9页 |
| ·工作流技术的发展背景和研究意义 | 第6-7页 |
| ·论文的研究目标与特色 | 第7-8页 |
| ·论文作者的主要科研工作与论文组织 | 第8-9页 |
| 第2章 工作流的基本概念 | 第9-23页 |
| ·基本概念 | 第9-21页 |
| ·工作流 | 第9-10页 |
| ·工作流管理系统 | 第10-15页 |
| ·工作流模型 | 第15-18页 |
| ·工作流模式 | 第18-20页 |
| ·工作流定义语言 | 第20-21页 |
| ·工作流研究方向 | 第21页 |
| ·工作流模型验证方法现状 | 第21-23页 |
| 第3章 改进的工作流过程元模型和定义语言 | 第23-43页 |
| ·工作流过程元模型 | 第23-35页 |
| ·组织机构规约 | 第25-30页 |
| ·数据规约 | 第30-32页 |
| ·功能规约 | 第32-35页 |
| ·工作流过程定义语言 | 第35-40页 |
| ·青鸟工作流模型JBDelta | 第40-43页 |
| 第4章 同步网原理 | 第43-48页 |
| ·任务间的顺序关系 | 第44页 |
| ·同步器(Synchronizer) | 第44-45页 |
| ·同步网(Syn_net) | 第45页 |
| ·工作流逻辑 | 第45页 |
| ·化简规则 | 第45-48页 |
| 第5章 验证工具JBVerifier的设计与实现 | 第48-54页 |
| ·总体设计 | 第48-49页 |
| ·化简规则的PNML描述 | 第49-51页 |
| ·主要数据对象和类图 | 第51-52页 |
| ·模型验证算法实现 | 第52-54页 |
| 第6章 结束语 | 第54-56页 |
| ·论文工作总结 | 第54页 |
| ·进一步的工作 | 第54-56页 |
| 参考文献 | 第56-57页 |
