面向企业应用的工作流精简建模研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
工作流技术在实现企业过程重组、面向过程的应用等方面显示了强大的功能和广阔的应用前景。目前相对工作流产品的实现技术和发展速度而言,工作流建模理论的研究相对滞后,在建模方法上还没形成比较系统化的理论体系。许多建模方法还停留在实验室阶段,商品化的工作流产品只提供有限的建模支持,企业用户作为工作流管理系统真正的终端操作者,往往不具备特殊的建模技能,迫切需要一套合适的工作流建模与分析方法。针对工作流技术研究现状,结合企业应用需求,本文建立了一个包含工作流元模型、图形化工作流过程建模语言、工作流模型分析的形式化方法、组织建模、活动参与者分配等用来指导企业用户进行工作流建模的理论体系。
     针对工作流模型形式化表示和分析方法的缺乏,本文首先提出了一个具有良好可扩展性的工作流元模型核心集及相应的模型变换方法,以解决工作流模型的共享和不同工作流管理系统间的互操作。其次,给出工作流建模和模型定性分析的一整套方法,包括具有良好用户交互能力的图形化建模方法,图形化模型到形式化模型的映射算法,模型模块化方法,基于行为覆盖图和基于化简的工作流过程模型合理性验证和功能证实的形式化方法等。本文随后提出了基于蚁群寻食机制的工作流模型性能仿真分析方法,为企业流程重组提供科学的依据。
     组织模型的频繁变化会导致过程模型不可使用,针对这个模型集成问题,本文归纳了企业组织各层次的模型变化后,提出了一个基于知识的组织元模型和参与者定义方法,讨论了基于知识的参与者匹配策略和组织模型实体间关系的正则表达式描述方法,从而保证当各个层次的企业组织发生变化时,过程模型不需要修改就可重用。本文给出了资源需求定义的XML模式,对工作流过程模型中的复杂资源需求定义提供全面支持。
     用户型任务的自动优化分配是提高工作流管理系统运行效率的关键,也是工作流管理系统的重要功能。本文在详细分析了影响用户型任务分配的各种因素及其语意模糊性后,提出了一个可组合的任务分配多级模型以及相应的任务分配方法,详细讨论了具有自适应能力的影响因素权重设计方法。实验对比证实了多级模型在各种资源配置环境下都具有非常好的综合性能。
     工作流管理系统面对的用户需求差异比较大,在一个WfMS中实现所有的需求是不现实的。基于此,本文给出了一个基于CORBA的分布式工作流中间件FlexFlow的设计,并详细分析了FlexFlow中基于Petri网的引擎调度机制的实现。
The workflow technology shows strong function and broad application prospect in the field of realizing the business process reengineering and process orientation application. At present, there is still no systematic theoretical system in the aspect of the modeling measure in existence and the research on the workflow modeling theory is backward compared with achieving technology and developing speed of the workflow product. Meanwhile a lot of modeling measure is still in the process of the experiment and the merchandised workflow product only provides limited modeling support, which results in an urgent need of a set of suitable workflow modeling and analysis measure, because the enterprise users, as the real end operators of the workflow management system, are not fully equipped with the special modeling skills. Aiming at this current research situation of the workflow technology together with the requirement of the enterprise users, this paper tries to establish a set of theoretical system including workflow meta model, the graphic workflow process modeling language, the formalization method of workflow model analysis, organizational model, the assignment of the activity participants and so on to instruct the workflow modeling.Aiming at the lack of the workflow model formalization definition and analysis measure, this paper puts forward a workflow meta model core group and the corresponding model transfer measure which has a good expansibility to solve the problem of the share of the workflow model and the interoperation among different workflow management systems. Next, the paper also brings forward a set of method to workflow modeling and the model qualitative analysis, which includes the graphic modeling measure that has user-friendly interaction, the mapping arithmetic from the graphic model to formalization model, model modularization measure, and two formalization methods based on the behavioral coverability graph and the reduction to verify the soundness and prove the function of workflow process model etc. This paper also points out a simulation method of workflow model performance analysis based on the mechanism of ant colony found food to provide scientific foundation for the business process reengineering of the enterprise.Because the frequent change of the organization model will lead to the uselessness of the workflow process model, to this model integration problem, this paper puts forward an organization meta model based on the knowledge and the definition measure of the participants, and discusses the matching policy of the participants based on knowledge and the entities relationships description in organization model based on regular expression to ensure the process model need no or little modification when the enterprise organization of different levels changes. This paper also presents the XML schema of resources requirement definition, and provides the full-length support to the complicated resource requirement in the workflow process model.The automatic optimize assignment of user task is the key of improving the efficiency of the workflow management, and the important function of the workflow management system as well. After analyzing in detail all the influencing factors and their linguistic fuzzy of user task assignment, this paper puts forward a multilevel model of the task assignment that can be combined and
    the corresponding task assignment measure.After then, the design method of the weight with self-adapt ability of the affect factors also are discussed in the paper. The comparison in the experiment proves that multilevel model has very good comprehensive performance under the circumstances of the different resources configure.It is unrealistic to achieve all the requirements because there are comparatively big differences among the requirements of the users faced by the workflow management system. On the basis of this, this paper points out the design of a distributed workflow middleware FlexFlow base on CORBA, and analyses in detail the realization of the engine scheduling mechanism based on the Petri net in the FlexFlow.
