工作流建模技术综述及其研究趋势

摘要/Abstract

摘要： 随着工作流管理系统(业务流程管理系统)的广泛使用,工作流技术受到了越来越多的重视；与此相应,工作流建模技术的研究也受到了人们的重视。由于工作流模型在工作流技术中的核心地位,工作流建模技术得到了广泛的研究,出现了各种各样的建模技术。分析和讨论11种主流的工作流建模技术,并按照提出的分类标准对它们进行分类；对其中的某些建模技术,给出了它们核心的图形化的符号,并利用开源工具画出了它们的工作流模型例子。最后给出了工作流建模技术的研究热点和研究趋势。

关键词: 业务流程,建模技术,工作流建模,工作流模型,工作流管理系统中图法分类号TP311文献标识码A

Abstract: With the comprehensive application of Workflow Management System (Business Process Management System),workflow technologies have drawn a great deal of attentions from researchers and practitioners,meanwhile the research of workflow modeling techniques also gets a more attentions．Since the workflow model plays a core role in workflow technologies,the workflow modeling techniques have been broadly researched,and a variety of modeling techniques are emerged．In the paper,we introduced and discussed 11mainstream workflow modeling techniques,and classified them according to our classification standard which is proposed in the paper.For some of them,we presented their core graphical symbols and utilized the open source tool to draw the workflow model examples of them．Finally,we summarized some research hotspots and research trends for workflow modeling techniques.

Key words: Business process,Modeling techniques,Workflow modeling,Workflow model,Workflow management system

陈广智,潘嵘,李磊. 工作流建模技术综述及其研究趋势[J]. 计算机科学, 2014, 41(Z6): 11-17. https://doi.org/

CHEN Guang-zhi,PAN Rong and LI Lei. Survey and Research Trends of Workflow Modeling Techniques[J]. Computer Science, 2014, 41(Z6): 11-17. https://doi.org/

参考文献

