Skip to main content
SpringerLink
Log in

Deriving and Formalizing Requirements of Decentralized Applications for Inter-Organizational Collaborations on Blockchain

  • Research Article-Computer Engineering and Computer Science
  • Published:
Arabian Journal for Science and Engineering Aims and scope Submit manuscript

Abstract

Traditional information systems that enable organizations to collaborate, share information and resources, have several weaknesses such as security, interoperability and transparency issues. As a result, organizations are now moving their inter-organizational collaborations to blockchains. The latter are decentralized networks that allows participants to store and replicate information across multiple nodes, thereby providing immutable and trustable access to data without relying on a central authority. The state of the art shows several blockchain technologies such as smart contracts, consensus methods and decentralized storage to enable enterprises in executing their collaborations on blockchains. However, absent is a suitable software-engineering-driven framework for designing blockchain decentralized applications that enable inter-organizational collaborations. This paper fills the gap by proposing a framework for developing decentralized applications for organizational collaborations by first showing a model-driven method for deriving requirements of blockchain applications. Therefore, this paper presents a goal-modelling method to systematically describe the requirements of a running case about inter-organizational collaboration. A goal-model diagram produced from the running case is formally evaluated for correctness and consistency using the model syntax-verification method described in this paper.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. AOM STS http://www.tud.ttu.ee/im/Msury.Mahunnah/AOM4STS/.

  2. Enterprise Architect SDK: https://sparxsystems.com/enterprise_architect_user_guide/14.0/modeling_tools/introduction_2.html.

