Modelling the Transition to Distributed Ledgers

  • Jan SürmeliEmail author
  • Stefan Jähnichen
  • Jeff W. Sanders
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11246)


The emergence of Distributed Ledger Technologies and Cryptocurrencies impacts on how transactions of various assets between parties in highly dynamical settings – such as the Internet of Things or Smart Cities – are modelled and implemented in several ways. We study this transition from centralized accounts with explicit owners towards distributed ledgers with challenge-based transaction access control. We capture the transition in a series of linked formal specifications in Z, enabling the comparison between the two settings. In particular, we provide a reference model and then refine it for the respective settings.


Distributed ledger Blockchain Formal specification 


  1. 1.
    Abrial, J., Schuman, S.A., Meyer, B.: Specification language. In: McKeag, R.M., Macnaughlen, A.M. (eds.) On the Construction of Programs, pp. 343–410. Cambridge University Press, Cambridge (1980)Google Scholar
  2. 2.
    Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, pp. 30:1–30:15. ACM, New York (2018).,
  3. 3.
    Atzei, N., Bartoletti, M., Lande, S., Zunino, R.: A formal model of Bitcoin transactions. IACR Cryptology ePrint Archive 2017, 1124 (2017).
  4. 4.
    Bonneau, J., Miller, A., Clark, J., Narayanan, A., Kroll, J.A., Felten, E.W.: SoK: research perspectives and challenges for Bitcoin and cryptocurrencies. In: IEEE Symposium on Security and Privacy, pp. 104–121. IEEE Computer Society (2015)Google Scholar
  5. 5.
    Bures, T., Plasil, F., Kit, M., Tuma, P., Hoch, N.: Software abstractions for component interaction in the Internet of Things. Computer 49(12), 50–59 (2016). Scholar
  6. 6.
    Cachin, C., Caro, A.D., Moreno-Sanchez, P., Tackmann, B., Vukolic, M.: The transaction graph for modeling blockchain semantics. IACR Cryptology ePrint Archive 2017, 1070 (2017).
  7. 7.
    Easley, D.A., Kleinberg, J.M.: Networks, Crowds, and Markets - Reasoning About a Highly Connected World. Cambridge University Press, Cambridge (2010).
  8. 8.
    Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof systems. SIAM J. Comput. 18(1), 186–208 (1989)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Lindman, J., Tuunainen, V.K., Rossi, M.: Opportunities and risks of blockchain technologies-a research agenda. In: Proceedings of the 50th Hawaii International Conference on System Sciences (2017)Google Scholar
  10. 10.
    Mainelli, M., Smith, M.: Sharing ledgers for sharing economies: an exploration of mutual distributed ledgers (aka blockchain technology). J. Financ. Perspect. 3(3), 38–58 (2015)Google Scholar
  11. 11.
    Marc, P.: Blockchain technology: principles and applications. In: Xavier Olleros, F., Zhegu, M. (eds.) Handbook of Research on Digital Transformations. Edward Elgar, Cheltenham (2016)Google Scholar
  12. 12.
    Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008).
  13. 13.
    Spivey, J.M.: The Z Notation - A Reference Manual. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  14. 14.
    Swanson, T.: Consensus-as-a-service: a brief report on the emergence of permissioned, distributed ledger systems (2015)Google Scholar
  15. 15.
    Tschorsch, F., Scheuermann, B.: Bitcoin and beyond: a technical survey ondecentralized digital currencies. IEEE Commun. Surv. Tutor. 18(3), 2084–2123 (2016). Scholar
  16. 16.
    Walport, M.: Distributed ledger technology: beyond block chain (2016)Google Scholar
  17. 17.
    Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems - The ASCENS Approach. LNCS, vol. 8998. Springer, Cham (2015). Scholar
  18. 18.
    Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2018).

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Jan Sürmeli
    • 1
    • 2
    Email author
  • Stefan Jähnichen
    • 1
    • 2
  • Jeff W. Sanders
    • 3
  1. 1.Technische Universität BerlinBerlinGermany
  2. 2.FZI Forschungszentrum Informatik am Karlsruher Institut für TechnologieKarlsruheGermany
  3. 3.African Institute for Mathematical SciencesMuizenbergSouth Africa

Personalised recommendations