Although many algorithms exist that can discover a wf-net from an event log, only a few (if any at all) can discover advanced routing constructs. As examples, the Inductive miner uses process trees and cannot discover...
详细信息
ISBN:
(数字)9798350397147
ISBN:
(纸本)9798350397147
Although many algorithms exist that can discover a wf-net from an event log, only a few (if any at all) can discover advanced routing constructs. As examples, the Inductive miner uses process trees and cannot discover complex loops, or situations where choice and parallel behavior is mixed, and the Hybrid ILP miner cannot discover certain complex routing constructs because it cannot discover silent transitions. This paper introduces the DiSCover miner, a discovery algorithm that can discover these more complex constructs and that is implemented in ProM. The DiSCover miner discovers from the event log a wf-net that corresponds to a collection of state machines that need to synchronize on the visible transitions (that is, on the activities from the event log). As such, it discovers a wf-net that is S-Coverable but not necessarily sound. Initial results show that it can discover complex routing constructs and that it performs well on the data sets of the different Process Discovery Contests. It even preformed better than winners of the 2020 and 2021 contests.
Real-life business processes may change over time in response to new business requirements, market changes, new policies or regulations, etc., which is called concept drift in the data mining area. How to identify and...
详细信息
Real-life business processes may change over time in response to new business requirements, market changes, new policies or regulations, etc., which is called concept drift in the data mining area. How to identify and deal with the concept drift problem is a significant challenge in business process mining. Currently, the research mainly focuses on the problems of concept drift detection. However, the proposed approaches do not intuitively explain how the process changes. In this paper, we provide an integrated framework whose core technique is an Automatic and Incremental approach for business process Model rEpair under concept Drift (AIMED). AIMED streamlines the functions of concept drift detection, localization and model repair. More specifically, when concept drift is detected, it updates the process model automatically by precisely localizing the sub-structure of the process model that concept drift affects and updating this sub-structure accordingly. Concept drift is explained intuitively by presenting the repaired model. In particular, AIMED can resist the noise that greatly affects the performance of current concept drift detection and process model repair techniques. The properties of AIMED are theoretically proven. We also conduct extensive experiments on synthetic logs as well as real-life logs. The experiment results show that AIMED outperforms the state-of-the-art methods in both concept drift detection and process model repair and works well even when there is noise in logs.
This article describes an MDE approach for transformation from BPEL specifications to wf-nets models for verifying behavioral properties on IOwf (Inter-Organizational Workflow) processes. The authors consider wf proce...
详细信息
This article describes an MDE approach for transformation from BPEL specifications to wf-nets models for verifying behavioral properties on IOwf (Inter-Organizational Workflow) processes. The authors consider wf processes specified with BPEL and interconnected together according to specific cooperation patterns. They define a specific class of Petri nets called Hierarchical wf-nets (HWN) in order to formally check the "soundness" property on IOwf process models. For that, their verification approach is defined around three main phases: (i) recovery of the BPEL file(s) and generation of process tree(s), (ii) transformation from BPEL to wf-nets (resp. HWN) models using mapping and transformation rules and (iii) verification of the "soundness" property on the models obtained. They particularly define and implement a set of specific transformation rules which are closely linked to the interconnection rules attached to each cooperation pattern. Also, to show the feasibility of their verification method, the authors developed a "wf-Checking" tool which allows the implementation and testing of the proposed approach.
With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between ...
详细信息
With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between geographic information and workflow modeling. According to the workflow with geospatial constraints, this paper first discusses the geospatial constraints theory deeply, proposes a new concept of geospatial constraints unit, and then designs a geospatial constraint net model (GCnet). Secondly, this paper designs a new workflow model with geospatial constraints (GCwf-net) based on GCnet and workflow net (wf-net), and then analyzes some properties of the model. Finally, this paper discusses how to put GCwf-net into application practice from three aspects: extending PNML (Petri net Markup Language) labels for GCwf-net, converting PNML to BPEL (Business Process Execution Language) and implementing BPEL.
In order to adapt inconstancy of business environment and service requirement, a model of dynamic workflow is defined which can react to evolution of business processes. The correctness of business process runtime evo...
详细信息
In order to adapt inconstancy of business environment and service requirement, a model of dynamic workflow is defined which can react to evolution of business processes. The correctness of business process runtime evolution needs to be guaranteed. The meaning of correctness differs corresponding to different requirements. We will consider extensively accepted criteria of correctness. If it can be verified the evolution keeps some properties, the correctness is hold. For inter-organizational workflow, a method to verify correctness of run-time evolution based on cooperation view is provided. On bases of these, this paper has designed an algorithm to handle the migration of instances of workflow when the evolution takes place, and proposed a prototype of change management system.
The most important thing to workflow management is modeling business processes. It can ensure the correctness after model is put to use only when efficient modeling technology is used to build complex business process...
详细信息
ISBN:
(纸本)9781479955541
The most important thing to workflow management is modeling business processes. It can ensure the correctness after model is put to use only when efficient modeling technology is used to build complex business processes. On the one hand the readability of model represented can be improved on the other hand it is convenient to the model performance analysis. This paper points out that the strict semantic of Petri net is conducive to time performance analysis after modeling the process, so Petri technology is selected to define wf-net and four equivalent formulas which are sequential, parallel, selection and circulation. Then the article analyzes process instances in buying a car, and the Petri net model is established. Finally the paper analyzes its time performance to prove the rationality and superiority of modeling based on Petri net technology.
the process modeling is very important in the design of software system based on technology of workflow. This paper discuss the application of process modeling in the design on MIS, introduce the theory of wf-net and ...
详细信息
ISBN:
(纸本)9781424464968
the process modeling is very important in the design of software system based on technology of workflow. This paper discuss the application of process modeling in the design on MIS, introduce the theory of wf-net and the way of process modeling using wf-net as the tool of modeling, bring forward a new mapping method from the business model to the wf-net model. An example of a process modeling based on wf-net which from the design of the sale management information system is given.
The employment of batch processing in workflow is to model and schedule activity instances in multiple workflow cases of the same workflow type to optimize business processes execution dynamically. Although our previo...
详细信息
The employment of batch processing in workflow is to model and schedule activity instances in multiple workflow cases of the same workflow type to optimize business processes execution dynamically. Although our previous works have preliminarily investigated its model and implementation, it is still necessary to deal with its model design problem. Process mining techniques allow for the automated discovery of process models from event logs and have received notable attentions in researches recently. Following these researches, this paper proposes an approach to mine batch processing workflow models from event logs by considering the batch processing relations among activity instances in multiple workflow cases. The notion of batch processing feature and its corresponding mining algorithm are also presented for discovering the batch processing area in the model by using the input and output data information of activity instances in events. The algorithms presented in this paper can help to enhance the applicability of existing process mining approaches and broaden the process mining spectrum. Copyright (c) 2013 John Wiley & Sons, Ltd.
The employment of batch processing in workflow is to model and schedule activity instances in multiple workflow cases of the same workflow type to optimize business processes execution dynamically. Although our previo...
详细信息
The employment of batch processing in workflow is to model and schedule activity instances in multiple workflow cases of the same workflow type to optimize business processes execution dynamically. Although our previous works have preliminarily investigated its model and implementation, it is still necessary to deal with its model design problem. Process mining techniques allow for the automated discovery of process models from event logs and have received notable attentions in researches recently. Following these researches, this paper proposes an approach to mine batch processing workflow models from event logs by considering the batch processing relations among activity instances in multiple workflow cases. The notion of batch processing feature and its corresponding mining algorithm are also presented for discovering the batch processing area in the model by using the input and output data information of activity instances in events. The algorithms presented in this paper can help to enhance the applicability of existing process mining approaches and broaden the process mining spectrum. Copyright (c) 2013 John Wiley & Sons, Ltd.
暂无评论