Refinement operation of workflow nets is provided in this paper for modeling and analyzing integrated workflow. Structure, dynamic properties and behavior expression of refined workflow net are also discussed. These w...
详细信息
ISBN:
(纸本)142440164X
Refinement operation of workflow nets is provided in this paper for modeling and analyzing integrated workflow. Structure, dynamic properties and behavior expression of refined workflow net are also discussed. These works proves that refinement operation with step-by-step refinement of transitions could realize hierarchical modeling of workflow as well as composite modeling of workflow integration Furthermore, the refinement operation can reduce complexity of model analysis. In fact the reliable refined nets satisfy soundness, and dynamic behavior of refined Petri nets was consistent with of original nets and subnets. Therefore the properties analysis and verification of refined workflow nets can be realized by properties of subnets using refinement operation. Moreover, the research results are successfully applied to designing, modeling and verification of layered workflows and their integration in Shanghai Traffic Information Service Application Grid (STISAG).
Model validation and analysis of the development of workflow system is a relatively weak link. At present, there is a lack of an effective tool or a method to validate the correctness and the effectiveness of the new ...
详细信息
ISBN:
(纸本)9780769539300
Model validation and analysis of the development of workflow system is a relatively weak link. At present, there is a lack of an effective tool or a method to validate the correctness and the effectiveness of the new model. Errors of the workflow model destroy the workflow system seriously. It is likely to lead to the failure of the entire workflow system. In order to improve that model is correct and the validating process is reliable, refined a validation algorithm of rationality of the workflow model. Workflow model will he completely transformed into the mathematical model that expressed by the matrix and vector. It used matrix and vector operations to validate the rationality of the wf-net model. So, validation process is divorced from original model. It's could conveniently achieved by computer and make it more easily computerized.
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.
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.
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.
暂无评论