A Three-Layer Model for Business Processes-Process Logic,Case Semantics and Workflow Management  

作　　者：袁崇义 赵文 张世琨 黄雨 

机构地区：[1]School of Electronics Engineering and Computer Science Peking University

出　　处：《Journal of Computer Science & Technology》2007年第3期410-425,共16页计算机科学技术学报（英文版）

基　　金：Supported by the National Natural Science Foundation of China nnder Grant No.60473058;the National Grand Fundamental Research 973 Program of China under Graut Nos.2002CB312004,2002CB312006.

摘　　要：Workflow management aims at the controlling, monitoring, optimizing and supporting of business processes. Well designed formal models will facilitate such management since they provide explicit representations of business processes as the basis for computerized analysis, verification and execution. Petri Nets have been recognized as the most suitable candidate for workflow modeling, and as such, formal models based on Petri Nets have been proposed, among them WF-net by Aalst is the most popular one. But WF-net has turned out to be conceptually chaotic as will be illustrated in this paper with an example from Aalst＇s book. This paper proposes a series of models for the description and analysis of business processes at conceptually different hierarchical layers. Analytic goals and methods at these layers are also discussed. The underlying structure, shared by all these models, is SYNCHRONIZER, which is designed with the guidance of synchrony theory of GNT （General Net Theory） and serves as the conceptual foundation of workflow formal models. Structurally, synchronizers connect tasks to form a whole while dynamically synchronizers control tasks to achieve synchronization.Workflow management aims at the controlling, monitoring, optimizing and supporting of business processes. Well designed formal models will facilitate such management since they provide explicit representations of business processes as the basis for computerized analysis, verification and execution. Petri Nets have been recognized as the most suitable candidate for workflow modeling, and as such, formal models based on Petri Nets have been proposed, among them WF-net by Aalst is the most popular one. But WF-net has turned out to be conceptually chaotic as will be illustrated in this paper with an example from Aalst＇s book. This paper proposes a series of models for the description and analysis of business processes at conceptually different hierarchical layers. Analytic goals and methods at these layers are also discussed. The underlying structure, shared by all these models, is SYNCHRONIZER, which is designed with the guidance of synchrony theory of GNT （General Net Theory） and serves as the conceptual foundation of workflow formal models. Structurally, synchronizers connect tasks to form a whole while dynamically synchronizers control tasks to achieve synchronization.

关 键 词：workflow modeling Petri Net WF-NET SYNCHRONIZER workflow logic 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]