[1] Cicekli N K,Cicekli I．Formalizing the specification and execu-tion of workflows using the event calculus [J]．Information Sciences,2006,176(15):2227-2267
[2] Hollingsworth D．Workflow management coalition the workflowreference model [S/OL]．http://www.wfmc.org/stan-dards/docs/tc003v11.pdf,2012-12-21
[3] Kettinger W J,Teng J T C．Business process change:A study of methodologies,techniques,and tools [J]．MIS Quarterly,1997,21(1):55-80
[4] Guo J,Foo K,Barbour L,et al．A business process explorer:re-covering and visualizing e-commerce business processes[C]∥Proceedings of the International Conference on Software Engineering (ICSE)．2008:871-874
[5] Scheer A W,Thomas O,Adam O．Process modeling using event-driven process chains[M]∥Dumas M,Aalst W M,Hofstede A H．Process-aware information systems:bridging people and software through process technology．New York,USA:John Wiley & Sons,2005:119-145
[6] Aguilar-Savén R S．Business process modeling:review andframework[J]．International Journal of Production Economics,2004,90(2):129-149
[7] Vergidis K,Tiwari A,Majeed B．Business process analysis and optimization:beyond reengineering[J]．IEEE Transactions on Systems,Man,and Cybernetics,Part C:Applications and Reviews,2008,38(1):69-82
[8] Verbeek H,Aalst W,Hofstede Ter A H M．Verifying work-flows with cancellation regions and or-joins:an approach based on relaxed soundness and invariants[J]．The Computer Journal,2007,50(3):294-314
[9] Aalst W,Hofstede Ter A H M．YAWL:yet another workflow lan-guage[J]．Information Systems,2005,30(4):245-275
[10] Russell N,Aalst W,Hofstede Ter A H M,et al．On the suitab-ility of UML 2.0activity diagrams for business process modeling[C]∥Proceedings of the 3^rdAsia-Pacific Conference on Conceptual Modeling (APCCM’06)．Darlinghurst,Austra-lia:Australian Computer Society,Inc.,2006:95-104
[11] Fernández H,Palacios-González E,García-Díaz V,et al．SB-PMN-an easier business process modeling notation for business users[J]．Computer standards & Interfaces,2010,32(1):18-28
[12] White S．Process modeling notations and workflow patterns[M]∥Fischer L．Workflow Handbook 2004．Florida,USA:Future Strategies Inc.,2004:115-126
[13] Aalst W M P,Hofstede Ter A H M,Kiepuszewski B,et al．Workflow patterns[J]．Distributed Parallel Databases,2003,14(1):5-51
[14] Aalst W．Formalization and verification of event-driven process chains[J]．Information and software technology,1999,41(10):639-650
[15] Davulcu H,Kifer M,Ramakrishnan C R,et al．Logic based mo-deling and analysis of workflows[C]∥Proceedings of the 17^thACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems．1998:25-33
[16] Bonner A J,Kifer M．An overview of transaction logic[J]．Theoretical Computer Science,1994,133(2):205-265
[17] Maher M．Concurrency and Communication in Transaction Logic[C]∥Proceedings of the 1996Joint International Conference and Symposium on Logic Programming．1996:142-156
[18] Senkul P,Kifer M,Toroslu I H．A logical framework for sche-duling workflows under resource allocation constraints[C]∥Proceedings of the International Conference on Very Large Data Bases (VLDB)．2002:694-705
[19] Even S J,Faase F J,By R A．Language features for cooperation in an object-oriented database environment[J]．International Journal of Cooperative Information Systems,1996,5(4):469-500
[20] Dayal U,Hsu M,Ladin R．Organizing long-running activitieswith triggers and transactions[C]∥Proceedings of the ACM SIGMOD International Conference on Management of Data．1990:204-214
[21] 范玉顺,吴澄．工作流管理技术研究与产品现状及发展趋势[J]．计算机集成制造系统,2000,6(1):1-7
[22] Bussler C,Jablonski S．Implementing agent coordination forworkflow management systems using active database systems[C]∥Proceedings of the 4^thInternational Workshop on Research Issues in Data Engineering and Active Database Systems．1994:53-59
[23] Aalst Van Der W,Hee V K．Workflow Management:Models,Methods,and Systems[M]．Cambridge,MA,USA:MIT Press,2004
[24] Esparza J,Leucker M,Schlund M．Learning workflow Petri-nets[C]∥Proceedings of the 31^thInternational Conference on Applications and Theory of Petrinets．2010:206-225
[25] Aalst W,Hofstede Ter A H M．Workflow patterns put into context[J]．Software System Model,2012,11(3):319-323
[26] The YAWL Foundation．YAWL-User Manual Version 2.3[R]．2012
[27] White S,Miers D．BPMN Modeling and Reference Guide:Un-derstanding and Using BPMN[M]．Lighthouse Point,FL,USA:Future Strategies,2008
[28] Chinosi M,Trombetta A．BPMN:an introduction to the standard[J]．Computer Standards & Interfaces,2012,34(1):124-134
[29] OMG．formal/2011-01-03Business Process Model and Notation (BPMN) Version 2.0[S]．Needham,MA,USA:Object Management Group,2011
[30] Salatino M．jBPM Developer Guide[M]．Birmingham,UK:Packt Publishing,2009
[31] JBoss jBPM jPDL 3.2．http://docs.jboss.com/jbpm/v3/user-guide/,2012
[32] Chinosi M．Representing business processes:conceptual modeland design methodology[D]．Varese,Italy:University of Insubria,2009
[33] OASIS．Web services business process execution language．http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html,2007
[34] WfMC．WFMC-TC-1025 Process Definition Interface--XMLProcess definition Language Version 2.2[S]．Workflow Mana-gement Coalition,2012
[35] Murata T．Petri nets:Properties,analysis and applications[J]．Proceedings of the IEEE,1989,77(4):541-580
[36] Xiong P,Fan Y,Zhou M．A petri net approach to analysis and composition of web services[J]．IEEE Transactions on Systems,Man,and Cybernetics,Part A:Systems and Humans,2010,40(2):376-387
[37] Li Z W,Hu H S,Wang A R．Design of liveness-enforcing supervisors for flexible manufacturing systems using petri nets[J]．IEEE Transactions on Systems,Man,and Cybernetics,Part C:Applications and Reviews,2007,37(4):517-526
[38] Zapletal M,van der Aalst W,Russell N,et al．An analysis of Windows workflow’s control-flow expressiveness[C]∥Proceedings of the 20097^thIEEE European Conference on Web Services．2009:200-209
[39] Peng L,Zhou B．Research on workflow patterns based on jBPM and jPDL[C]∥Proceedings of the Pacific-Asia Workshop on Computational Intelligence and Industrial Application,2008．2008:838-843
[40] Ottensooser A,Fekete A,Reijers H A,et al．Making sense of business process descriptions:an experimental comparison of graphical and textual notations[J]．Journal of Systems and Software,2012,85(3):596-606
[41] Wang J．Emergency healthcare workflow modeling and timeliness analysis[J]．IEEE Transactions on Systems,Man,and Cybernetics,Part A:Systems and Humans,2012,42(6):1323-1331
[42] Wang H,Rutle A,MacCaull W．A formal diagrammatic ap-proach to timed workflow modelling[C]∥Proceedings of the 6^thInternational Symposium on Theoretical Aspects of Software Engineering．2012:167-174
[43] Muehlen M,Indulska M．Modeling languages for businessprocesses and business rules:a representational analysis[J]．Information Systems,2010,35(4):379-390
[44] Tka M,Ghannouchi S A．Comparison of business process models as part of BPR projects[J]．Procedia Technology,2012,5:427-436
[45] Ehrig M,Koschmider A,Oberweis A．Measuring similarity be-tween semantic business process models[C]∥Proceedings of the 4^thAsia-Pacific Conference on Conceptual Modelling．2007:71-80
[46] Dongen B,Dijkman R,Mendling J．Measuring similarity between business process models[C]∥Proceedings of the 20^thInternational Conference on Advanced Information Systems Enginee-ring．2008:450-464
[47] Zhuo H H,Yang qiang,Hu D H,et al．Learning complex action models with quantifiers and logical implications[J]．Artificial Intelligence,2010,174(18):1540-1569
[48] Nau D,Ghallab M,Traverso P．Automated Planning:Theory & Practice[M]．San Francisco,CA,USA:Morgan Kaufmann Publishers Inc.,2004

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed