Abstract
Enterprises are confronted with a highly competitive and fast-changing business environment resulting in an increasing level of cooperation between organizations. Cross-organizational processes (CBPs) aim to achieve an agreement between organizations at the process level in such an environment. An application of smart contracts and blockchain brings the unprecedented capability to execute CBPs in decentralized multi-peer environments and without central authorities to govern the workflow. However, the application of blockchain introduces various challenges due to the immutable nature of blockchain’s transaction data and the specific development and deployment life-cycle of smart contracts. In this position paper, we propose a high-level platform-independent framework for monitoring and validation of smart contracts utilizing process mining techniques. The main purpose of such a framework will be to support process engineers in the detection of nonconforming behavior, resolving detected discrepancies, and improving smart contracts.
This paper has been supported by the Ministry of Education, Science and Technological Development through the project no. 451-03-68/2020-14/200156.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ziemann, J., Matheis, T., Freiheit, J.: Modelling of cross-organizational business processes. Enterp. Model. Inf. Syst. Archit. 2(2), 9 (2007)
Di Ciccio, C., et al.: Blockchain-based traceability of inter-organisational business processes. In: Shishkov, B. (ed.) BMSD 2018. LNBIP, vol. 319, pp. 56–68. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94214-8_4
Zheng, Z., et al.: An overview on smart contracts: challenges, advances and platforms. Future Gener. Comput. Syst. 105, 475–491 (2020). https://doi.org/10.1016/j.future.2019.12.019
van der Aalst, W.: Process Mining. Springer, Berlin, Heidelberg (2016)
Destefanis, G., et al.: Smart contracts vulnerabilities: a call for blockchain software engineering? In: 2018 IWBOSE, Campobasso, pp. 19–25 (March 2018). https://doi.org/10.1109/IWBOSE.2018.8327567
Mühlberger, R., et al.: Extracting event logs for process mining from data stored on the blockchain. In: Business Process Management Workshops, pp. 690–703 (2019). https://doi.org/10.1007/978-3-030-37453-2_55
Klinkmüller, C., et al.: Mining blockchain processes: extracting process mining data from blockchain applications. In: BPM: Blockchain and Central and Eastern Europe Forum, pp. 71–86 (2019). https://doi.org/10.1007/978-3-030-30429-4_6
Duchmann, F., Koschmider, A.: Validation of smart contracts using process mining. In: ZEUS. CEUR Workshop Proceedings, vol. 2339, pp. 13–16 (2019)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Ivković, V., Luković, I. (2021). An Approach to Validation of Business-Oriented Smart Contracts Based on Process Mining. In: Bellatreche, L., et al. New Trends in Database and Information Systems. ADBIS 2021. Communications in Computer and Information Science, vol 1450. Springer, Cham. https://doi.org/10.1007/978-3-030-85082-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-030-85082-1_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-85081-4
Online ISBN: 978-3-030-85082-1
eBook Packages: Computer ScienceComputer Science (R0)