基于独立队列的业务过程调度优化关键技术研究
|
摘要
随着以过程为中心(Process Centered)的各种先进制造/管理模式及过程意识信息系统(Process Aware Information System)的广泛应用,业务过程建模和优化已成为业界所关注的热点问题。本文结合国家自然科学基金(No.50675210)和省科技计划项目(No.2009C31036),对业务过程调度优化中的一些关键技术进行了研究。论文的主要工作如下：
第一章是绪论。阐述了论文的研究背景,介绍了业务过程调度优化相关概念,阐述了论文研究的问题、对象和假设,对业务过程调度优化的相关研究现状进行了回顾,分析总结了其存在的主要问题,并在此基础上,提出了本文研究目标、意义、主要内容及论文的体系结构。
第二章研究了面向调度执行的业务过程建模方法。基于WfMC定义的过程参考模型,分析了业务过程的调度执行模式,形式化业务过程模型,增加一些业务过程调度执行性能分析和优化所需的信息。基于结构化程序设计思想构建了确保业务过程模型具有正确良好逻辑结构的3个基本规则,并提出了相应的判断检验算法；定义了期望执行率以及给出了其计算方法。建立的面向调度执行的具有正确良好结构的结构化扩展业务过程模型为后续的业务过程调度优化研究奠定了基础。
第三章研究了业务过程任务分配优化方法。根据第二章建立的结构化扩展业务过程模型,采用独立队列模式,基于最优化生产技术和M/Hr/1排队系统理论建立了业务过程最大生产能力和执行时间的计算方法,构建了任务分配优化的数学模型,设计了相应的求解算法,获得了面向生产能力最大化和执行时间最小化的过程任务随机分配优化方案,实现了基于全局的任务分配优化,然后设计了任务的动态再分配策略以改善基于独立队列的任务分配方法所固有的延迟调度缺点,最后进行了仿真实验,验证了提出的两种方法的有效性。同时在仿真实验中,针对建立业务过程仿真模型需要较高的技巧、仿真模型质量容易受建模者主观因素影响等问题,提出了一种基于GPSS的业务过程仿真模型的自动生成方法,减少了业务过程仿真建模的工作量、提高了业务过程仿真模型的质量。
第四章进行了支撑软件系统开发和实例应用研究。首先进行了支撑软件系统的需求分析,分析设计了相应的数据库概念模型,提出了业务过程模型的相似性算法,建立了支撑软件系统的功能体系结构,设计了各功能模块实现的关键核心算法,实现了系统原型。然后,对锅炉制造企业的某型号燃煤式蒸汽锅炉的炉胆制造过程进行了实例应用研究,进一步验证本文提出的业务过程调度优化理论方法及其支撑软件系统的可操作性、可行性和有效性。
第五章对论文进行了总结,指出了论文的创新点,并对未来研究工作进行了展望。
With wide applications of Process Centered advanced manufacturing/management modes and Process Aware Information System, business process modeling and optimization has received much attention. Supported by the National Natural Science Foundation (No.50675210) and the Provincial Science and Technology Plan of Zhejiang province (No.2009C31036), this dissertation makes a systematical research on the key technologies of business process scheduling optimization. The main structure of the dissertation includes:
Chapter 1 is introduction. The research background of this dissertation is elaborated firstly. Then the related concepts of business processes scheduling optimization are introduced and the research problem, object and assumptions of this dissertation are discussed. Thirdly, the related researches on business processes scheduling optimization are reviewed and the existing problems are summarized. Finally, research target, significance, content and framework of the dissertation are described.
Business process modeling for scheduling execution is studied in chapter 2. Firstly, scheduling execution modes of business process are analyzed and the business process model is formalized which adds some necessary information for scheduling execution based on the process reference model defined by WfMC. Then the three basic rules for producing business process model with good logical structure are presented based on structured program design specification, the algorithm for verifying logical structure of business process model is developed accordingly. Finally, expected frequency is defined and its calculation method is proposed. It is necessary to build extended business process model with good logical structure for business process scheduling optimization.
Business process task assignment optimization is researched in chapter 3. According to business process model with good logical structure built in chapter 2, based on OPT and M/Hr/1 queueing theory the methods for calculating business process maximum throughput and cycle time are proposed firstly using individual queue mode. Secondly, the mathematical task assignment models and their solutions for maximizing throughput and minimizing cycle time are presented. Thirdly, dynamic re-assignment policy of tasks is developed for further improving business process performance. Finally, a set of simulation experiments are conducted, which verifies the effectiveness and advantages of the proposed methods. In the simulation experiment, the principles and methods that can be used to automatically translate extended business process model into the GPSS simulation model are proposed, which reduces the workload on the developers of business process simulation models and improves model quality.
The supportive software system is developed and a case study is conducted in chapter 4. Firstly, the requirements of supportive software system are analyzed and the database conceptual model is also designed. Then, a numerical algorithm is proposed for calculating similarity of business process model. Thirdly, the functional architecture of the supportive software system is established and the key functional module algorithms are designed accordingly. Finally, the proposed methods and their supportive software system for business process scheduling optimization are applied to manufacturing process of Coal-fired steam boiler furnace, which illustrates the practical applicability and efficiency of the proposed methods.
In chapter 5, the whole researches in this dissertation are summarized and the innovations are pointed out. Lastly the dissertation gives some suggestions for future research works.
第一章是绪论。阐述了论文的研究背景,介绍了业务过程调度优化相关概念,阐述了论文研究的问题、对象和假设,对业务过程调度优化的相关研究现状进行了回顾,分析总结了其存在的主要问题,并在此基础上,提出了本文研究目标、意义、主要内容及论文的体系结构。
第二章研究了面向调度执行的业务过程建模方法。基于WfMC定义的过程参考模型,分析了业务过程的调度执行模式,形式化业务过程模型,增加一些业务过程调度执行性能分析和优化所需的信息。基于结构化程序设计思想构建了确保业务过程模型具有正确良好逻辑结构的3个基本规则,并提出了相应的判断检验算法；定义了期望执行率以及给出了其计算方法。建立的面向调度执行的具有正确良好结构的结构化扩展业务过程模型为后续的业务过程调度优化研究奠定了基础。
第三章研究了业务过程任务分配优化方法。根据第二章建立的结构化扩展业务过程模型,采用独立队列模式,基于最优化生产技术和M/Hr/1排队系统理论建立了业务过程最大生产能力和执行时间的计算方法,构建了任务分配优化的数学模型,设计了相应的求解算法,获得了面向生产能力最大化和执行时间最小化的过程任务随机分配优化方案,实现了基于全局的任务分配优化,然后设计了任务的动态再分配策略以改善基于独立队列的任务分配方法所固有的延迟调度缺点,最后进行了仿真实验,验证了提出的两种方法的有效性。同时在仿真实验中,针对建立业务过程仿真模型需要较高的技巧、仿真模型质量容易受建模者主观因素影响等问题,提出了一种基于GPSS的业务过程仿真模型的自动生成方法,减少了业务过程仿真建模的工作量、提高了业务过程仿真模型的质量。
第四章进行了支撑软件系统开发和实例应用研究。首先进行了支撑软件系统的需求分析,分析设计了相应的数据库概念模型,提出了业务过程模型的相似性算法,建立了支撑软件系统的功能体系结构,设计了各功能模块实现的关键核心算法,实现了系统原型。然后,对锅炉制造企业的某型号燃煤式蒸汽锅炉的炉胆制造过程进行了实例应用研究,进一步验证本文提出的业务过程调度优化理论方法及其支撑软件系统的可操作性、可行性和有效性。
第五章对论文进行了总结,指出了论文的创新点,并对未来研究工作进行了展望。
With wide applications of Process Centered advanced manufacturing/management modes and Process Aware Information System, business process modeling and optimization has received much attention. Supported by the National Natural Science Foundation (No.50675210) and the Provincial Science and Technology Plan of Zhejiang province (No.2009C31036), this dissertation makes a systematical research on the key technologies of business process scheduling optimization. The main structure of the dissertation includes:
Chapter 1 is introduction. The research background of this dissertation is elaborated firstly. Then the related concepts of business processes scheduling optimization are introduced and the research problem, object and assumptions of this dissertation are discussed. Thirdly, the related researches on business processes scheduling optimization are reviewed and the existing problems are summarized. Finally, research target, significance, content and framework of the dissertation are described.
Business process modeling for scheduling execution is studied in chapter 2. Firstly, scheduling execution modes of business process are analyzed and the business process model is formalized which adds some necessary information for scheduling execution based on the process reference model defined by WfMC. Then the three basic rules for producing business process model with good logical structure are presented based on structured program design specification, the algorithm for verifying logical structure of business process model is developed accordingly. Finally, expected frequency is defined and its calculation method is proposed. It is necessary to build extended business process model with good logical structure for business process scheduling optimization.
Business process task assignment optimization is researched in chapter 3. According to business process model with good logical structure built in chapter 2, based on OPT and M/Hr/1 queueing theory the methods for calculating business process maximum throughput and cycle time are proposed firstly using individual queue mode. Secondly, the mathematical task assignment models and their solutions for maximizing throughput and minimizing cycle time are presented. Thirdly, dynamic re-assignment policy of tasks is developed for further improving business process performance. Finally, a set of simulation experiments are conducted, which verifies the effectiveness and advantages of the proposed methods. In the simulation experiment, the principles and methods that can be used to automatically translate extended business process model into the GPSS simulation model are proposed, which reduces the workload on the developers of business process simulation models and improves model quality.
The supportive software system is developed and a case study is conducted in chapter 4. Firstly, the requirements of supportive software system are analyzed and the database conceptual model is also designed. Then, a numerical algorithm is proposed for calculating similarity of business process model. Thirdly, the functional architecture of the supportive software system is established and the key functional module algorithms are designed accordingly. Finally, the proposed methods and their supportive software system for business process scheduling optimization are applied to manufacturing process of Coal-fired steam boiler furnace, which illustrates the practical applicability and efficiency of the proposed methods.
In chapter 5, the whole researches in this dissertation are summarized and the innovations are pointed out. Lastly the dissertation gives some suggestions for future research works.
引文
[1]吴澄.现代集成制造系统导论：概念、方法、技术和应用.北京：清华大学出版社,斯普林格出版社.2002.
[2]刘卫宁,郑林江,孙棣华等.射频识别在多品种小批量生产管理中的应用研究.计算机工程与应用,2010,46(27)：1-5.
[3]汤洪涛.业务过程管理实施方法理论及应用研究.浙江大学大学博士学位论文,2004.
[4]叶范波.基于本体的制造企业业务过程知识集成研究.浙江大学大学博士学位论文,2008.
[5]范玉顺.工作流管理技术基础-实现企业业务过程重组、过程管理与过程自动化的核心技术.北京：清华大学出版社,斯普林格出版社,2001.
[6]Barbara Weber, Manfred Reichert, Stefanie Rinderle-Ma. Change patterns and change support features-Enhancing flexibility in process-aware information systems. Data & Knowledge Engineering,66(2008):438-466.
[7]A. Rozinat, W.M.P. van der Aalst. Conformance checking of processes based on monitoring real behavior. Information Systems,33(2008):64-95.
[8]Matthias Weidlich, Jan Mendling. Perceived consistency between process models. Information Systems,2011, in press.
[9]袁锋.基于资源优化的制造过程建模与仿真研究.东北大学博士学位论文,2006.
[10]董志斌.企业过程建模及其支持系统的研究与应用.同济大学博士学位论文,2001.
[11]Tonia de Bruin and Gaby Doebeli. Progressing an Organizational Approach to BPM: Integrating Experience from Industry and Research. Lecture Notes in Business Information Processing,28(2009):34-49.
[12]Heejung Lee, Hyo-Won Suh. Estimating the duration of stochastic workflow for product development process. Int. J. Production Economics,111(2008):105-117.
[13]Wil van der Aalst, Kees van Hee工作流管理-模型、方法和系统.北京：清华大学出版社,2004.
[14]唐业.复杂业务过程柔性访问控制技术研究.上海交通大学博士学位论文,2006.
[15]S.-H. Rhee, N.W. Cho, S., H. Bae. Increasing the efficiency of business processes using a theory of constraints. Inf. Sys. Front,2011. DOI:10.1007/s10796-008-9145-9.
[16]Emmett Lodree Jr, Wooseung Jang, Cerry M. Klein.A new rule for minimizing the number of tardy jobs in dynamic flow shops. European Journal of Operational Research, 159(2004):258-263.
[17]Betul Yagmahan, Mehmet Mutlu Yenisey. A multi-objective ant colony system algorithm for flow shop scheduling problem. Expert Systems with Applications, 37(2010):1361-1368.
[18]Xiao-Yuan Wang, Ming-Zheng Wang, Ji-Bo Wanga. Flow shop scheduling to minimize makespan with decreasing time-dependent job processing times. Computers & Industrial Engineering,60(2011):840-844.
[19]Heidemarie Brasel, Andre Herms, Marc Morig, et al.Heuristic constructive algorithms for open shop scheduling to minimize mean flow time. European Journal of Operational Research,189(2008):856-870.
[20]Safa Khalouli, FatimaGhedjati, AbdelazizHamzaoui. A meta-heuristic approach to solve a JIT scheduling problem in hybrid flow shop. Engineering Applications of Artificial Intelligence,23(2010):765-771.
[21]Betul Yagmahan, Mehmet Mutlu Yenisey. Ant colony optimization for multi-objective flow shop scheduling problem. Computers & Industrial Engineering, 54(2008):411-420.
[22]Jagadish Jampani, Scott J. Mason. A column generation heuristic for complex job shop multiple orders per job scheduling. Computers & Industrial Engineering,58(2010): 108-118.
[23]Jie Gao, Linyan Sun, Mitsuo Gen. A hybrid genetic and variable neighborhood descent algorithm for flexible job shop scheduling problems. Computers & Operations Research,35(2008):2892-2907.
[24]M.A. Adibi, M. Zandieh, M. Amiri. Multi-objective scheduling of dynamic job shop using variable neighborhood search. Expert Systems with Applications,37(2010): 282-287.
[25]Ghasem Moslehi, Mehdi Mahnam. A Pareto approach to multi-objective flexible job-shop scheduling problem using particle swarm optimization and local search. Int. J. Production Economics,129(2011):14-22.
[26]Nai-Hsin Pan, Po-Wen Hsaio, Kuei-Yen Chen. A study of project scheduling optimization using Tabu Search algorithm. Engineering Applications of Artificial Intelligence,21(2008):1101-1112.
[27]J.J.M. Mendes, J.F. Goncalves, M.G.C. Resende.A random key based genetic algorithm for the resource constrained project scheduling problem. Computers & Operations Research,36(2009):92-109.
[28]Tyson R.Browning, Ali A.Yassine. Resource-constrained multi-project scheduling: Priority rule performance revisited. Int. J. Production Economics,126(2010):212-228.
[29]J.F. Goncalves, J.J.M. Mendes, M.G.C. Resende. A genetic algorithm for the resource constrained multi-project scheduling problem. European Journal of Operational Research,189(2008):1171-1190.
[30]Hua Ke, Baoding Liu. Fuzzy project scheduling problem and its hybrid intelligent algorithm. Applied Mathematical Modelling,34(2010):301-308.
[31]L.Y. Tseng, Y.H. Chin, S.C. Wang. The anatomy study of high performance task scheduling algorithm for Grid computing system. Computer Standards & Interfaces. 31(2009):713-722.
[32]Li Chunlin, Li Layuan. Multi-level scheduling for global optimization in grid computing. Computers and Electrical Engineering.34(2008):202-221.
[33]Hongbo Liu, Ajith Abraham, Aboul Ella Hassanien. Scheduling jobs on computational grids using a fuzzy particle swarm optimization algorithm. Future Generation Computer Systems,26(2010):1336-1343.
[34]Fatos Xhafa, Ajith Abraham. Computational models and heuristic methods for Grid scheduling problems. Future Generation Computer Systems,26(2010):608-621.
[35]B.-H. Ha, J. Bae, Y.T. Park et al. Development of process execution rules for workload balancing on agents. Data & Knowledge Engineering,56(2006):64-84.
[36]吴启迪,乔非,李莉等.基于数据的复杂制造过程调度.自动化学报,2009,35(6):807-813.
[37]刘民.基于数据的生产过程调度方法研究综述.自动化学报,2009,35(6):785-806.
[38]李燕,冯玉强.基于过程日志的业务过程自动化建模方法设计.计算机集成制造系统,2007,13(01)：24-30.
[39]K. Vergidis, C.J. Turner, A. Tiwari. Business process perspectives:Theoretical developments vs. real-world practice. Int. J. Production Economics,114(2008):91-104.
[40]Michael Hammer. Reengineering Work:Don't Automate, Obliterate. Harvard Business Review,1990,68(4):104-112.
[41]Davenport,T.H. Process Innovation:Reengineering work through information technology. Harvard Business School Press, Boston,1993.
[42]M.Hammer, J.Champy. Reengineering the Corporation:A manifesto for Business Revolution. New York, USA:Haper Business,1993.
[43]郑云翔.基于状态的业务流程描述模型及其应用研究.中山大学博士学位论文,2007.
[44]WfMC. Terminology & Glossary. Document Number WFMC-TC-1011,3.0.1999.
[45]Ruth Sara Agilar-Saven. Business Process modeling:Review and framework. Int. J. Production Economics,90(2004):129-149.
[46]甘华鸣.业务流程.北京：中国国际广播出版社,2002.
[47]朱海平.支持业务流程管理的工作流建模和分析理论研究.华中科技大学博士学位论文,2004.
[48]金海卫.管理信息系统.杭州：浙江科技出版社,2004.
[49]肖志娇.工作流资源管理技术研究.中山大学博士学位论文,2007.
[50]史美林,杨光信,何勇等.WfMS:工作流管理系统.计算机学报,1999,,22(03)：325-334.
[51]Hongchen Li, Yun Yang, T.Y. Chen. Resource constraints analysis of workflow specifications. The Journal of Systems and Software,73(2004):271-285.
[52]范玉顺,吴澄.工作流管理技术研究与产品现状及发展趋势.计算机集成制造系 统,2000,06(01)：1-7.
[53]肖志娇,常会友,衣杨.成本约束下工作流时间最小化的资源配置优化.系统仿真学报,2006,18(11):3320-3323.
[54]Ovidiu S. Noran. Business Modelling:UML vs. IDEF. http://www.cit.gu.au/-noran, 2008.
[55]Ricardo M. Bastos, Duncan Dubugras A. Ruiz. Extending UML Activity Diagram for Workflow Modeling in Production Systems. Proceedings of the 35th Hawaii International Conference on System Sciences,2002.
[56]Peter Loos, Peter Fettke. Towards an Integration of Business Process Modeling and Object-Oriented Software Development. In:The Proceedings of the Fifth International Symposium on Economic Informatics, Germany,2001.
[57]吴雪琴,闫光荣,朱心雄.基于UML的ASP业务过程建模.计算机集成制造系统,2004,第10卷专刊：5-9
[58]关晓光,刘力卓,白彦东.解释结构建模在业务流程再造中的应用研究.燕山大学学报,2003,27(1)：31-35.
[59]李锡祚,韩桂英.一种结构化的工作流过程建模方法.计算机工程,2005,31(8):63-65.
[60]Paul, R.J., Hlupic, V., Giaglis, G.M. Simulation modelling of business processes. In: the Proceedings of the UK Academy for Information Systems 1998 Conference, Lincoln,1998, p311-320.
[61]Wil M.P. van der Aalst, Arthur H.M. ter Hofstede. Verification Of Workflow Task Structures:A Petri-net-based Approach. Information Systems,2000,25(1):43-69.
[62]W.M.P. van der Aalst. Workflow verification:finding control-flow errors using Petri net-based techniques. Business Process Management, Springer-Verlag,2000:161-183.
[63]Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia. Property-Transition-Net-Based Workflow Process Modeling and Verification. Electronic Notes in Theoretical Computer Science,159(2006):155-170.
[64]李建强,范玉顺.基于Petri网化简方法的工作流模型验证.信息与控制,2001,30(6)：492-497.
[65]胡乃静,赵亮,胡金化.基于Petri网的工作流结构正确性化简验证方法.小型微型计算机系统,2007,28(06)：1076-1079.
[66]周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法.软件学报,2005,16(07)：1242-1251.
[67]张亮, 姚淑珍.基于Petri网化简技术的工作流模型正确性研究.计算机工程,2007,3(9)：60-61.
[68]M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst et.al. Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information and Software Technology,51(2009):1010-1020.
[69]WASIM SADIQ, MARIA E.ORLWSKA. Analyzing process models using graph reduction techniques.Information Systems,2000,25(2):117-134.
[70]宁可,李清,陈禹六.基于仿真方法验证IDEF3过程模型的有效性.清华大学学报(自然科学版),2005,45(4):540-544.
[71]HENRY H. B., ZHAO L. Process logic for verifying the correctness of business process models. Proceedings of the 2004 International Conference on Information Systems (2004ICIS).Washington, D.C., USA,2004, p91-100.
[72]凌鸿,周江波,胥正川.基于语义推理的工作流结构验证方法.计算机集成制造系统,2006,12(6)：893-898.
[73]Y. Choi, J. Zhao. Matrix-based abstraction and verification for E-business processes. Proceedings of the 1st Workshop on e-Business. Barcelona, Spain,2002, p154-165.
[74]Rik Eshuis, Akhil Kumar. An integer programming based approach for verification and diagnosis of workflows. Data & Knowledge Engineering,69(2010):816-835.
[75]赵磊,钱乐秋,赵文耘.基于状态空间的工作流过程验证.计算机工程与应用,2004,,40(10)：220-222.
[76]Kettinger, W.J., Teng, J.T.C. & Guha, S. Business Process Change:A Study of Methodologies, Techniques, and Tools. MIS Quarterly,3(1997):55-80.
[77]Kerim Tumay. Business Process Simulation. Proceedings of the 1995 Winter Simulation Conference,1995, p55-60.
[78]S.R. Nidumolu, N.M. Menon, B.P. Zeigler. Object-Oriented Business Process Modeling and Simulation:A discrete event system specification framework. Simulation Practice and Theory,6(1998):533-571.
[79]刘铁铭,范玉顺.基于工作流的企业过程的建模和仿真技术研究.清华大学学报(自然科学版), 2000,40(1)：107-111.
[80]乔非,严隽薇,吴启迪等.基于高级Petri网的BPR过程建模与仿真.控制与决策,2001.16(2)：181-185.
[81]董志斌,严隽薇,吴启迪等.面向对象的过程仿真技术及其支持环境.计算机集成制造系,2001,9(9)：28-31.
[82]周秋珍,张浩,严隽薇等.基于面向对象技术的构件化模型的仿真和分析评价技术.组合机床与自动化加工技术,12(1999):20-23.
[83]Charles R. Harrell, Kevin C. Field. Integrating process mapping and simulation. Proceedings of 1996 Winter Simulation Conference,1996, p1292-1296.
[84]H. de Swaan Arons, C. A. Boer. Storage and Retrieval of Discrete-event Simulation Models. Simulation Practice and Theory,2001.8(8):555-576.
[85]张晓光,曹健,张申生,付谦.面向工作流结构优化的扩展关键路径分析.上海交通大学学报,2004,38(1)：29-33.
[86]孙雪冬,徐晓飞,王刚.基于有向超图的工作流资源分配均衡优化方法.电子学报,2005,33(8)：1372-1374.
[87]孙雪冬,徐晓飞,王刚.基于资源的过程多目标折衷优化.计算机集成制造系统,2004,10(6)：667-671.
[88]孙雪冬,徐晓飞,王刚.基于有向超图的资源约束下企业过程结构优化.软件学报,2006,17(1)：59-68.
[89]谢玉凤,杨光信,史美林.基于条件化有向图的工作流过程优化.计算机学报,2001,24(7)：729-735.
[90]黄丽华,何辉,薛华成.基于规则和方法的企业过程优化.系统工程学报,2000,15(3)：209-216.
[91]Duk-ho chang, Jin Hyun Son, Myoung Ho Kim. Critical path identification in the context of a workflow. Information and Software Technology,44(2002):405-417.
[92]Jin Hyun Son, Myoung Ho Kim. Improving the performance of time-constrained workflow processing. The Journal of Systems and Softeware,58(2001):211-219.
[93]Jin Hyun Son, Jung Sun Kim, Myoung Ho Kim. Extracting the workflow critical path form the extended well-formed workflow schema. Journal of Computer and System Sciences,70(2005):86-106.
[94]Haibo Li, Dechen Zhan. Workflow Timed Critical Path Optimization. Nature and Science,2005,3(2):65-74.
[95]刘胜,范玉顺,尹朝万.基于工作流模型的资源配置优化方法.计算机集成制造系统,2005,11(9)：1272-1278.
[96]刘胜,范玉顺.资源约束下实例在工作流中停留时间分析方法.电子学报, 2005,33(10)：1867-1871.
[97]潘炎.时态工作流建模、分析和挖掘研究.中山大学博士学位论文,2007.
[98]Pinar Senkul, Ismail H. Toroslu. An architecture for workflow scheduling under resource allocation constraints. Information Systems,2005,30:399-422.
[99]段永强,曹健,张申生.工作流系统中的动态任务调度.中国机械工程,2002,13(03)：233-241.
[100]曹健,张申生,周晓俊,张晓光.面向团队工作的柔性工作流任务分配方法.计算机集成制造系统,2003,9(11)：1006-1011.
[101]S.-H. Rhee, H. Bae, Y. Kim. A Dispatching Rule for Efficient Workflow. A dispatching rule for efficient workflow. Concurrent Engineering:Research and Applications,2004,12(4):305-318
[102]S.-H. Rhee, H.Bae, Y. Choi. Enhancing the efficiency of supply chain processes through web services. Inf. Sys. Front,2007,9(1):103-118.
[103]Byung-Hyun Ha, Joonsoo Bae, Suk-Ho Kang. Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model.2nd International Conference on Business Process Management, LNCS 3080, Potsdam, Germany,2004, pl95-210.
[104]Baoyan Song, Ge Yu, Dan Wang et al. An Efficient User Task Handling Mechanism Based on Dynamic Load-Balance for Workflow Systems. Web Technologies and Applications, LNCS 2642, Xi'an, china,2003, p483-494.
[105]张坚,刘春林,谭庆平.一种分布式工作流中基于负载平衡的调度算法.计算机科学.2006,33(7)：115-117.
[106]Radu Sion. Junichi Tatemura. Dynamic Stochastic Models for Workflow Response Optimization. Proceedings of the IEEE International Conference on Web Services. Washington, USA.2005, p657-664.
[107]Qingtian Zeng, Huaiqing Wang, Dongming Xu. Hua Duan, Yanbo Han. Conflict detection and resolution for workflows constrained by resources and non-determined durations. The Journal of Systems and Software,81(2008):1491-1504.
[108]H. de Swaan Arons, C. A. Boer. Retrieving parameterized simulation models from a database, Proceedings of the Eurosim 2001 Simulation Conference. Delft, The Netherlands.2001.
[2]刘卫宁,郑林江,孙棣华等.射频识别在多品种小批量生产管理中的应用研究.计算机工程与应用,2010,46(27)：1-5.
[3]汤洪涛.业务过程管理实施方法理论及应用研究.浙江大学大学博士学位论文,2004.
[4]叶范波.基于本体的制造企业业务过程知识集成研究.浙江大学大学博士学位论文,2008.
[5]范玉顺.工作流管理技术基础-实现企业业务过程重组、过程管理与过程自动化的核心技术.北京：清华大学出版社,斯普林格出版社,2001.
[6]Barbara Weber, Manfred Reichert, Stefanie Rinderle-Ma. Change patterns and change support features-Enhancing flexibility in process-aware information systems. Data & Knowledge Engineering,66(2008):438-466.
[7]A. Rozinat, W.M.P. van der Aalst. Conformance checking of processes based on monitoring real behavior. Information Systems,33(2008):64-95.
[8]Matthias Weidlich, Jan Mendling. Perceived consistency between process models. Information Systems,2011, in press.
[9]袁锋.基于资源优化的制造过程建模与仿真研究.东北大学博士学位论文,2006.
[10]董志斌.企业过程建模及其支持系统的研究与应用.同济大学博士学位论文,2001.
[11]Tonia de Bruin and Gaby Doebeli. Progressing an Organizational Approach to BPM: Integrating Experience from Industry and Research. Lecture Notes in Business Information Processing,28(2009):34-49.
[12]Heejung Lee, Hyo-Won Suh. Estimating the duration of stochastic workflow for product development process. Int. J. Production Economics,111(2008):105-117.
[13]Wil van der Aalst, Kees van Hee工作流管理-模型、方法和系统.北京：清华大学出版社,2004.
[14]唐业.复杂业务过程柔性访问控制技术研究.上海交通大学博士学位论文,2006.
[15]S.-H. Rhee, N.W. Cho, S., H. Bae. Increasing the efficiency of business processes using a theory of constraints. Inf. Sys. Front,2011. DOI:10.1007/s10796-008-9145-9.
[16]Emmett Lodree Jr, Wooseung Jang, Cerry M. Klein.A new rule for minimizing the number of tardy jobs in dynamic flow shops. European Journal of Operational Research, 159(2004):258-263.
[17]Betul Yagmahan, Mehmet Mutlu Yenisey. A multi-objective ant colony system algorithm for flow shop scheduling problem. Expert Systems with Applications, 37(2010):1361-1368.
[18]Xiao-Yuan Wang, Ming-Zheng Wang, Ji-Bo Wanga. Flow shop scheduling to minimize makespan with decreasing time-dependent job processing times. Computers & Industrial Engineering,60(2011):840-844.
[19]Heidemarie Brasel, Andre Herms, Marc Morig, et al.Heuristic constructive algorithms for open shop scheduling to minimize mean flow time. European Journal of Operational Research,189(2008):856-870.
[20]Safa Khalouli, FatimaGhedjati, AbdelazizHamzaoui. A meta-heuristic approach to solve a JIT scheduling problem in hybrid flow shop. Engineering Applications of Artificial Intelligence,23(2010):765-771.
[21]Betul Yagmahan, Mehmet Mutlu Yenisey. Ant colony optimization for multi-objective flow shop scheduling problem. Computers & Industrial Engineering, 54(2008):411-420.
[22]Jagadish Jampani, Scott J. Mason. A column generation heuristic for complex job shop multiple orders per job scheduling. Computers & Industrial Engineering,58(2010): 108-118.
[23]Jie Gao, Linyan Sun, Mitsuo Gen. A hybrid genetic and variable neighborhood descent algorithm for flexible job shop scheduling problems. Computers & Operations Research,35(2008):2892-2907.
[24]M.A. Adibi, M. Zandieh, M. Amiri. Multi-objective scheduling of dynamic job shop using variable neighborhood search. Expert Systems with Applications,37(2010): 282-287.
[25]Ghasem Moslehi, Mehdi Mahnam. A Pareto approach to multi-objective flexible job-shop scheduling problem using particle swarm optimization and local search. Int. J. Production Economics,129(2011):14-22.
[26]Nai-Hsin Pan, Po-Wen Hsaio, Kuei-Yen Chen. A study of project scheduling optimization using Tabu Search algorithm. Engineering Applications of Artificial Intelligence,21(2008):1101-1112.
[27]J.J.M. Mendes, J.F. Goncalves, M.G.C. Resende.A random key based genetic algorithm for the resource constrained project scheduling problem. Computers & Operations Research,36(2009):92-109.
[28]Tyson R.Browning, Ali A.Yassine. Resource-constrained multi-project scheduling: Priority rule performance revisited. Int. J. Production Economics,126(2010):212-228.
[29]J.F. Goncalves, J.J.M. Mendes, M.G.C. Resende. A genetic algorithm for the resource constrained multi-project scheduling problem. European Journal of Operational Research,189(2008):1171-1190.
[30]Hua Ke, Baoding Liu. Fuzzy project scheduling problem and its hybrid intelligent algorithm. Applied Mathematical Modelling,34(2010):301-308.
[31]L.Y. Tseng, Y.H. Chin, S.C. Wang. The anatomy study of high performance task scheduling algorithm for Grid computing system. Computer Standards & Interfaces. 31(2009):713-722.
[32]Li Chunlin, Li Layuan. Multi-level scheduling for global optimization in grid computing. Computers and Electrical Engineering.34(2008):202-221.
[33]Hongbo Liu, Ajith Abraham, Aboul Ella Hassanien. Scheduling jobs on computational grids using a fuzzy particle swarm optimization algorithm. Future Generation Computer Systems,26(2010):1336-1343.
[34]Fatos Xhafa, Ajith Abraham. Computational models and heuristic methods for Grid scheduling problems. Future Generation Computer Systems,26(2010):608-621.
[35]B.-H. Ha, J. Bae, Y.T. Park et al. Development of process execution rules for workload balancing on agents. Data & Knowledge Engineering,56(2006):64-84.
[36]吴启迪,乔非,李莉等.基于数据的复杂制造过程调度.自动化学报,2009,35(6):807-813.
[37]刘民.基于数据的生产过程调度方法研究综述.自动化学报,2009,35(6):785-806.
[38]李燕,冯玉强.基于过程日志的业务过程自动化建模方法设计.计算机集成制造系统,2007,13(01)：24-30.
[39]K. Vergidis, C.J. Turner, A. Tiwari. Business process perspectives:Theoretical developments vs. real-world practice. Int. J. Production Economics,114(2008):91-104.
[40]Michael Hammer. Reengineering Work:Don't Automate, Obliterate. Harvard Business Review,1990,68(4):104-112.
[41]Davenport,T.H. Process Innovation:Reengineering work through information technology. Harvard Business School Press, Boston,1993.
[42]M.Hammer, J.Champy. Reengineering the Corporation:A manifesto for Business Revolution. New York, USA:Haper Business,1993.
[43]郑云翔.基于状态的业务流程描述模型及其应用研究.中山大学博士学位论文,2007.
[44]WfMC. Terminology & Glossary. Document Number WFMC-TC-1011,3.0.1999.
[45]Ruth Sara Agilar-Saven. Business Process modeling:Review and framework. Int. J. Production Economics,90(2004):129-149.
[46]甘华鸣.业务流程.北京：中国国际广播出版社,2002.
[47]朱海平.支持业务流程管理的工作流建模和分析理论研究.华中科技大学博士学位论文,2004.
[48]金海卫.管理信息系统.杭州：浙江科技出版社,2004.
[49]肖志娇.工作流资源管理技术研究.中山大学博士学位论文,2007.
[50]史美林,杨光信,何勇等.WfMS:工作流管理系统.计算机学报,1999,,22(03)：325-334.
[51]Hongchen Li, Yun Yang, T.Y. Chen. Resource constraints analysis of workflow specifications. The Journal of Systems and Software,73(2004):271-285.
[52]范玉顺,吴澄.工作流管理技术研究与产品现状及发展趋势.计算机集成制造系 统,2000,06(01)：1-7.
[53]肖志娇,常会友,衣杨.成本约束下工作流时间最小化的资源配置优化.系统仿真学报,2006,18(11):3320-3323.
[54]Ovidiu S. Noran. Business Modelling:UML vs. IDEF. http://www.cit.gu.au/-noran, 2008.
[55]Ricardo M. Bastos, Duncan Dubugras A. Ruiz. Extending UML Activity Diagram for Workflow Modeling in Production Systems. Proceedings of the 35th Hawaii International Conference on System Sciences,2002.
[56]Peter Loos, Peter Fettke. Towards an Integration of Business Process Modeling and Object-Oriented Software Development. In:The Proceedings of the Fifth International Symposium on Economic Informatics, Germany,2001.
[57]吴雪琴,闫光荣,朱心雄.基于UML的ASP业务过程建模.计算机集成制造系统,2004,第10卷专刊：5-9
[58]关晓光,刘力卓,白彦东.解释结构建模在业务流程再造中的应用研究.燕山大学学报,2003,27(1)：31-35.
[59]李锡祚,韩桂英.一种结构化的工作流过程建模方法.计算机工程,2005,31(8):63-65.
[60]Paul, R.J., Hlupic, V., Giaglis, G.M. Simulation modelling of business processes. In: the Proceedings of the UK Academy for Information Systems 1998 Conference, Lincoln,1998, p311-320.
[61]Wil M.P. van der Aalst, Arthur H.M. ter Hofstede. Verification Of Workflow Task Structures:A Petri-net-based Approach. Information Systems,2000,25(1):43-69.
[62]W.M.P. van der Aalst. Workflow verification:finding control-flow errors using Petri net-based techniques. Business Process Management, Springer-Verlag,2000:161-183.
[63]Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia. Property-Transition-Net-Based Workflow Process Modeling and Verification. Electronic Notes in Theoretical Computer Science,159(2006):155-170.
[64]李建强,范玉顺.基于Petri网化简方法的工作流模型验证.信息与控制,2001,30(6)：492-497.
[65]胡乃静,赵亮,胡金化.基于Petri网的工作流结构正确性化简验证方法.小型微型计算机系统,2007,28(06)：1076-1079.
[66]周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法.软件学报,2005,16(07)：1242-1251.
[67]张亮, 姚淑珍.基于Petri网化简技术的工作流模型正确性研究.计算机工程,2007,3(9)：60-61.
[68]M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst et.al. Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information and Software Technology,51(2009):1010-1020.
[69]WASIM SADIQ, MARIA E.ORLWSKA. Analyzing process models using graph reduction techniques.Information Systems,2000,25(2):117-134.
[70]宁可,李清,陈禹六.基于仿真方法验证IDEF3过程模型的有效性.清华大学学报(自然科学版),2005,45(4):540-544.
[71]HENRY H. B., ZHAO L. Process logic for verifying the correctness of business process models. Proceedings of the 2004 International Conference on Information Systems (2004ICIS).Washington, D.C., USA,2004, p91-100.
[72]凌鸿,周江波,胥正川.基于语义推理的工作流结构验证方法.计算机集成制造系统,2006,12(6)：893-898.
[73]Y. Choi, J. Zhao. Matrix-based abstraction and verification for E-business processes. Proceedings of the 1st Workshop on e-Business. Barcelona, Spain,2002, p154-165.
[74]Rik Eshuis, Akhil Kumar. An integer programming based approach for verification and diagnosis of workflows. Data & Knowledge Engineering,69(2010):816-835.
[75]赵磊,钱乐秋,赵文耘.基于状态空间的工作流过程验证.计算机工程与应用,2004,,40(10)：220-222.
[76]Kettinger, W.J., Teng, J.T.C. & Guha, S. Business Process Change:A Study of Methodologies, Techniques, and Tools. MIS Quarterly,3(1997):55-80.
[77]Kerim Tumay. Business Process Simulation. Proceedings of the 1995 Winter Simulation Conference,1995, p55-60.
[78]S.R. Nidumolu, N.M. Menon, B.P. Zeigler. Object-Oriented Business Process Modeling and Simulation:A discrete event system specification framework. Simulation Practice and Theory,6(1998):533-571.
[79]刘铁铭,范玉顺.基于工作流的企业过程的建模和仿真技术研究.清华大学学报(自然科学版), 2000,40(1)：107-111.
[80]乔非,严隽薇,吴启迪等.基于高级Petri网的BPR过程建模与仿真.控制与决策,2001.16(2)：181-185.
[81]董志斌,严隽薇,吴启迪等.面向对象的过程仿真技术及其支持环境.计算机集成制造系,2001,9(9)：28-31.
[82]周秋珍,张浩,严隽薇等.基于面向对象技术的构件化模型的仿真和分析评价技术.组合机床与自动化加工技术,12(1999):20-23.
[83]Charles R. Harrell, Kevin C. Field. Integrating process mapping and simulation. Proceedings of 1996 Winter Simulation Conference,1996, p1292-1296.
[84]H. de Swaan Arons, C. A. Boer. Storage and Retrieval of Discrete-event Simulation Models. Simulation Practice and Theory,2001.8(8):555-576.
[85]张晓光,曹健,张申生,付谦.面向工作流结构优化的扩展关键路径分析.上海交通大学学报,2004,38(1)：29-33.
[86]孙雪冬,徐晓飞,王刚.基于有向超图的工作流资源分配均衡优化方法.电子学报,2005,33(8)：1372-1374.
[87]孙雪冬,徐晓飞,王刚.基于资源的过程多目标折衷优化.计算机集成制造系统,2004,10(6)：667-671.
[88]孙雪冬,徐晓飞,王刚.基于有向超图的资源约束下企业过程结构优化.软件学报,2006,17(1)：59-68.
[89]谢玉凤,杨光信,史美林.基于条件化有向图的工作流过程优化.计算机学报,2001,24(7)：729-735.
[90]黄丽华,何辉,薛华成.基于规则和方法的企业过程优化.系统工程学报,2000,15(3)：209-216.
[91]Duk-ho chang, Jin Hyun Son, Myoung Ho Kim. Critical path identification in the context of a workflow. Information and Software Technology,44(2002):405-417.
[92]Jin Hyun Son, Myoung Ho Kim. Improving the performance of time-constrained workflow processing. The Journal of Systems and Softeware,58(2001):211-219.
[93]Jin Hyun Son, Jung Sun Kim, Myoung Ho Kim. Extracting the workflow critical path form the extended well-formed workflow schema. Journal of Computer and System Sciences,70(2005):86-106.
[94]Haibo Li, Dechen Zhan. Workflow Timed Critical Path Optimization. Nature and Science,2005,3(2):65-74.
[95]刘胜,范玉顺,尹朝万.基于工作流模型的资源配置优化方法.计算机集成制造系统,2005,11(9)：1272-1278.
[96]刘胜,范玉顺.资源约束下实例在工作流中停留时间分析方法.电子学报, 2005,33(10)：1867-1871.
[97]潘炎.时态工作流建模、分析和挖掘研究.中山大学博士学位论文,2007.
[98]Pinar Senkul, Ismail H. Toroslu. An architecture for workflow scheduling under resource allocation constraints. Information Systems,2005,30:399-422.
[99]段永强,曹健,张申生.工作流系统中的动态任务调度.中国机械工程,2002,13(03)：233-241.
[100]曹健,张申生,周晓俊,张晓光.面向团队工作的柔性工作流任务分配方法.计算机集成制造系统,2003,9(11)：1006-1011.
[101]S.-H. Rhee, H. Bae, Y. Kim. A Dispatching Rule for Efficient Workflow. A dispatching rule for efficient workflow. Concurrent Engineering:Research and Applications,2004,12(4):305-318
[102]S.-H. Rhee, H.Bae, Y. Choi. Enhancing the efficiency of supply chain processes through web services. Inf. Sys. Front,2007,9(1):103-118.
[103]Byung-Hyun Ha, Joonsoo Bae, Suk-Ho Kang. Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model.2nd International Conference on Business Process Management, LNCS 3080, Potsdam, Germany,2004, pl95-210.
[104]Baoyan Song, Ge Yu, Dan Wang et al. An Efficient User Task Handling Mechanism Based on Dynamic Load-Balance for Workflow Systems. Web Technologies and Applications, LNCS 2642, Xi'an, china,2003, p483-494.
[105]张坚,刘春林,谭庆平.一种分布式工作流中基于负载平衡的调度算法.计算机科学.2006,33(7)：115-117.
[106]Radu Sion. Junichi Tatemura. Dynamic Stochastic Models for Workflow Response Optimization. Proceedings of the IEEE International Conference on Web Services. Washington, USA.2005, p657-664.
[107]Qingtian Zeng, Huaiqing Wang, Dongming Xu. Hua Duan, Yanbo Han. Conflict detection and resolution for workflows constrained by resources and non-determined durations. The Journal of Systems and Software,81(2008):1491-1504.
[108]H. de Swaan Arons, C. A. Boer. Retrieving parameterized simulation models from a database, Proceedings of the Eurosim 2001 Simulation Conference. Delft, The Netherlands.2001.