Temporal Aspects of Smart Contracts for Financial Derivatives

  • Christopher D. ClackEmail author
  • Gabriel Vanca
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11247)


Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation.


Smart contract Distributed ledger Finance Semantics Temporal 



The authors are grateful to UCL students Justin Jude and Mengyang Wu who assisted this work by reviewing logic frameworks and providing supporting tools.


  1. 1.
    Al Khalil, F., Ceci, M., O’Brien, L., Butler, T.: A solution for the problems of translation and transparency in smart contracts. Technical report, Government Risk and Compliance Technology Centre (2017). Accessed 31 Aug 2017
  2. 2.
  3. 3.
    Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. The Computing Research Repository (CoRR) abs/1608.00771 (2016).
  4. 4.
    Clack, C.D.: Smart contract templates: the semantics of smart legal agreements. In: The Third R3 Smart Contract Templates Summit (2017). Accessed 29 Mar 2018
  5. 5.
    Clack, C.: Smart contract templates: the semantics of smart legal agreements. J. Digit. Bank. 2(4), 1–15 (2018)Google Scholar
  6. 6.
    Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: essential requirements and design options (2016).
  7. 7.
    Harley, B.: Are smart contracts contracts? Technical report, Clifford Chance (2017). Accessed 31 Aug 2017
  8. 8.
    Hvitved, T.: Contract formalisation and modular implementation of domain-specific languages. Ph.D. thesis, Department of Computer Science, University of Copenhagen (2012).
  9. 9.
    ISDA and Linklaters: Smart contracts and distributed ledger – a legal perspective (2017). Accessed 31 Aug 2017
  10. 10.
    Lee, R.M.: A logic model for electronic contracting. Decis. Support. Syst. 4, 27–44 (1988)CrossRefGoogle Scholar
  11. 11.
    Magazzeni, D., McBurney, P., Nash, W.: Validation and verification of smart contracts: a research agenda. IEEE Comput. J. 50(9), 50–57 (2017). Special Issue on Blockchain Technology for FinanceCrossRefGoogle Scholar
  12. 12.
    Pithadia, H.J.: Capturing language semantics of smart contracts. Master’s thesis, Department of Computer Science, UCL (2016)Google Scholar
  13. 13.
    Rescher, N., Urquhart, A.: Temporal Logic. Springer, Wien (1971). Scholar
  14. 14.
    Stark, J.: Making sense of blockchain smart contracts (2016). Accessed 20 June 2016

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Centre for Blockchain Technologies, Department of Computer ScienceUniversity College LondonLondonUK

Personalised recommendations