Abstract
Over the past few decades, the automation of inter-organizational processes has been the focus of several research efforts that have produced a broad spectrum of design methods and technologies. Recently, some experiments have shown how in principle a Decentralized Autonomous Process-Aware Information System (DAIS) can be implemented by means of Blockchain-based Smart Contracts (BSCs). In this paper, we cast a shadow on this novel approach by arguing that such kind of contracts cannot be considered an optimal abstraction to specify inter-organizational process models. We base our analysis on contractual incompleteness, a pivotal concept in widely accepted economic theories. We identify the main weakness in the conflict between the immutability-by-default of the BSCs and the nature of inter-organizational processes. As a result of this analysis, we introduce the concept of enforceable business process that is more in line with the original idea of smart contract and extends it to better match the essential requirements of a DAIS.
S. Migliorini and M. Gambini—Member of the IEEE Blockchain Technical Community.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Buterin, V.: A Next-Generation Smart Contract and Decentralized Application Platform (2014). http://github.com/ethereum/wiki/wiki/White-Paper. Accessed 04 2019
Combi, C., Gambini, M., Migliorini, S., Posenato, R.: Representing business processes through a temporal data-centric workflow modeling language: an application to the management of clinical pathways. IEEE Trans. Syst. Man Cybern. Syst. 44(9), 1182–1203 (2014)
García-Bañuelos, L., Ponomarev, A., Dumas, M., Weber, I.: Optimized execution of business processes on blockchain. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNCS, vol. 10445, pp. 130–146. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-65000-5_8
Hart, O.: Incomplete contracts and control. Am. Econ. Rev. 107(7), 1731–1752 (2017)
Hart, O., Holmström, B.: The Theory of Contracts. Econometric Society Monographs, pp. 71–156. Cambridge University Press, New York (1987)
Mendling, J., et al.: Blockchains for business process management - challenges and opportunities. ACM Trans. Manage. Inf. Syst. 9(1), 4:1–4:16 (2018)
Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). http://www.bitcoin.org/bitcoin.pdf. Accessed 04 2019
Powell, W.W.: Neither market nor hierarchy: network forms of organization. Res. Organ. Behav. 12, 295–336 (1990)
Simon, H.A.: Organizations and markets. J. Econ. Persp. 5(2), 25–44 (1991)
Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997). https://doi.org/10.5210/fm.v2i9.548. Accessed Apr 2019
Williamson, O.E.: The Economic Institutions of Capitalism: Firms, Markets, Relational Contracting. The Free Press. A division of Macmillan, Inc. New York (1985)
Williamson, O.E.: Comparative economic organization: the analysis of discrete structural alternatives. Adm. Sci. Q. 36(2), 269–296 (1991)
Acknowledgment
This work is partially supported by the Italian National Group for Scientific Computation (GNCS-INDAM) and by “Progetto di Eccellenza” of the Computer Science Department, University of Verona, Italy.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Migliorini, S., Gambini, M., Combi, C., La Rosa, M. (2019). The Rise of Enforceable Business Processes from the Hashes of Blockchain-Based Smart Contracts. In: Reinhartz-Berger, I., Zdravkovic, J., Gulden, J., Schmidt, R. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2019 2019. Lecture Notes in Business Information Processing, vol 352. Springer, Cham. https://doi.org/10.1007/978-3-030-20618-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-20618-5_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20617-8
Online ISBN: 978-3-030-20618-5
eBook Packages: Computer ScienceComputer Science (R0)