Abstract:
Concurrent business processes easily suffer from the errors of data inconsistency. In order to check these errors, a tool named as DICER (Data Inconsistency CheckER) is d...Show MoreMetadata
Abstract:
Concurrent business processes easily suffer from the errors of data inconsistency. In order to check these errors, a tool named as DICER (Data Inconsistency CheckER) is developed. In DICER, a PD-net (Petri net with Data) can be edited to model business processes in which data operations are considered. Furthermore, the unfolding of the PD-net is produced and the error of data inconsistency is checked on the basis of the unfolding. Since DICER utilizes the concurrency-semantics-based unfolding technique instead of the interleaving-semantics-based reachability graph, it alleviates the state space explosion problem. In this paper we introduce DICER.
Date of Conference: 16-18 May 2017
Date Added to IEEE Xplore: 03 August 2017
ISBN Information: