Skip to main content
SpringerLink
Log in
Book cover

World Conference on Information Systems and Technologies

WorldCIST 2020: Trends and Innovations in Information Systems and Technologies pp 387–394Cite as

Logic-Based Smart Contracts

  • Conference paper
  • First Online:

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

Abstract

With the increasing popularity and diversity of Blockchain systems, smart contracts were introduced as a necessity to automatically execute certain operation depending on the occurred events. The programming languages used in defining the triggering events and their consequent actions depends on the Blockchain implementation. In this article, we will investigate the advantages and suitable scenarios for using a formal approach in defining smart contracts. We will use a particular python implementation of a Blockchain and add the interface with a Prolog component for defining and querying smart contracts.

This is a preview of subscription content, 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   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.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

Learn about institutional subscriptions

References

  1. Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System, 31 October 2008. https://git.dhimmel.com/bitcoin-whitepaper/

  2. Clake, I.: A distributed decentralized Information Storage and Retrieval System. University of Edinburgh (1999)

    Google Scholar 

  3. Antonopoulos, A.M., Wood, G.: Mastering Ethereum: Building Smart Contracts and Dapps, 1st edn. O’Reilly Media, Sebastopol (2018)

    Google Scholar 

  4. Dannen, C.: Introducing Ethereum and Solidity. Apress Media, New York (2017)

    Book  Google Scholar 

  5. Buterin, V.: Vyper Documentation. In: Vyper by Example, p. 13, 4 October 2018. https://readthedocs.org/projects/viper/downloads/pdf/latest/

  6. Delmolino, K., Arnett, M., Kosba, A., Miller, A., Shi, E.: A Programmer’s Guide to Ethereum and Serpent, p. 6, 21 May 2015. https://mc2-umd.github.io/ethereumlab/docs/serpent_tutorial.pdf

  7. Li, J., Yang, C.: How to exploit blockchain public chain and smart contract vulnerability. In: HITBSecConf 2018 (2018)

    Google Scholar 

  8. Bashir, I.: Mastering Blockchain, 2nd edn. Packt Publishing, Birmingham (2018)

    Google Scholar 

  9. Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, 6–9 July 2016

    Google Scholar 

  10. BigchainDB GmbH: BigchainDB 2.0 The Blockchain Database, May 2018

    Google Scholar 

  11. Pregelj, J.: CRAB — Create. Retrieve. Append. Burn., 18 October 2017

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania

    Adriana Stancu & Mihaita Dragan

Authors
  1. Adriana Stancu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mihaita Dragan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Adriana Stancu .

Editor information

Editors and Affiliations

  1. Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra, Portugal

    Álvaro Rocha

  2. College of Engineering, The Ohio State University, Columbus, OH, USA

    Hojjat Adeli

  3. FEUP, Universidade do Porto, Porto, Portugal

    Luís Paulo Reis

  4. DIMES, Università della Calabria, Arcavacata, Italy

    Sandra Costanzo

  5. Faculty of Electrical Engineering, University of Montenegro, Podgorica, Montenegro

    Irena Orovic

  6. Universidade Portucalense, Porto, Portugal

    Fernando Moreira

Rights and permissions

Reprints and permissions

Copyright information

© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Stancu, A., Dragan, M. (2020). Logic-Based Smart Contracts. In: Rocha, Á., Adeli, H., Reis, L., Costanzo, S., Orovic, I., Moreira, F. (eds) Trends and Innovations in Information Systems and Technologies. WorldCIST 2020. Advances in Intelligent Systems and Computing, vol 1159. Springer, Cham. https://doi.org/10.1007/978-3-030-45688-7_40

Download citation

Publish with us

Policies and ethics

Search

Navigation