Workflow logs that record the execution of business processes offer very valuable data resource for real-time enterprise performance measurement. In this paper, a novel scheme that uses the technology of data warehous...Workflow logs that record the execution of business processes offer very valuable data resource for real-time enterprise performance measurement. In this paper, a novel scheme that uses the technology of data warehouse and OLAP to explore workflow logs and create complex analysis reports for enterprise performance measurement is proposed. Three key points of this scheme are studied: 1) the measure set; 2) the open and flexible architecture for workflow logs analysis system; 3) the data models in WFMS and data warehouse. A case study that shows the validity of the scheme is also provided.展开更多
The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of wo...The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound ness and the complexity with polynomial time for the improved re duction method are also proven.展开更多
文摘Workflow logs that record the execution of business processes offer very valuable data resource for real-time enterprise performance measurement. In this paper, a novel scheme that uses the technology of data warehouse and OLAP to explore workflow logs and create complex analysis reports for enterprise performance measurement is proposed. Three key points of this scheme are studied: 1) the measure set; 2) the open and flexible architecture for workflow logs analysis system; 3) the data models in WFMS and data warehouse. A case study that shows the validity of the scheme is also provided.
基金Supported by the Scientific Research Foundation of Edu-cation Agency of Liaoning Province (20040088) and Scientific ResearchFoundation of Dalian Nationalities University (20046202)
文摘The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound ness and the complexity with polynomial time for the improved re duction method are also proven.
