基于UML状态机-PNs集成的工作流建模与分析

摘要

本文在完成山东省科技厅项目“基于WEB的活塞PDM系统”的研发过程中，提出了一种基于UML状态机-PNs集成的工作流建模与分析方法。其中，对UML状态机做了重新定义，用扩展的UML活动图来描述状态机，并对Petri网进行了相应的扩展。该方法综合了UML和Petri网的优点，通过扩展的UML活动图对流程进行完整、清晰的描述并且支持过程定义，利用Petri网的数学分析手段对现存的模型验证方法进行了改进，总结出了一种更为有效的模型结构正确性验证方法，并在此基础上，提出了一种模型结构的优化方法。

目录

文摘

英文文摘

第一章绪论

1.1工作流概述

1.2工作流模型

1.3工作流模型的发展

1.4本文研究的原因

1.5本文研究的目的

第二章工作流过程建模方法

2.1 UML状态机

2.2 UML状态机的活动图表示

2.3 Petri网(Petri Nets)

2.4结论

第三章基于UML状态机-PNs集成的工作流过程建模

3.1 UML状态机的多维活动图表示

3.2 Petri网的扩展

3.3多维UML活动图表示的状态机与多维工作流网的映射

第四章基于多维工作流网的工作流模型正确性验证与分析

4.1工作流模型的结构正确性分析

4.2基于多维工作流网的工作流模型的结构正确性验证

4.3工作流模型的优化

4.4基于多维工作流网的工作流模型到多维活动图的转化

第五章工作流过程建模的应用

5.1工作流过程模型的作用

5.2工作流过程建模的应用

5.3小结

结束语

[参考文献]

[在校期间的研究成果及发表的学术论文]

[致谢]