On the Need to Use Smart Contracts in Enterprise Application Integration

Fernando Parahyba; Eldair F. Dornelles; Fabrícia Roos-Frantz; Rafael Z. Frantz; Carlos Molina-Jiménez; Antonia M. Reina Quintero; José Bocanegra; Sandro Sawicki

doi:10.5753/cibse.2022.20973

Fernando Parahyba Unijuí University http://orcid.org/0000-0001-9685-5342
Eldair F. Dornelles Unijuí University http://orcid.org/0000-0001-6585-3432
Fabrícia Roos-Frantz Unijuí University http://orcid.org/0000-0001-9514-6560
Rafael Z. Frantz Unijuí University http://orcid.org/0000-0003-3740-7560
Carlos Molina-Jiménez University of Cambridge http://orcid.org/0000-0002-3617-8287
Antonia M. Reina Quintero University of Seville http://orcid.org/0000-0003-3698-6302
José Bocanegra University of The Andes http://orcid.org/0000-0002-8342-7346
Sandro Sawicki Unijuí University http://orcid.org/0000-0002-7960-0775

DOI: https://doi.org/10.5753/cibse.2022.20973

Resumo

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.

Palavras-chave: Smart Contract, Blockchain, Trusted Third Parties, Integration Process, Integration Solution, Service Level Agreement, Business Process, Enterprise Application Integration

Referências

Abdelsadiq, A., Molina-Jimenez, C., and Shrivastava, S. (2010). On model checker based testing of electronic contracting systems. In 12th IEEE International Conference on Commerce and Enterprise Computing (CEC’10), pages 88–95.

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.