基于有限状态机的工作流过程建模研究和实现
Research and Implementation of Workflow Process Modeling Based Finite State Automata
工作流过程建模是整个工作流技术中的重要内容.本文采用有限状态机作为过程建模的理论基础.选取UML中的用例图来描述业务过程中的步骤.借助用例图中的信息,过程状态图更详细的表述一个业务过程.利用XML的优点,将过程状态图转化成能够被计算机识别的XML文件形式. 本文介绍了多色集合围道矩阵模型,建立了从过程状态图到多色集合围道矩阵模型的转化机制.工作流过程模型的路径求取方法也体现在本文中.以企业假期审批为例,应用以上理论和方法定量评价了工作流执行效率.以过程运行时行为的动态语义为基础,在模型验证方面做出初步尝试.在工程实践部分,首先展示应用系统的背景信息和开发技术,其次从记录引擎状态的表和引擎处理过程的顺序两个方面加以描述最重要的工作流引擎组件,再次讲述了在系统开发中遇到几个关键问题的解决办法.采用本论文所提到的建模方法和引擎的应用系统提高了企业的办公效率.
- 作者：
- 韩兆丹
- 学位授予单位：
- 信息科学与工程学院
- 专业名称：
- 计算机系统结构学科
- 授予学位：
- 硕士
- 学位年度：
- 2008年
- 导师姓名：
- 余克清
- 关键词：
- 过程建模；过程状态图；有限状态机；围道矩阵；引擎process modeling；process-state graph；finite state automata；contour matrix；engine
-