引文
[1] W. M. P. van der Aalst .Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow. Information. Systems. Vol.24(8): PP639--671, 1999.
    [2] Workflow Management Coalition.The workflow reference model. WfMC TC00-1003, 1994
    [3] Geograkopoulos D, Hornick M, Sheth A, An overview of workflow management:from process modeling to workflow automation infrastructure[J]. Distributed and Parallel Database. V3(2): 119~153. 1995.
    [4] M. Voorhoeve. Compositional modeling and verification of workflow processes. Business Process Management, Models, Techniques, and Empirical Studies. LCNS. Vol. 1806. 2000.
    [5] Shazia W. Sadiq, Wasim Sadiq, Maria E. Orlowska, Pockets of Flexibility in Workflow Specification, Proceedings of the 20th International Conference on Conceptual Modeling November. 513~526, 2001.
    [6] Ellis C, Keddara K.ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems. Computer syported cooperative work(CS CW). Vol. 9(3/4): 293-333. 2000.
    [7] Nina Edelweiss,Mariano Nicoao. Workflow Modeling:Exception and Failure Handling. Representation International Conference of The Chilean Computer Science Society (SCCC'98), Antofagasta, Chile. 1998.
    [8] Kwang-Hoon Kim, Clarence A. Ellis. Workflow performance and scalability analysis using the layered queuing modeling methodology.Proceedings of the international ACM SIGGROUP Conference on Supporting Group Work. 2001. PP135~143.
    [9] Yamaguchi Performance evaluation on change time of dynamic workflow changes. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2000.
    [10] Yoo-Hoo Bee, Seok-Chan Jeong, Youngho Seo et al. Integration of workflow management and simulation[J]. Computers & Industrial Engineering, 1999, 37: PP203-206.
    [11] M. Weske, T. Goesmann, R. Holten, R. Striemer .A reference model for workflow application development processes. In: Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration .San Francisco, California, February 1999.
    [12] Edward C. Cheng. An Object-Oriented Organizational Model to Support Dynamic Role-based Access Control in Electronic Commerce Applications.
    [13] Michael zur Muehlen. Resource modeling in workflow application. http://citeseer.ist.psu.edu/zurmuehlen99resource.html
    [14] Michael zur Muhlen. Evaluation of workflow management system using meta models. In: Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences. Vol. 5. 1999.
    [15] 范玉顺.工作流管理技术基础.北京:清华大学出版社.2001.
    [16] Marc-Thomas Schmidt.The Evolution of Workflow Standards. IEEE Concurrency. Vol. 7(3). 1999.
    [17] Workflow Management Coalition. Workflow Process Definition Interface-XML Process Definition Language Version. 1.0. WfMC-TC1025. 2002. 10.
    [18] Casai F, P. Grefen and B. Pernici et aI. WIDE: Workflow model and architecture, CTIT technical report 96-19[R]. University of Twente. 1996 http://citeseer.ist.psu.edu/casati96wide.html
    [19] Workflow Management Coalition. Terminology & Glossary.WfMC-TC1011. 1999. 6.
    [20] Workflow Management Coalition. Workflow Client Application(Inerface 2) Naming Conventions. Ver. 1. 4. WfMC-TC1013. 1997. 12
    [21] Workflow Management Coalition. Interface 1: Process Definition Interchange Q&A and Example. WfMC-TC1016-X. 1999.
    [22] Workflow Management Coalition. Interface 1:Process Definition Interface 1:Process Definition Interchange Process Model. WfMC-TC1016-M.1999.
    [23] Workflow Management Coalition. Workflow management application programming interface (interface 2&3) Specification. WfMC-TC-1009. Version2.0.1998.
    [24] Assaf Arkin, Intalio.Business Process Modeling Language.2002. http://xml. coverpages.org/BPML-2002.pdf
    [25] Jintae Lee, Gregg Yost and the PIF Working Group.The PIF Process Interchange Format and framework. Knowledge Engineering Review, 13(1):91--120, February 1998.
    [26] Craig Schlenoff, Michael Gruninger, Florence Tissot. The processs specification language(PSL): Overview and version 1.0 Specification. The internal report of National Institute of Standards and Technology (NIST).1999.
    [27] Workflow Management Coalition Workflow standard-interoperability Abstract Specification.Version 1.0. WfMC-TC-1012.1996.1.
    [28] Object Management Group.Workflow Management Facility Specification, V1.2. 2000. http://www.omg.org/docs/formal/00-05-02.pdf.
    [29] S. M. Wheater, S. K. Shrivastava, and F. Ranno, A CORBAR Compliant transactional workflow system for internet applications, Proceedings IFIP International Conference.Distributed systems Platforms and Open Distributed Processing,Springer-Verlag,Lodon, 1998, P3—18.
    [30] Keith Swenson .Simple Workflow Access Protocol (SWAP).Internet-Draft submitted to WfMC, 7 August.1998.
    [31] Workflow Management Coalition. Internet e-mail MIME Binding. WFMC-TC-1018:2000.
    [32] Workflow Management Coalition. Wf-XML Binding. WfMC-TC-1023.2000.
    [33] Wolfgang Schulze, Fitting the workflow management facility into the object management architecture[M]. OOPSLA'97 Business Object Workshop. Atlanta,1997.
    [34] Le pallec Xavier, Vantroys Thoms.A cooperative workflow management system with the meta-object facility[J]. IEEE software, 2001.
    [35] 奥古斯特—威廉.希乐(著),李清(译).集成的信息系统体系结构(ARIS)—经营过程建模.北京:机械工业出版社.2003.
    [36] 陈禹六.IDEF建模分析与设计方法.北京:清华大学出版社.2000.
    [37] Jan Mendling, Gustaf Neumann, and Markus N"uttgens. Towards Workflow Pattern Support of Event-Driven Process Chains (EPC). Proceedings of the 2nd GI Workshop XML4BPM-XML Interchange Formats for Business Process Management at 11th GI Conference BTW, Karlsruhe Germany, March 2005.
    [38] 李建中,陈良猷.扩展事件-过程链建模方法(EEPC)及其在过程管理中的应用[J].系统工程,2000, 18(1):42-48.
    [39] Loos P, Allweyer T. Process Orientation and Object-Orientation: An Approach for Integrating UML and Event-Driven Process Chains. Publication of the Institut fur Wirtschaftsinformatik, University of Saarbriicken, Paper 144, 1998.
    [40] Orlowska M.E.Analyzing rocess models using grah reducition techniques. Information systems, 2000, 25(2): 117-134.
    [41] 谢玉凤,杨光信,史美林.基于条件化有向图的工作流过程优化[J].计算机学报,2001,24(7):729-735.
    [42] H.M.W Verbeek, T.Baster.W.M.P.Van der Aalst. Diagnosing Workflow Processes Using Woflan. The Computer Journal. 2001(4).
    [43] Elis C, Nutt GJ. Modeling and enactment of workflow system. In: proceedings of the 14th International conference on application and theory of Petri nets, Chicago, 1993, 1-16,
    [44] 李慧芳,李人厚,陈浩勋.受控赋时Petri网在批处理系统建模中的应用,西安交通大学学报,2000,34(4):55-59.
    [45] Dongsheng Liu, Jianmin Wang, Stephen C.F. Chan et al.Modeling workflow processes with colored Petri nets. Computers in Industry. Vol49.P267-281. Elsevier Science Publishers B.V. 2002.
    [46] H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 25-33, Seattle, WA, USA, June 1998.
    [47] S. Mukherjee, H. Davulcu, M. Kifer, G. Yang, and P. Senkul. Survey of logic based approaches to workflow modeling. In J. Chomicki, R. van der Meyden, and G. Saake Springer, editors, Logics for Emerging Applications of Databases, LNCS. Springer-Verlag, October 2003.
    [48] 胡锦敏,张申生。基于ECA规则和活动分解的工作流模型。软件学报。V13 (4)2002.4.P761-767.
    [49] M. Rusinkiewicz and A. Sheth. Specification and execution of transactional workflows. In W. Kim, editor, Modern Database Systems. Addison-Wesley, Reading, Ma, U.S.A., 1995.
    [50] 高军,王海洋.基于对象模型工作流的失败处理与失败恢复.软件学报。 2001,Vol.12(5):P776~782.
    [51] Gregor Joeris, Otthein Herzog. Managing Evolving Workflow Specifications. Proceedings of the 3th IFCIS International Conference on Cooperative Information Systems. 1998: P310-321.
    [52] D. Edmond and A.H.M. ter Hofstede.A reflective infrastructure for workflow adaptability. In Data & Knowledge Engineering, 34(3): 271-304, 2000.
    [53] Medina Mora R, Wingorad T, Fores R, et al.The action workflow approach to workflow management technology. 4th Conference on Computer Supported Cooperative Work, 1992.
    [54] Glance N S, Pagani D S, Pareschi R. Generalized process structure grammars (GPSG)for flexible representations of work[C]. In: Proc Computer Supported Cooperative Work, Boston, 1996.180-189
    [55] Van der Aalst WMP. The application of Petri nets to work flow management. Journal of circuits.Systems and computers, 1998, 8(1): 21-66.
    [56] A.H.M ter Hofstede, M.E. Orlowska, J.Rajapakse.Verification Problems in conceptual workflow specifications. Data & Knowledge Engineering. Vol.24(3). 1998. pp: 239-256.
    [57] W.Sadiq, M.E. Orlowska. Analyzing Process Models using Graph Reduction Techniques. Information Systems, 25(2): P117-134, 2000.
    [58] Hao Lin, Zhibao Zhao, Hongchen Li.A novel graph reduction algorithm to identify structural conflicts. Process.Of the 35th Hawaii int'l Conference (HICSS-35).2002.
    [59] Wasim Sadiq, Maria E.Orlowska. Modeling and Verification of Workflow Graphs.Technical Report No.386.Department of Computer Science. The University of Queensland, Australia. 1996.
    [60] Li Peiwu, Lu Zhengding, Reduction techniques of workflow verification and its implementation. Process of Int'l Workshop on Grid and Cooperative Computing Beijing: Publishing House of Electronics Industry, 2002.
    [61] Shiyong Lu. Semantic Correctness of Transactions and Workflows. New York: Computer Science State University of New York.. 2002.
    [62] Van der Aalst WME The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 1998, V8(1), P21-66.
    [63] 袁崇义.Petri网原理与应用.北京:电子工业出版社.2005..
    [64] 林闯。随机Petri网和系统性能评价.北京:清华大学出版社.2000.
    [65] W.Aalst. Structural characterizaions of sound workflow nets.Eindhoven University of technology, Technique report 1996.
    [66] H.M.W Verbeek, T.Baster.W.M.P.Van der Aalst.Diagnosing Workflow Processes Using Woflan. The Computer Journal. 2001(4).
    [67] 李建强,范玉顺.基于Petri网化简方法的工作流模型验证.信息与控制.Vol.30(6).2001.P492—497.
    [68] 赵文,袁崇义,刘刚等.基于P/T系统化简方法的工作流过程模型验证。软件学报.V15(10),2004.
    [69] Juliane Dehnert, Peter Rittgen. Relaxed Soundness of business Processes.In: Advanced Information Systems Engineering, 13th International Conference. Interlaken, Switzerland.2001. LNCS.2068, Berlin: Springer, 2001, pp. 157-170.
    [70] Juliane Dehnert.Four systematic steps towards sound business process models. In: Proceedings of 2th International. Colloquium on Petri Net Technologies for Modelling Communication Based Systems;Berlin, Germany, 2001;pp. 55-63.
    [71] Mohan Kamath, Krithi Ramamritham. Correctness issues in workflow management. Distributed Systems Engineering Journal, Special issue on Workflow Management Systems, 1997.
    [72] IBM. Ibm owmark: Modeling workow, version 2 release 2. In Publication No. SH-19-8241-01, 1996.
    [73] Ferscha A.Qualitative and quantitative analysis of businesss workflows using generalized stochastic Petri nets.In: Proceedings of CON'94, Linz, Austria, 1994.
    [74] 林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析.软件学报.V.13.2002.
    [75] W.M.P.van der Aalst.Workflow verification: Find control-flow errors using Petri-net-based techniques. Business process management: models, techniques, and empirical studies, V1806 of LCNS 2000.
    [76] Jiang Hao and Dong Yisheng. A Time Performance Evaluation Method for Workflow Based on Extended Timed Petri Net. Journal of Computer Research and Development. V42 (5), 2005.
    [77] 李建强,范玉顺.一种工作流模型性能分析方法[J].计算机学报 V.26(5).2003
    [78] Chiola G, Marsan A, Balbo G, and G Conte. Generalized stochastic Petri nets: A definition at the net level and its implications[J]. IEEE Transactions on software engineering, Vol. 19(2). 1993.
    [79] Molloy M K.Performance analysis using stochastic Petri nets[J]. IEEE Transactions on computer, Vol.31(9), 1982.
    [80] Wang jiancun. Timed Petri nets-theory and application [M]. Boston: Kluwer Academic publichers, 1999.
    [81] K. Y. K. Ng, A. Ghanmi, M. N. Lam.Workforce configuration and workflow analysis of an information technology organization: a queueing network approach. IEEE Transactions on Systems, Man, and Cybernetics.V.32(6).2002.
    [82] Wil van der Aalst, Kees van Hee. Workflow management models, methods, and systems.The MIT Press, Cambridge, Massachusetts, London England.2002.
    [83] W.M.P. van der Aalst, B.Evan Dongen. Discovering workflow performance models from timed logs. In: LNCS 2480.New York: Springer-Verlag, 2002.
    [84] 刘新瑜,朱卫东.基于过程挖掘的工作流性能分析.计算机应用.Vol.25(4),2005.915—918.
    [85] C.Bubler, S.Jablonski.An approach to integrate workflow modeling and organization modeling in an enterprise. In: Proceeding of the 3th IEEE workshop on enabling technologies: Infrastructure for collaborative enterprises(WET ICE), Morgantown, West Virginia, USA, 1994.
    [86] Workflow Management Coalition. Interface 1: Process Definition Interchange: organisational Model. WfMC TC-1016-O.1998.
    [87] W. Rupieta.Organization and role models for workflow processes. Workflow handbook 1997. pp165-172.
    [88] R.Hoog, B.Benus, C.Metselaar, et al. Organisation model: Model definition document. Technical Report, University of Amsterdam, KADSII/ M6/UvA/041/3.0, Netherlands.1994.
    [89] Cuno Duursma .Task Model definition and task analysis process. Vrije University, Brussels KADSII /M5/VUB/RR/004/2.0,1994.
    [90] Bussler C.Analysis of the organization modeling capability of workflow management systems. In:Proceedings of the Conference of the Pacific Research Institute for Information Systems and Management.Maui,Hawaii,1996.
    [91] Michael Z.M.Resource modeling in workflow application.In 1999 Workflow management conference ,University of Munster,137-153
    [92] Ravi S. Sandhu, Edward J. Coyne, Hal L. Feinstein, and Charles E. Y ouman. Role-based access control models. IEEE Computer, 29(2):P38-47, February 1996.
    [93] Feraiolo D F,Sandhu R S,Gavrila S,et al. A proposed standard for role-based access control [J]. ACM Transaction on Information and System Security, 2001,4(3): 224-274.
    [94] Cheng, Edward C: An Object-Oriented Organizational Model to Support Dynamic Role based Access Control in Electronic Commerce Applications. In: Proceedings of the 32nd Annual Hawai'i International Conference on System Sciences (HICSS '99). Wailea, Maui 1999.
    [95] Gail An and Ravi Sandhu.Role-based authorization constraints specification.ACM trans.On information and system security Vol.3(4) 2000.4.
    [96] Botha, RA, Eloff, JHP .Designing role hierarchies for access control in workflow systems. The 25~th anniversary annual international comuter software and applications conference. Chicago, lllinois,USA.2001. P:117-122.
    [97] Ravi Sandhu.Future directions in role-based acess control models. Proceedings of the international workshop on information assurance in computer Networks: Mothods,Models, and Architectures for network securety.2001:P22-26.
    [98] Ehayat E.J,Abdallah AE.A formal model for flat role-based access control. ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03),Tunis, Tunisia, July 2003
    [99] Huang Y.N, Ming-Chien Shan.Policies in a resource manager of workflow systems: Modeling enforcement and management. 15th International Conference on Data Engineering. Sydney, Australia. Mar. 1999.
    [100] C. Bussler, Analysis of the organization modeling capability of workflow -management-systems. Conference of the Pacific Research Institute for Information Systems and Management. Maui, HI, USA. 1996.
    [101] C. Bussler,Jablonski S.Poicy resolution for workflow management. Proceedings 28~th Hawaii International conference on system sciences conference. 1995.
    [102] Rupietta, Walter: Organizational Models for Cooperative Office Applications. In: D.Karagiannis (Ed.) Database and Expert Systems Applications. Proceedings of the 5~th International Conference DEXA '94, Athens, Greece, September 1994. Springer Publishers.
    [103] Michael Z.M.Resource modeling in workflow application.In 1999 Workflow management conference ,University of Munster,137-153.
    [104] Jurgen Klarmann.A comprehensive support for changes in organizational models of workflow management systems. In: Proceedings of the 4th International Conference on Information Systems Modeling (ISM '01). 2001.
    [105] Jurgen Klarmann.Using conceptual graphs for organization modeling in workflow management systems. In: Proceedings of the Conference Professionelles Wissensmanagement (WM 2001).
    [106] W.M.P. van der Aalst, Akhil Kumar, H.M.W.Vereek.Organizational modeling in UML and XML in the context of workflow systems. Proceedings of the 2003 ACM symposium on Applied computing.March.2003, Melboume, Florida.
    [107] Michael zur muehlen.Organizational Management in workflow applications-Issues and respectives. Information technology and management. Vol.5(3): P271—291.2003.
    [108] W. Du, J Davis and Yan-nong Huang et al.Enterprise workflow resource management. Hewlett Packard Laboratories, Palo Alto, CA, USA, 1999
    [109] Khodakaram Salimifard, Mike Wright.Modelling the human resource manager in workflow systems, citeseer.ist.psu.edu/587444.html
    [110] Mariusz Momotko, Kazimierz subieta. Dynamic changes in workflow patriciant assignment. The 6th East-European conference on advancees in databases and information systems.Bratislava. Slovakia.2002.
    [111] Wil van der Aalst and Kees van Hee.工作流管理—模型、方法和系统.北京:清华大学出版社.2004.
    [112] Object Management Group.Meta Object Facility Specificatin. Version 1.4. 2002. http://www.omg.org/docs/formal/02-04-03.pdf
    [113] Eder J, Liebhart W.The workflow activity model WAMO.The 3th internationa conference on cooperative information systems[C]. Vienna, Austria.1995.
    [114] Bussler C.User mobility in workflow-management systems[M]. Melbourne: Telecommunications Information Networking Conference, 1995.22—29.
    [115] Carlsen S, Krogstie J, Solvber A, et al. Evaluating Flexible workflow system[C]. Hawaii International Conference on System Science, Maui, Hawaii, 1997.
    [116] 张立昂,刘田(译).计算理论基础.北京:清华大学出版社.2000.
    [117] Rational Software Corporation. Object Constraint Language Specification, version 1.1, 1997. http://www.rational.com/uml.
    [118] Mohan c, Alonso G, Gunthor R, et al, Exotica: a Research Prospective on Workflow Management System.
    [119] Alonso G, Agrawal D, Abbadi A E, et al.Functionality and Limitations of Current Workflow Management Systems.IEEE Expert, 1997, 12(5).
    [120] Murata.Petri Nets: Properties, Analysis and Application.Proceeding of the IEEE.Vol.77.No.4.Appril 1989.
    [121] Yang Dong.Zhang Shensheng. Modeling Workflow Process Models with Statechart. 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems.2003.
    [122] Paolo terenziani, temporal reasoning with classes and instantces of events.
    [123] Kafeza E, Kamalakar K.Temporally constrained workflows. In: internet applications.LNCS Vol. 1749, Springer-Verag, 1999, 246-265.
    [124] Eder J, Panagos E, Rabinovich M.Time Constraints in workflow systems.In: process 11th Conference on advanced information Systems Engineering(CaiSE' 99), Heidelberg, Germany, 1999, 1-14.
    [125] The Workflow Management Coalition.Workflow handbook.L.Fisher, ed, Future Strategies Inc.2001.
    [126] W.Rupietta: Organization and role models for workflow processes. Peter Lawrence: Workflow Handbook 1997, John Wiley & Sons Ltd, 1997.
    [127] W.M.P. van derAalstl, A. Kumar.A Reference Model for Team-Enabled Workflow Management Systems. Data & Knowedge Engineering.Vol. 8(3). 2001. pp: 335-363.
    [128] Minxin Shen, Gwo-Hshiung Tzeng, duen-Ren Liu.Multi-Criteria Task Assignment in Workflow Management Systems. In the 36th Hawai'i International Conference onSystem Sciences.Waikoloa, HI, USA, 2003
    [129] Jeffery Westbrook. Dynamic Real-Time Task Scheduling on Hypercubes. Journal Algorithms 35(1) 2000.
    [130] Li-jie Jin, Fabio Casati, Mehmet Sayal, ect.Load balancing in distributed workflow management system.Proceeding of the ACM symposium on applied computing, 2001.
    [131] 张晓光,曹健,张申生.策略约束面向角色和团队关系的工作流任务分配管理.计算机研究与发展,V.39(12),2002.
    [132] 唐达杨元生.基于层次细化Petri网的工作流参与者机制与动态特性研究.计算机研究与发展 V.41(19),2004.
    [133] Gin-shuh Lang, Mao-jiun J, Wang.Personnel placement in a fuzzy environment. Computers and Operations research, 19(2), 1992.
    [134] S.B.Yaaho, S.Kawata.Worker's placement in an industrial environment.Fuzzy set and systems. 106(3), 1999.
    [135] L. Zadeh, The concept of a linguistic variable and its application to approximate reasoning. Information Sciences.V.8.1975.
    [136] Dubois D, Prade H.Operating on fuzzy numbers. International Journal of systems Science, 9(6). 1978.
    [137] Xu Bing, Jia Ren-an. Matrix Calculation of directed cycles and relative propertyes of digraph. Journal of Nanchang University(Natural Science). Vol.26 No. 1.2002
    [138] Laarhoven, PJM, Pedrycz W. A fuzzy extension, of Saaty'S priority theory.Fuzzy sets and systems, V.11, 1983.
    [139] S.B Yaakob, S.Kawata.Worker's Placement in an Industrial Environment. Fuzzy Sets and Systems, 106(3), 289—297, 1999.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700