References

  1. Bouchbout, K.; Alimazighi, Z.: Inter-organizational business processes modelling framework. In: ADBIS (2), pp. 45–54. Citeseer, (2011)

  2. Matulevičius, R.; Norta, A.; Udokwu, C.; Nõukas, R.: Assessment of aviation security risk management for airline turnaround processes. In: Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXVI, pp. 109–141. Springer (2017)

  3. Draheim, D.: Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economies. In: Digital Transformation for a Sustainable Society in the 21st Century: 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings, pp. 464. Springer Nature (2019)

  4. Kormiltsyn, A.; Udokwu, C.; Karu, K.; Thangalimodzi, K.; Norta, A.: Improving healthcare processes with smart contracts. In: International Conference on Business Information Systems, pp. 500–513. Springer (2019)

  5. Udokwu, C.; Kormiltsyn, A.; Thangalimodzi, K.; Norta, A.: The state of the art for blockchain-enabled smart-contract applications in the organization. In: 2018 Ivannikov Ispras Open Conference (ISPRAS), pp. 137–144. IEEE (2018)

  6. Bashir, I.: Mastering Blockchain: Distributed Ledger Technology decentralization, and smart contracts explained. Packt Publishing Ltd, Birmingham (2018)

    Google Scholar 

  7. Swan, M.: Blockchain: Blueprint for a new economy. O’Reilly Media Inc, Newton (2015)

    Google Scholar 

  8. Cai, W.; Wang, Z.; Ernst, J.B.; Hong, Z.; Feng, C.; Leung, V.C.: Decentralized applications: the blockchain-empowered software system. IEEE Access 6, 53019–53033 (2018)

    Article  Google Scholar 

  9. Salah, K.; Nizamuddin, N.; Jayaraman, R.; Omar, M.: Blockchain-based soybean traceability in agricultural supply chain. IEEE Access 7, 73295–73305 (2019)

    Article  Google Scholar 

  10. Hasan, H.R.; Salah, K.: Proof of delivery of digital assets using blockchain and smart contracts. IEEE Access 6, 65439–65448 (2018)

    Article  Google Scholar 

  11. Hasan, H.R.; Salah, K.: Blockchain-based solution for proof of delivery of physical assets. In: International Conference on Blockchain, pp. 139–152. Springer (2018)

  12. Udokwu, C.; Anyanka, H.; Norta, A.: Evaluation of approaches for designing and developing decentralized applications

  13. Kim, H.M.; Laskowski, M.: Toward an ontology-driven blockchain design for supply-chain provenance. Intell. Syst. Account. Finance Manag. 25(1), 18–27 (2018)

    Article  Google Scholar 

  14. García-Bañuelos, L.; Ponomarev, A.; Dumas, M.; Weber, I.: Optimized execution of business processes on blockchain. In: International Conference on Business Process Management, pp. 130–146. Springer (2017)

  15. Dagher, G.G.; Mohler, J.; Milojkovic, M.; Marella, P.B.: Ancile: privacy-preserving framework for access control and interoperability of electronic health records using blockchain technology. Sustain. Cities Soc. 39, 283–297 (2018)

    Article  Google Scholar 

  16. Giorgini, P.; Mylopoulos, J.; Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng. Appl. Artif. Intell. 18(2), 159–171 (2005)

    Article  Google Scholar 

  17. Chopra, A.K.; Dalpiaz, F.; Giorgini, P.; Mylopoulos, J.: Modeling and reasoning about service-oriented applications via goals and commitments. In: International Conference on Advanced Information Systems Engineering, pp. 113–128. Springer, Berlin (2010)

  18. Andersson, B.; Johannesson, P.; Zdravkovic, J.: Aligning goals and services through goal and business modelling. Inf. Syst. E-Bus. Manag. 7(2), 143–169 (2009)

    Article  Google Scholar 

  19. Sterling, L.; Taveter, K.: The art of agent-oriented modeling. MIT Press, Cambridge (2009)

    Book  Google Scholar 

  20. Bartoletti, M.; Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns. In: International Conference on Financial Cryptography and Data Security, pp. 494–509. Springer, Berlin (2017)

  21. Jain, A.; Arora, S.; Shukla, Y.; Patil, T.; Sawant-Patil, S.: Proof of stake with casper the friendly finality gadget protocol for fair validation consensus in ethereum. Int. J. Sci. Res. Comput. Sci. Eng. Inf. Technol. 3(3), 291–298 (2018)

    Google Scholar 

  22. Zheng, Z.; Xie, S.; Dai, H.; Chen, X.; Wang, H.: An overview of blockchain technology: architecture, consensus, and future trends. In: 2017 IEEE International Congress on Big Data (BigData Congress), pp. 557–564. IEEE (2017)

  23. Pilkington, M.: Blockchain Technology: Principles and Applications. Research handbook on digital transformations. Edward Elgar Publishing, Cheltenham (2016)

    Google Scholar 

  24. Croman, K.; Decker, C.; Eyal, I.; Gencer, A.E.; Juels, A.; Kosba, A.; Miller, A.; Saxena, P.; Shi, E.; Sirer, E.G.; et al.: On scaling decentralized blockchains. In: International Conference on Financial Cryptography and Data Security, pp. 106–125. Springer, Heidelberg (2016)

  25. Dannen, C.: Introducing Ethereum and Solidity. Springer, Switzerland (2017)

    Book  Google Scholar 

  26. López-Pintado, O.; García-Bañuelos, L.; Dumas, M.; Weber, I.: Caterpillar: a blockchain-based business process management system. In: BPM (Demos) (2017)

  27. Von Alan, R.H.; March, S.T.; Park, J.; Ram, S.: Design science in information systems research. MIS Q. 28(1), 75–105 (2004)

    Article  Google Scholar 

  28. Balahontsev, V.; Tsikhilov, A.; Norta, A.; Udokwu, C.: A blockchain system for the attestation and authorization of digital assets version 1.0 (2019). https://doi.org/10.13140/RG.2.2.25027.96807/1

  29. Norta, A.; Grefen, P.; Narendra, N.C.: A reference architecture for managing dynamic inter-organizational business processes. Data Knowl. Eng. 91, 52–89 (2014)

    Article  Google Scholar 

  30. Cleland-Huang, J.; Settimi, R.; Zou, X.; Solc, P.: Automated classification of non-functional requirements. Requir. Eng. 12(2), 103–120 (2007)

    Article  Google Scholar 

  31. Cleland-Huang, J.; Settimi, R.; BenKhadra, O.; Berezhanskaya, E.; Christina, S.: Goal-centric traceability for managing non-functional requirements. In: Proceedings 27th International Conference on Software Engineering, 2005. ICSE 2005, pp. 362–371. IEEE (2005)

  32. Korpela, K.; Mikkonen, K.; Hallikas, J.; Pynnönen, M.: Digital business ecosystem transformation–towards cloud integration. In: 2016 49th Hawaii International Conference on System Sciences (HICSS), pp. 3959–3968. IEEE (2016)

  33. Irannezhad, E.: The architectural design requirements of a blockchain-based port community system. Logistics 4(4), 30 (2020)

    Article  Google Scholar 

  34. Zhang, P.; White, J.; Schmidt, D.C.; Lenz, G.: Design of blockchain-based apps using familiar software patterns with a healthcare focus. In: Proceedings of the 24th Conference on Pattern Languages of Programs, pp. 1–14 (2017)

  35. Cysneiros, L.M.; do Prado Leite, J.C.S.: Nonfunctional requirements: from elicitation to conceptual models. IEEE Trans. Softw. Eng. 30(5), 328–350 (2004)

    Article  Google Scholar 

  36. Marchesi, M.; Marchesi, L.; Tonelli, R.: An agile software engineering method to design blockchain applications. In: Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia, pp. 1–8 (2018)

  37. Kondo, Y.: Smart contract lifecycle management. US Patent App. 15/626,236 (2018)

  38. Norta, A.: Designing a smart-contract application layer for transacting decentralized autonomous organizations. In: International Conference on Advances in Computing and Data Sciences, pp. 595–604. Springer (2016)

  39. Ellis, S.; Juels, A.; Sergey.: A decentralized oracle network Nazarov (2017). https://www.chainwhy.com/upload/zb_users/upload/2018/05/201805071525668312734700.pdf. Accessed 22 Jan 2021

  40. Tenso, T.; Norta, H.; Rootsi, H.; Taveter, K.; Vorontsova, I.: Enhancing requirements engineering in agile methodologies by agent-oriented goal models. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) (2017)

  41. Norta, A.; Wenna, C.; Udokwu, C.: Designing a collaborative construction-project platform on blockchain technology for transparancy, traceablity and information symmetry (2020). https://doi.org/10.13140/RG.2.2.17356.64644

  42. Norta, A.; Hawthorne, D.; Engel, S.L.: A privacy-protecting data-exchange wallet with ownership-and monetization capabilities. In: 2018 International Joint Conference on Neural Networks (IJCNN), pp. 1–8. IEEE (2018)

  43. Norta, A.; Rossar, R.; Parve, M.; Laas-Billson, L.: Achieving a high level of open market-information symmetry with decentralised insurance marketplaces on blockchains. In: Intelligent Computing-Proceedings of the Computing Conference, pp. 299–318. Springer (2019)

  44. Dai, P.; Mahi, N.; Earls, J.; Norta, A.: Smart-contract value-transfer protocols on a distributed mobile application platform. Qtum Foundation, Singapore (2017). https://doi.org/10.13140/RG.2.2.35140.63365

    Article  Google Scholar 

  45. Yang, J.; Twohey, P.; Engler, D.; Musuvathi, M.: Using model checking to find serious file system errors. ACM Trans. Comput. Syst. (TOCS) 24(4), 393–423 (2006)

    Article  Google Scholar 

  46. Aman, H.; Ibrahim, R.: Reverse engineering: from xml to uml for generation of software requirement specification. In: 2013 8th International Conference on Information Technology in Asia (CITA), pp. 1–6. IEEE (2013)

  47. Lima, V.; Talhi, C.; Mouheb, D.; Debbabi, M.; Wang, L.; Pourzandi, M.: Formal verification and validation of uml 2.0 sequence diagrams using source and destination of messages. Electron. Notes Theor. Comput. Sci. 254, 143–160 (2009)

    Article  Google Scholar 

  48. Ma, J.; Zhang, D.; Xu, G.; Yang, Y.: Model checking based security policy verification and validation. In: 2010 2nd International Workshop on Intelligent Systems and Applications, pp. 1–4. IEEE (2010)

  49. Souri, A.; Nourozi, M.; Rahmani, A.M.; Navimipour, N.J.: A model checking approach for user relationship management in the social network. Kybernetes 48(3), 407–423 (2019). https://doi.org/10.1108/K-02-2018-0092

    Article  Google Scholar 

  50. Weidong, Y.; Ning, G.; Baile, S.: Reverse engineering xml. In: First International Multi-Symposiums on Computer and Computational Sciences (IMSCCS’06), vol. 2, pp. 447–454. IEEE (2006)

  51. Rodríguez-Gianolli, P.; Mylopoulos, J.: A semantic approach to xml-based data integration. In: International Conference on Conceptual Modeling, pp. 117–132. Springer (2001)

  52. Fong, J.; Cheung, S.K.; Shiu, H.: The xml tree model-toward an xml conceptual schema reversed from xml schema definition. Data Knowl. Eng. 64(3), 624–661 (2008)

    Article  Google Scholar 

  53. Huth, M.; Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, Cambridge (2004)

    Book  Google Scholar 

  54. Conrad, R.; Scheffner, D.; Freytag, J.C.: Xml conceptual modeling using uml. In: International Conference on Conceptual Modeling, pp. 558–571. Springer, Heidelberg (2000)

  55. Calvanese, D.; De Giacomo, G.; Lenzerini, M.: Representing and reasoning on xml documents: a description logic approach. J. Logic Comput. 9(3), 295–318 (1999)

    Article  MathSciNet  Google Scholar 

  56. Papakonstantinou, Y.; Vianu, V.: DTD inference for views of xml data. In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of database systems, pp. 35–46. ACM (2000)

  57. Mahunnah, M.; Taveter, K.; Matulevičius, R.: An empirical evaluation of the requirements engineering tool for socio-technical systems. In: 2018 IEEE 7th International Workshop on Empirical Requirements Engineering (EmpiRE), pp. 8–15. IEEE (2018)

Download references

Author information

Authors and Affiliations

  1. Blockchain Technology Group, Department of Software Science, Tallinn University of Technology, Akadeemia tee 15a, 12616, Tallinn, Estonia

    Chibuzor Udokwu & Alex Norta

Authors
  1. Chibuzor Udokwu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alex Norta
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chibuzor Udokwu.

Appendices

Appendix

A idCredit Goal-Model XML

figure b
figure c
figure d
figure e
figure f
figure g

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Udokwu, C., Norta, A. Deriving and Formalizing Requirements of Decentralized Applications for Inter-Organizational Collaborations on Blockchain. Arab J Sci Eng 46, 8397–8414 (2021). https://doi.org/10.1007/s13369-020-05245-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13369-020-05245-4

Keywords

Search

Navigation