Details

Autor(en) / Beteiligte

• Xiang, Dongming
• Liu, Guanjun
• Yan, Chungang
• Jiang, Changjun

Titel

Detecting data-flow errors based on Petri nets with data operations

Ist Teil von

• IEEE/CAA journal of automatica sinica, 2018-01, Vol.5 (1), p.251-260

Ort / Verlag

Piscataway: Chinese Association of Automation (CAA)

Erscheinungsjahr

2018

Quelle

IEEE Electronic Library (IEL)

Beschreibungen/Notizen

• In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors 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 &#x0028 PN-DO &#x0029 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.