In order to guarantee the correctness of business processes, not only control-flowerrors but also data-flow errors should be considered. The control-flowerrors mainly focus on deadlock, livelock, soundness, and so o...
详细信息
In order to guarantee the correctness of business processes, not only control-flowerrors but also data-flow errors should be considered. The control-flowerrors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.
Workflow system has become a standard solution for managing a complex business *** to guarantee its correctness is a key *** methods only focus on the control-flow verification,while they neglect the modeling and chec...
详细信息
Workflow system has become a standard solution for managing a complex business *** to guarantee its correctness is a key *** methods only focus on the control-flow verification,while they neglect the modeling and checking of *** some studies are presented to repair the data-flow errors,they do not consider the effect of delete operations or weak circulation relations on the repairing ***’s more,repairing some data-flow errors may bring in new *** order to solve these problems,we use workflow net with data(WFD-net)systems to model and analyze a workflow *** on weak behavioral relations and order relations in a WFD-net system,we formalize four kinds of data-flow *** then,we reveal the relations between these errors and organize them into a ***,we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair ***,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness.
In order to guarantee the correctness of workflow systems, it is necessary to check their data-flow errors, e.g., missing data, inconsistent data, lost data and redundant data. The traditional Petri-net-based methods ...
详细信息
In order to guarantee the correctness of workflow systems, it is necessary to check their data-flow errors, e.g., missing data, inconsistent data, lost data and redundant data. The traditional Petri-net-based methods are usually based on the reachability graph. However, these methods have two flaws, i.e., the state space explosion and pseudo states. In order to solve these problems, we use WFD-nets to model workflow systems, and propose an algorithm for checking data-flow errors based on the guard-driven reachability graph (GRG) of WFD-net. Furthermore, a case study and some experiments are given to show the effectiveness and advantage of our method.
The general Petri nets are not suitable to model the data operations of concurrent read and coverable write. Therefore, Petri net with data operations (PN-DO) is defined, which extends contextual nets with write arcs ...
详细信息
ISBN:
(纸本)9781509044573
The general Petri nets are not suitable to model the data operations of concurrent read and coverable write. Therefore, Petri net with data operations (PN-DO) is defined, which extends contextual nets with write arcs and some other components. Its execution semantics are defined, and a new method is proposed to construct its reachability graph that is of a smaller scale than traditional reachability graph. Based on this kind of reachability graph, we propose a method to check the errors of inconsistent data and missing data. Meanwhile, case studies are given to illustrate the effectiveness of our methods.
A business process is composed of interrelated tasks, executed inside an organization in order to accomplish a specific business goal. A workflow is the automation of a business process that can be executed by an info...
详细信息
ISBN:
(纸本)9783031647543;9783031647550
A business process is composed of interrelated tasks, executed inside an organization in order to accomplish a specific business goal. A workflow is the automation of a business process that can be executed by an information system. Besides the tasks (which constitute the control-flow level), the process also involves data information (which constitutes the data-flow level). The correctness of the processes is critical for ensuring the business goals and should be achieved both at the control-flow and at the data-flow level. In this paper we use Workflow Nets with data for modelling the workflow processes with data and we propose the specification of Workflow Nets with data as rewrite theories in the rewriting logic based language Maude. This approach will permit the use of model checking techniques to verify the correctness of the workflows, detect various data-flow anomalies and verify specific properties at the data-flow level.
暂无评论