Loading [a11y]/accessibility-menu.js
DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net | IEEE Conference Publication | IEEE Xplore

DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net


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 More

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:
Conference Location: Calabria, Italy

Contact IEEE to Subscribe

References

References is not available for this document.