Skip to main content
Book cover

International Congress on Blockchain and Applications

BLOCKCHAIN 2019: Blockchain and Applications pp 45–53Cite as

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

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

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.

Keywords

  • Smart contracts
  • Pro-activeness
  • Asynchronous interaction

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-23813-1_6
  • Chapter length: 9 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   129.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-23813-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   169.99
Price excludes VAT (USA)
Learn about institutional subscriptions
Fig. 1.

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

    CrossRef  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

    CrossRef  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

    CrossRef  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

    Prof. 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

    Prof. 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

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