交互式工作流仿真系统的设计与实现

论文摘要

工作流(WorkFlow)就是工作流程的计算模型。目前市场上的很多工作流产品不支持工作流模型的仿真。国家高技术研究发展计划(863计划)——“高可信软件生产工具及集成环境”中的子课题5“面向流程管理的软件生产线”的一个研究重点是流程仿真工具。本文在此课题背景下提出了交互式工作流仿真,设计并实现了该仿真系统。本文主要包含以下几个方面的内容：1.对工作流发展状况和工作流仿真现状进行了研究。概述了目前工作流产品的特点,对国内外的工作流仿真产品进行了详细分析。详细介绍了工作流仿真实现的三种方式。2.介绍了工作流的基本概念及其模型的相关原理,其中重点介绍了基于Petri网的扩展信牌驱动的工作流模型。3.当前的工作流仿真系统只是对工作流模型进行语义层次的验证(动态仿真)。本文提出的工作流仿真系统是将工作流模型的语法层次的验证(模型静态检查)和模型语义层次的验证(模型动态仿真)无缝的结合起来,从而使整个仿真系统具有更高的可信度。用户根据具体的业务手动输入全局变量的值(相关数据)。事件生成器根据这组数据生成事件从而驱动流程向下流转。用户输入值的界面就是用户和系统交互的主界面,该界面向用户实时的反馈信息,从而达到了很好的交互效果。4.依据本文提出交互式工作流仿真系统的原理及相关技术,设计并实现了B／S结构的交互式工作流仿真系统。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 研究背景
• 1.2 国内外研究现状
• 1.2.1 工作流发展现状
• 1.2.2 工作流仿真研究现状
• 1.3 论文工作及论文结构
• 1.4 本章小结
• 第二章 工作流的相关原理
• 2.1 引言
• 2.2 工作流的基本概念
• 2.3 工作流模型相关原理
• 2.3.1 Petri网的基本概念
• 2.3.2 工作流到Petri网的映射
• 2.3.3 WPDL工作流元模型
• 2.4 扩展信牌驱动的工作流模型
• 2.4.1 模型简介
• 2.4.2 模型静态描述
• 2.4.3 模型状态描述
• 2.4.4 模型的动态执行规则
• 2.5 本章小结
• 第三章 交互式仿真系统原理及相关技术
• 3.1 引言
• 3.2 仿真系统的原理
• 3.3 仿真系统的相关技术
• 3.3.1 静态验证
• 3.3.2 动态仿真
• 3.3.3 仿真指标
• 3.4 本章小结
• 第四章 交互式仿真系统的设计与实现
• 4.1 引言
• 4.2 静态验证器的设计与实现
• 4.2.1 模型显示
• 4.2.2 模型解析
• 4.2.3 静态检查
• 4.3 动态仿真器的设计与实现
• 4.3.1 仿真引擎
• 4.3.2 仿真时钟
• 4.3.3 事件生成器
• 4.3.4 交互仿真
• 4.4 仿真系统数据库的设计
• 4.5 本章小结
• 第五章 交互式仿真系统的实施与应用
• 5.1 引言
• 5.2 系统实例应用
• 5.3 本章小结
• 总结与展望
• 参考文献
• 攻读硕士学位期间的研究成果
• 致谢