On the Need to Use Smart Contracts in Enterprise Application Integration
Integration processes involve Business Constraints and Service Level Agreements that, with current technology, are not monitored or enforced automatically at run-time. This approach leaves the participants with no means of supervising the development of their interactions or of collecting indisputable evidence to ease the resolution of disputes that can potentially emerge. In this paper, to address the issue, we suggest the inclusion of smart contracts in integration processes to supervise and mediate, at run-time, the agreements to which the participants commit. We discuss the requirements that smart contracts for integration processes need to meet and the challenges involved in writing, executing, deploying, and verifying them.
Abdelsadiq, A., Molina-Jimenez, C., and Shrivastava, S. (2011). A high–level model-checking tool for verifying service agreements. In 6th IEEE International Symposium on Service–Oriented System Engineering (SOSE’2011), pages 297–304.
Antonopoulos, A. M. and Wood, G. (2018). Mastering Ethereum. O’Reilly Media, Inc. CPN Tools (2022). Colored Petri nets and CPN tools. http://cpntools.org/ 2018/01/16/publications/. Visited on 04 Jan 2022.
Filippi, P. D. and Wright, A. (2018). Blockchain and the Law: The Rule of Code. Hardvard University Press.
Frantz, R. Z., Sawicki, S., Roos-Frantz, F., Basso, F. P., Zucoloto, B., and Pillat, R. M. (2022). On the analysis of makespan and performance of the task-based execution model for enterprise application integration platforms: An empirical study. Software: Practice and Experience, pages 1–19.
Governatori, G., Milosevic, Z., and Sadiq, S. (2006). Compliance checking between business processes and business contracts. In 10th IEEE International Enterprise Dis- tributed Object Computing Conference (EDOC’06), pages 221–232.
Kasinathan, P. and Cuellar, J. (2018). Securing the integrity of workflows in IoT. In International Conference on Embedded Wireless Systems and Networks (EWSN’18), pages 252–257.
Khan, S. N., Loukil, F., Ghedira-Guegan, C., Benkhelifa, E., and Bani-Hani, A. (2021). Blockchain smart contracts: Applications, challenges, and future trends. Peer-to-peer Networking and Applications, 14(5):2901–2925.
Kochovski, P., Stankovski, V., Gec, S., Faticanti, F., Savi, M., Siracusa, D., and Kum, S. (2020). Smart contracts for service-level agreements in edge-to-cloud computing. Journal of Grid Computing, 18(4):673–690.
Law Commission (2020). Smart contracts call for evidence. https://www.lawcom.gov.uk/project/smart-contracts/. Visited on 19 Dec 2020.
Makell ?a, M. (2005). Maria: The modular reachability analyzer. http://www.tcs.hut.fi/Software/maria/index.en.html.
Marshall, L. F. (1993). Representing management policy using contract objects. In IEEE First International Workshop on Systems Management, pages 27–30.
Mattila, J. (2016). The blockchain phenomenon – the disruptive potential of distributed consensus architectures. Berkeley Roundtable of the International Economy, 1(38):1– 26.
Minsky, N. (2010). A model for the governance of federated healthcare information systems. In IEEE International Symposium on Policies for Distributed Systems and Networks (Policy’10), pages 111–119.
Minsky, N. H. and Lockman, A. D. (1985). Ensuring integrity by adding obligations to privileges. In 8th International Conference on Software Engineering, pages 92–102. Model Checking Contest Committee (2019). Model checking contest 2019: 9th edition, prague, czech republic, april 7, 2019. https://mcc.lip6.fr. Visited on 10 Jan 2019.
Molina-Jimenez, C. (Visited in Jan 2022). Contraval. https://github.com/carlos-molina/contraval.
Molina-Jimenez, C., Sfyrakis, I., Solaiman, E., Ng, I., Wong, M. W., Chun, A., and Crowcroft, J. (2018). Implementation of smart contracts using hybrid architectures with on and off–blockchain components. In 8th IEEE International Symposium on Cloud and Service Computing (SC2) 2018, pages 83–90.
Molina-Jimenez, C. and Shrivastava, S. (2013). Establishing conformance between contracts and choreographies. In IEEE Conference on Business Informatics (CBI’13), pages 69–78.
Molina-Jimenez, C., Shrivastava, S., and Strano, M. (2012). A model for checking contractual compliance of business interactions. IEEE Transaction on Service Computing, 5(2):276–289.
Parahyba, F., Frantz, R. Z., and Roos-Frantz, F. (2021). On the estimation of makespan in runtime systems of enterprise application integration platforms: a mathematical modelling approach. International Journal of Computer Applications in Technology, 67(1):17–28.
Perrin, O. and Godart, C. (2004). An approach to implement contracts as trusted intermediaries. In 1st IEEE International Workshop on Electronic Contracting (WEC’04), pages 71–78.
Scheid, E. J., Rodrigues, B. B., Granville, L. Z., and Stiller, B. (2019). Enabling dynamic sla compensation using blockchain-based smart contracts. In IFIP/IEEE Symposium on Integrated Network and Service Management (IM’19), pages 53–61. IEEE.
SPIN (2022). On-the-fly, ltl model checking with spin. http://spinroot.com. Visited in Jan 2022.
Szabo, N. (1997). Formalizing and securing relationships on public networks. First monday, 2(9).
Tan, W., Zhu, H., Tan, J., Zhao, Y., Xu, L. D., and Guo, K. (2021). A novel service level agreement model using blockchain and smart contract for cloud manufacturing in industry 4.0. Enterprise Information Systems, 0(0):1–26.
Uriarte, R. B., Nicola, R. D., and Kritikos, K. (2018). Towards distributed sla management with smart contracts and blockchain. In IEEE International Conference on Clou Computing Technology and Science (CloudCom), pages 266–271.
Varela-Vaca, ?A. J. and Quintero, A. M. R. (2021). Smart contract languages: A multivocal mapping study. ACM Computing Surveys (CSUR), 54(1):1–38.
Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev, A., and Mendling, J. (2016). Untrusted business process monitoring and execution using blockchain. In International Conference on Business Process Management (BPM’16), pages 329–347. Springer.
Wohrer, M. and Zdun, U. (2020). From domain-specific language to code: Smart contracts and the application of design patterns. IEEE Software, 37(5):37–42.
Zimmermann, O., Pautasso, C., Hohpe, G., and Woolf, B. (2016). A decade of enterprise integration patterns: A conversation with the authors. IEEE Software, 33(1):13–19.