工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,...工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。展开更多
Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence...Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence has become a problem. For this condition, we should analyze unknown correspondence due to the influence of different correspondences.In this paper we obtain the relations of transitions based on event relations using branching processes, and build a behavioral matrix of relations. Based on the permutation of behavioral matrix, we express different correspondences, and define a new formula to compute the maximal consistency degree of two workflow nets. Additionally, this paper utilizes an example to show these definitions, computation as well as the advantages.展开更多
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 busi...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.展开更多
Extend case transfer architecture inter-organization workflow management fits the needs of Collaboration commerce. However, during the third step of extend case transfer architecture, modifications of private workflow...Extend case transfer architecture inter-organization workflow management fits the needs of Collaboration commerce. However, during the third step of extend case transfer architecture, modifications of private workflows might cause some fatal problems, such as dead locks, live locks and dead tasks. These problems could change the soundness and efficiency of overall work flow. This paper presents a Petri net based approach to protect the inheritance of public work flows in private domains, and discusses an implementation of our collaboration commerce work flow model.展开更多
文摘工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)the National Natural Science Foundation of China(61572360)
文摘Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence has become a problem. For this condition, we should analyze unknown correspondence due to the influence of different correspondences.In this paper we obtain the relations of transitions based on event relations using branching processes, and build a behavioral matrix of relations. Based on the permutation of behavioral matrix, we express different correspondences, and define a new formula to compute the maximal consistency degree of two workflow nets. Additionally, this paper utilizes an example to show these definitions, computation as well as the advantages.
基金Supported by the National Natural Science Foundation of China nnder Grant No.60473058the 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.
文摘Extend case transfer architecture inter-organization workflow management fits the needs of Collaboration commerce. However, during the third step of extend case transfer architecture, modifications of private workflows might cause some fatal problems, such as dead locks, live locks and dead tasks. These problems could change the soundness and efficiency of overall work flow. This paper presents a Petri net based approach to protect the inheritance of public work flows in private domains, and discusses an implementation of our collaboration commerce work flow model.
