Abstract
Three of the key impediments that need to be addressed to unlock the true potential of smart contract-based applications include: (i) a lack of operational capabilities to leverage trustworthiness, (ii) limited ability for reuse in volatile and heterogenous application contexts, and (iii) inherent coding complexity that hinders not only involvement of non-technical business experts but also widely used DevOps practices.
This paper reports on the core intermediate results of the development of a model-driven DevOps approach -labelled ChainOps- that ultimately will enable involvement of non-experts, promote reuse and allow for automatic semantic model checking and reasoning to ascertain improved trustworthiness. In addition, a preliminary architecture of an experimental prototype -that is currently under development- is discussed. Finally, this paper plots a roadmap for much needed future research to further explore, validate and extend our initial findings.
Part of this work is supported by the Next Generation Internet ONTOCHAIN initiative under grant agreement No. 957338.
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
Maesa, D., Mori, P.: Blockchain 3.0 applications survey. J. Parallel Distrib. Comput. 138, 99–114 (2020). https://doi.org/10.1016/j.jpdc.2019.12.019
Butijn, B.-J., Tamburri, D.A., Heuvel, W.-J.V.D.: Blockchains - a systematic multivocal literature review. ACM Comput. Surv. 53(3), 61 (2020). https://doi.org/10.1145/3369052
Goasduff, L.: Gartner Predicts that Organizations Using Blockchain Smart Contracts Will Increase Overall Data Quality by 50%, Gartner. https://www.gartner.com/en/newsroom/press-releases/2020-01-30-gartner-predicts-that-organizations-using-blockchain Accessed 2 Apr 2021
Zheng, Z., Xie, S., Dai, H., Chen, X., Wang, H.: An overview of blockchain technology: architecture, consensus, and future trends. In: IEEE International Congress on Big Data (BigData Congress), pp. 557–564 (2017)
Hu, B., et al.: A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems. Patterns 2(2), 100179 (2021).. PMID: 33659907; PMCID: PMC7892363. https://doi.org/10.1016/j.patter.2020.100179
Sillaber, C., Waltl, B., Treiblmaier, H., et al.: Laying the foundation for smart contract development: an integrated engineering process model. Inf. Syst. E-Bus. Manage. (2020). https://doi.org/10.1007/s10257-020-00465-5
Bedin, A.R.C., Capretz, M., Mir, S.: Blockchain for collaborative businesses. Mob. Netw. Appl. 26(1), 277–284 (2020). https://doi.org/10.1007/s11036-020-01649-6
Wöhrer, M., Zdun, U.: Design patterns for smart contracts in the ethereum ecosystem. In: IEEE International Conference on Blockchain, pp. 1513–1520 (2018). https://doi.org/10.1109/Cybermatics_2018.2018.00255
Bucchiarone, A., Cabot, J., Paige, R.F., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19(1), 5–13 (2020). https://doi.org/10.1007/s10270-019-00773-6
Jiao, J., Lin, S.W., Sun, J.: A generalized formal semantic framework for smart contracts. In: Wehrheim, H., Cabot, J. (eds.) Fundamental Approaches to Software Engineering. FASE 2020. LNCS, vol. 12076, pp. 75–96. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-45234-6_4
Petrovic, N., Tosic, M.: Semantic approach to smart contract verification. Facta Univ. Ser. Autom. Control Robot. 19, 21–37 (2020). https://doi.org/10.22190/FUACR2001021P
Feng, X., Wang, Q., Zhu, X., Wen, S.: Bug searching in smart contract, pp. 1–8 (2019). https://arxiv.org/abs/1905.00799
Lu, Q., et al.: Integrated model-driven engineering of blockchain applications for business processes and asset management. CoRR abs/2005.12685 (2020). http://arxiv.org/abs/2005.12685
Skotnica, M., Klicpera, J., Pergl, R.: Towards model-driven smart contract systems - code generation and improving expressivity of smart contract modeling. EEWC Forum Doctoral Consortium (2020). http://ceur-ws.org/Vol-2825/paper1.pdf
Garamvölgyi, P., Kocsis, I., Gehl, B., Klenik, A.: Towards model-driven engineering of smart contracts for cyber-physical systems. In: 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Luxembourg, Luxembourg, pp. 134–139 (2018). https://doi.org/10.1109/DSN-W.2018.00052
de Kruijff, J., Weigand, H.: Ontologies for commitment-based smart contracts. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10574, pp. 383–398. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-69459-7_26
Kochovski, P., et al.: Smart contracts for service-level agreements in edge-to-cloud computing. J. Grid Comput. 18(4), 673–690 (2020). https://doi.org/10.1007/s10723-020-09534-y
Teng, Y.: Towards trustworthy blockchsains: normative reflections on blockchain-enabled virtual institutions. Ethics Inf. Technol. (2021). https://doi.org/10.1007/s10676-021-09581-3
Thiebes, S., Lins, S., Sunyaev, A.: Trustworthy artificial intelligence. Electron. Mark. (2020). https://doi.org/10.1007/s12525-020-00441-4
Iansiti, M., Lakhani, K.R.: The truth about blockchain. Harv. Bus. Rev. 95(1), 118–127 (2017)
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
van den Heuvel, WJ., Tamburri, D.A., D’Amici, D., Izzo, F., Potten, S. (2021). ChainOps for Smart Contract-Based Distributed Applications. In: Shishkov, B. (eds) Business Modeling and Software Design. BMSD 2021. Lecture Notes in Business Information Processing, vol 422. Springer, Cham. https://doi.org/10.1007/978-3-030-79976-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-79976-2_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-79975-5
Online ISBN: 978-3-030-79976-2
eBook Packages: Computer ScienceComputer Science (R0)