Skip to main content
SpringerLink
Log in

Smart Contracts are More than Objects: Pro-activeness on the Blockchain

  • Conference paper
  • First Online:
Book cover Blockchain and Applications (BLOCKCHAIN 2019)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1010 ))

Included in the following conference series:

Abstract

In this paper we focus on the expressiveness of smart contracts (SC) and its role in blockchain technologies (BCT), by presenting Tenderfone, a prototypical blockchain platform providing SC as pro-active, time-aware, and asynchronous entities.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://tendermint.com/docs/app-dev/app-architecture.html.

References

  1. Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: 13th EuroSys Conference (EuroSys 2018). ACM, New York (2018). https://doi.org/10.1145/3190508.3190538

  2. Aublin, P.L., Guerraoui, R., Knežević, N., Quéma, V., Vukolić, M.: The next 700 BFT protocols. ACM Trans. Comput. Syst. 32(4), 1–45 (2015). https://doi.org/10.1145/2658994

    Article  Google Scholar 

  3. Cachin, C., Vukolić, M.: Blockchain consensus protocols in the wild (keynote talk). In: 31st International Symposium on Distributed Computing (DISC 2017). LIPIcs, vol. 91, pp. 1:1–1:16. Dagstuhl, Germany (2017). https://doi.org/10.4230/LIPIcs.DISC.2017.1

  4. Ciatto, G., Calegari, R., Mariani, S., Denti, E., Omicini, A.: From the blockchain to logic programming and back: research perspectives. In: Cossentino, M., Sabatucci, L., Seidita, V. (eds.) WOA 2018 – 19th Workshop From Objects to Agents, CEUR Workshop Proceedings, vol. 2215, pp. 69–74 (2018). http://ceur-ws.org/Vol-2215/paper_12.pdfs

  5. Ciatto, G., Mariani, S., Omicini, A.: Blockchain for trustworthy coordination: a first study with Linda and Ethereum. In: 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), pp. 696–703 (2018). https://doi.org/10.1109/WI.2018.000-9

  6. Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight prolog for internet applications and infrastructures. In: practical aspects of declarative languages. LNCS, vol. 1990, pp. 184–198. Springer (2001). https://doi.org/10.1007/3-540-45241-9_13

    Chapter  Google Scholar 

  7. Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., Xu, X.: On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4), 377–409 (2018). https://doi.org/10.1007/s10506-018-9223-3

    Article  Google Scholar 

  8. Kwon, J.: Tendermint: Consensus without mining (2014). https://tendermint.com/static/docs/tendermint.pdf

  9. Maffi, A.: Tenderfone GitLab Repository. https://gitlab.com/pika-lab/blockchain/tenderfone/tenderfone-sc

  10. Szabo, N.: Smart contracts (1994). http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart.contracts.html

  11. Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014). http://ethereum.github.io/yellowpaper/paper.pdf

Download references

Author information

Authors and Affiliations

  1. Alma Mater Studiorum–Università di Bologna, Bologna, Italy

    Giovanni Ciatto, Alfredo Maffi & Andrea Omicini

  2. Università di Modena e Reggio Emilia, Modena, Italy

    Stefano Mariani

Authors
  1. Giovanni Ciatto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfredo Maffi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefano Mariani
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andrea Omicini .

Editor information

Editors and Affiliations

  1. BISITE Research Group, Salamanca, Salamanca, Spain

    Javier Prieto

  2. International Institute of Information Technology, Gachibowli, Hyderabad, India

    Ashok Kumar Das

  3. Dipartimento di Informatica - Scienza e Ingegneria , University of Bologna, Bologna, Italy

    Stefano Ferretti

  4. Politecnico do Porto and INESC TEC , Porto, Portugal

    António Pinto

  5. BISITE Digital Innovation Hub, University of Salamanca, AIR Institute - Deep Tech Lab , Salamanca, Salamanca, Spain

    Juan Manuel Corchado

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ciatto, G., Maffi, A., Mariani, S., Omicini, A. (2020). Smart Contracts are More than Objects: Pro-activeness on the Blockchain. In: Prieto, J., Das, A., Ferretti, S., Pinto, A., Corchado, J. (eds) Blockchain and Applications. BLOCKCHAIN 2019. Advances in Intelligent Systems and Computing, vol 1010 . Springer, Cham. https://doi.org/10.1007/978-3-030-23813-1_6

Download citation

Publish with us

Policies and ethics

Search

Navigation