基于UML活动图的工作流过程建模研究
摘要
UML活动图是UML的重要组成部分，适用于系统动态行为建模和描述工作流，与UML的其他图形工具不同，它本质上是非面向对象的，而且其本身并不成熟，仍在改进之中，特别是在工作流应用方面。首先，UML活动图描述的是响应内部处理的对象类的行为，UML活动图通常假定在整个计算处理的过程中没有外部事件引起的中断，也没有时间的延迟，这就限制了UML活动图对一些复杂过程描述能力。第二，现实世界业务过程涉及的对象数据十分复杂，但是UML活动图的对象语义却非常简略，用户基本上无法从UML活动图中获取关于对象数据的信息，也不能确定参与交互的对象的特征。最后，UML活动图不能支持工作流过程的分析、模拟及优化，由于UML没有严格的数学基础，对于描述的系统模型目前缺乏严密有效地验证和分析方法，更不可能根据分析结果进行模型的优化。这就需要有一种方法来弥补这些不足，UML扩展机制和Petri网正是本文使用的解决方法。
本文在研究工作流、UML活动图和Petri网的基础上提出了一种基于扩展UML活动图工作流过程建模方法，该方法融合了UML和Petri网两种技术的优点。其基本思想是利用UML的扩展机制对UML活动图进行了有关工作流特性的扩展，包括引入空活动和带触发条件的转移以及定义对象构造型以细化对象特征。为了对建立的模型进行严密的数学分析和模拟，我们又提供了从扩展的UML活动图模型到工作流网的映射机制，用工作流网的分析模拟能力来分析过程模型内部的复杂的动态关系，根据分析结果可以对模型进行有效的改进。
Although UML activity diagram is magnitude component in UML, which agrees with modeling system dynamic process and describing workflow, it is immature in itself with the characteristic of non-oriented-object and essentially different from other UML diagram, and need to be ameliorated especially when applicated in workflow, own to the following limitation:
Firstly, activity diagram describes the behaviors of object class that response the inner action, so UML activity diagram is generally on the assumption of that there is no interruption caused by outer events during the process and no time defer, which limits the ability of UML activity diagram discribing complicated process; Secondly, User cannot obtain enough information of object data, and cannot make sure the character of mutual objects because of actually complicated Object and relatively simple object expression in UML activity diagram; Lastly, owe to lacking rigorous mathematical basis and strict, effective methods of validation and analysis, UML activity diagram cannot support the simulation and optimization of workflow, let alone optimizating the model based on the result.
So this dissertation brought forward modeling method in extensive UML activity diagram, based on the research of workflow, UML activity diagram and Petri net, and with the fusion of the advantages of UML activity diagram and Petri net technique, whose main idea is to extend the workflow's relative characteristics of UML activity diagram with the extensive system of UML activity diagram. To analyze and simulate the model strictly, this dissertation supplied the reflection system from UML activity diagram model to WF-net, used the ability of the analysis and simulation to analyze the complex dynamic relations in models, and improve the model effect on the base of the results.
本文在研究工作流、UML活动图和Petri网的基础上提出了一种基于扩展UML活动图工作流过程建模方法，该方法融合了UML和Petri网两种技术的优点。其基本思想是利用UML的扩展机制对UML活动图进行了有关工作流特性的扩展，包括引入空活动和带触发条件的转移以及定义对象构造型以细化对象特征。为了对建立的模型进行严密的数学分析和模拟，我们又提供了从扩展的UML活动图模型到工作流网的映射机制，用工作流网的分析模拟能力来分析过程模型内部的复杂的动态关系，根据分析结果可以对模型进行有效的改进。
Although UML activity diagram is magnitude component in UML, which agrees with modeling system dynamic process and describing workflow, it is immature in itself with the characteristic of non-oriented-object and essentially different from other UML diagram, and need to be ameliorated especially when applicated in workflow, own to the following limitation:
Firstly, activity diagram describes the behaviors of object class that response the inner action, so UML activity diagram is generally on the assumption of that there is no interruption caused by outer events during the process and no time defer, which limits the ability of UML activity diagram discribing complicated process; Secondly, User cannot obtain enough information of object data, and cannot make sure the character of mutual objects because of actually complicated Object and relatively simple object expression in UML activity diagram; Lastly, owe to lacking rigorous mathematical basis and strict, effective methods of validation and analysis, UML activity diagram cannot support the simulation and optimization of workflow, let alone optimizating the model based on the result.
So this dissertation brought forward modeling method in extensive UML activity diagram, based on the research of workflow, UML activity diagram and Petri net, and with the fusion of the advantages of UML activity diagram and Petri net technique, whose main idea is to extend the workflow's relative characteristics of UML activity diagram with the extensive system of UML activity diagram. To analyze and simulate the model strictly, this dissertation supplied the reflection system from UML activity diagram model to WF-net, used the ability of the analysis and simulation to analyze the complex dynamic relations in models, and improve the model effect on the base of the results.
引文
[1] 范玉顺．工作流管理技术基础．第一版．清华大学出版社．工作流管理技术基础．第1版．北京：清华大学出版社／施普林格出版社，2001
[2] 罗海滨，范玉顺，吴澄．一种面向企业用户的工作流模型．计算机集成制造系统——IMS，2000，3：55～59
[3] 李寿兵，张佑生，刘立华．工作流管理技术．微型电脑应用，2000，16(6)：28～32
[4] 袁崇义．Petri网原理．第1版．北京．电子工业出版社，1998
[5] 刘润东．UML对象设计与编程[M]．第1版．北京：北京希望电子出版社，2001
[6] 秦天保．应用UML进行企业信息系统的面向对象建模[J]．交通与计算机，2000，6：38～41
[7] 张龙祥．UML与系统分析设计[M]．第1版．北京：人民邮电出版社，2001
[8] 王海洋，林宗楷，林守勋．基于扩展模型的工作流描述方法和最大时间控制问题．计算机辅助设计与图形学学报，1999，11(3)：253～255
[9] 史美林，杨光信向勇等．WfMS：工作流管理系统．计算机学报，1999，22(3)：321～334
[10] 邵维忠，梅宏．统一建模语言UML评述．计算机研究与发展，1999，36(4)：385～394
[11] 唐林燕．工作流管理系统的过程定义：活动-条件法．小型微型计算机系统，2002，23(1)：125～128
[12] 李峰，郭玉钗，林宗楷．工作流管理系统中协同建模技术研究．计算机辅助设计与图形学学报，1999，12(11)：810～812．
[13] 汪涛，黄力芹，吴耿锋．工作流管理的发展历程和趋势．计算机工程与科学，2001，23(1)：98～99
[14] 蒋慧，吴礼发，陈卫卫．UML Programming Guide设计核心技术．第1版．北京：北京希望电子出版社，2001
[15] 吴际，金茂忠．UML面向对象分析．第1版．北京；北京航空航天大学出版社，2002
[16] 赵天奇，陈禹六．基于活动的工作流建模及其动态调度研究．系统工程理
论与实践，2002，3(3)：40～46
[17] 潘启澍，姜兵．基于Petri网的工作流建模技术及应用．清华大学学报(自然科学版)，2000，40(9)：86～89
[18] The Workow Management Coalition. The Workow Reference Model. http://www.aiim.org/wfmc/standards/does/tc003v11.pdf
[19] Rik Eshuis, Roel Wieringa. A Comparison of Petri Net and Activity Diagram Variants, http://citeseer.nj.nec.com/459091.html
[20] Hruby P. Specification of Workflow Management Systems with UML. In: OOPSLA-98 Object-Oriented Workflow Management Systems Workshop (Vancouver - Canada: Oct. 18-22 1998). Proceedings. Vancouver - Canada: ACM Press 1998
[21] Hruby P. Structuring Specification of Business Systems with UML. In: OOPSLA-98 Business Object Workshop (Vancouver - Canada: Oct. 18-22 1998). Proceedings. Vancouver- Canada: ACM Press 1998
[22] J Rumbaugh, I Jacobson, G Booeh. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
[23] Wirtz G, Oiese H. Using UML and Object-Coordination-Nets for Workflow Specification. In: IEEE Intl. Conf. on Systems, Man, and Cybernetics (SMC'2000) Proceedings. Nashville-TN USA: 2000,10:8～11
[24] Marion Dumas, Arthur H M ter Hofstede. UML Activity Diagrams as a workflow Specification Language, http://citeseer.nj.nec.com/455908.html
[25] W. M. P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998,8(1):21～66
[26] W. M. P. van der Aalst, A. H. M ter Hofstede, B Kiepuszewski, A Barros. Workflow patterns. Technical Report WP 47, BETA Research Institute, 2000, http://tmitwww.tm.tue.nl/research/patterns
[27] M Fowler, K Scott. UML Distilled: A Brief Guide to the Standard Object Modeling Language (Second Edition). Addison Wesley, Readings MA, USA, 2000
[28] D Harel A Naamad. The statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 1996,5(4):293～333
[29] The Object Management Group. UML Extensions for Workflow Process Definition, ftp://ftp.omg.org/pub/docs/bom/00-12-11.pdf.
[30] Sheth A, From Contemporary Workflow Process Automation to Dynamic Work Activity. Coordination and Collaboration, 1997,18(3):17～20
[31] 窦万春，李东波，张世琪．基于图结构的工作流技术分析和研究．计算机辅助设计与图形学学报，2000，12(12)：905～910
[32] 刘铁铭，范玉顺．基于工作流的企业过程的建模和仿真技术研究．清华大学学报(自然科学版)，2000，40(1)：107～112
[33] 李红臣，史美林．Petri网在业务过程建模中的应用．小型微型计算机系统，2001，22(1)：29～33
[34] 曾春，宋宝燕，田文虎等．一个支持复杂应用的工作流模型．东北大学学报(自然科学版)，1999，20(5)：464～467
[35] 邓达强，胡健，吕昱．一种新的工作流模型及其在产品开发过程中的应用．系统仿真学报，2001，13(4)：426～429
[36] 牛军钰，赵宏，赵大哲．基于Petri网的工作流建模方法．控制与决策，1999，14(增刊)：86～90
[37] 赵卫东，黄丽华 蔡斌．工作流过程模型研究．系统工程理论方法应用，2002，11(3)：210～215
[38] 李建强，范玉顺．基于Petri网化简方法的工作流模型验证．信息与控制，2001，6(30)：492～497
[39] WFMC. Workflow Management Coalition Terminology and Glossy (WFMC-TC-1011) Technical Report, Workflow Management Coalition, Brussels, 1996
[40] Peng Jiangping, Wu Jianfeng. Compare description of workflow model. In: PROCEEDINGS OF 2002 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING. Harbin:Harbin Institute of Technology Press
[2] 罗海滨，范玉顺，吴澄．一种面向企业用户的工作流模型．计算机集成制造系统——IMS，2000，3：55～59
[3] 李寿兵，张佑生，刘立华．工作流管理技术．微型电脑应用，2000，16(6)：28～32
[4] 袁崇义．Petri网原理．第1版．北京．电子工业出版社，1998
[5] 刘润东．UML对象设计与编程[M]．第1版．北京：北京希望电子出版社，2001
[6] 秦天保．应用UML进行企业信息系统的面向对象建模[J]．交通与计算机，2000，6：38～41
[7] 张龙祥．UML与系统分析设计[M]．第1版．北京：人民邮电出版社，2001
[8] 王海洋，林宗楷，林守勋．基于扩展模型的工作流描述方法和最大时间控制问题．计算机辅助设计与图形学学报，1999，11(3)：253～255
[9] 史美林，杨光信向勇等．WfMS：工作流管理系统．计算机学报，1999，22(3)：321～334
[10] 邵维忠，梅宏．统一建模语言UML评述．计算机研究与发展，1999，36(4)：385～394
[11] 唐林燕．工作流管理系统的过程定义：活动-条件法．小型微型计算机系统，2002，23(1)：125～128
[12] 李峰，郭玉钗，林宗楷．工作流管理系统中协同建模技术研究．计算机辅助设计与图形学学报，1999，12(11)：810～812．
[13] 汪涛，黄力芹，吴耿锋．工作流管理的发展历程和趋势．计算机工程与科学，2001，23(1)：98～99
[14] 蒋慧，吴礼发，陈卫卫．UML Programming Guide设计核心技术．第1版．北京：北京希望电子出版社，2001
[15] 吴际，金茂忠．UML面向对象分析．第1版．北京；北京航空航天大学出版社，2002
[16] 赵天奇，陈禹六．基于活动的工作流建模及其动态调度研究．系统工程理
论与实践，2002，3(3)：40～46
[17] 潘启澍，姜兵．基于Petri网的工作流建模技术及应用．清华大学学报(自然科学版)，2000，40(9)：86～89
[18] The Workow Management Coalition. The Workow Reference Model. http://www.aiim.org/wfmc/standards/does/tc003v11.pdf
[19] Rik Eshuis, Roel Wieringa. A Comparison of Petri Net and Activity Diagram Variants, http://citeseer.nj.nec.com/459091.html
[20] Hruby P. Specification of Workflow Management Systems with UML. In: OOPSLA-98 Object-Oriented Workflow Management Systems Workshop (Vancouver - Canada: Oct. 18-22 1998). Proceedings. Vancouver - Canada: ACM Press 1998
[21] Hruby P. Structuring Specification of Business Systems with UML. In: OOPSLA-98 Business Object Workshop (Vancouver - Canada: Oct. 18-22 1998). Proceedings. Vancouver- Canada: ACM Press 1998
[22] J Rumbaugh, I Jacobson, G Booeh. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
[23] Wirtz G, Oiese H. Using UML and Object-Coordination-Nets for Workflow Specification. In: IEEE Intl. Conf. on Systems, Man, and Cybernetics (SMC'2000) Proceedings. Nashville-TN USA: 2000,10:8～11
[24] Marion Dumas, Arthur H M ter Hofstede. UML Activity Diagrams as a workflow Specification Language, http://citeseer.nj.nec.com/455908.html
[25] W. M. P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998,8(1):21～66
[26] W. M. P. van der Aalst, A. H. M ter Hofstede, B Kiepuszewski, A Barros. Workflow patterns. Technical Report WP 47, BETA Research Institute, 2000, http://tmitwww.tm.tue.nl/research/patterns
[27] M Fowler, K Scott. UML Distilled: A Brief Guide to the Standard Object Modeling Language (Second Edition). Addison Wesley, Readings MA, USA, 2000
[28] D Harel A Naamad. The statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 1996,5(4):293～333
[29] The Object Management Group. UML Extensions for Workflow Process Definition, ftp://ftp.omg.org/pub/docs/bom/00-12-11.pdf.
[30] Sheth A, From Contemporary Workflow Process Automation to Dynamic Work Activity. Coordination and Collaboration, 1997,18(3):17～20
[31] 窦万春，李东波，张世琪．基于图结构的工作流技术分析和研究．计算机辅助设计与图形学学报，2000，12(12)：905～910
[32] 刘铁铭，范玉顺．基于工作流的企业过程的建模和仿真技术研究．清华大学学报(自然科学版)，2000，40(1)：107～112
[33] 李红臣，史美林．Petri网在业务过程建模中的应用．小型微型计算机系统，2001，22(1)：29～33
[34] 曾春，宋宝燕，田文虎等．一个支持复杂应用的工作流模型．东北大学学报(自然科学版)，1999，20(5)：464～467
[35] 邓达强，胡健，吕昱．一种新的工作流模型及其在产品开发过程中的应用．系统仿真学报，2001，13(4)：426～429
[36] 牛军钰，赵宏，赵大哲．基于Petri网的工作流建模方法．控制与决策，1999，14(增刊)：86～90
[37] 赵卫东，黄丽华 蔡斌．工作流过程模型研究．系统工程理论方法应用，2002，11(3)：210～215
[38] 李建强，范玉顺．基于Petri网化简方法的工作流模型验证．信息与控制，2001，6(30)：492～497
[39] WFMC. Workflow Management Coalition Terminology and Glossy (WFMC-TC-1011) Technical Report, Workflow Management Coalition, Brussels, 1996
[40] Peng Jiangping, Wu Jianfeng. Compare description of workflow model. In: PROCEEDINGS OF 2002 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING. Harbin:Harbin Institute of Technology Press