Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
12-2023
Abstract
Existing approaches to modelling contracts often rely on deontic logic to reason about norms, and only treat time qualitatively. Using L4, a textual domain specific language (DSL) for the law, we offer a more operational interpretation of norms, based on states and transitions, that also accounts for the granular timing of events. In this paper, we present a higher-level rendering of the loan agreement from Flood & Goodenough in L4, and an accompanying operational semantics amenable to execution and static analysis. We also implement this semantics in Maude and show how this lets us visualize the execution of the loan agreement.
Keywords
formal specification, contract automation, norm operationalization
Discipline
Contracts
Research Areas
Innovation, Technology and the Law
Publication
Legal Knowledge and Information Systems: Proceedings of JURIX 2023
Volume
379
First Page
119
Last Page
124
ISBN
9781643684727
Identifier
10.3233/FAIA230954
Publisher
IOS Press
City or Country
Netherlands
Citation
WATT, Seng Joe; GOODENOUGH, Oliver; and WONG, Meng Weng (HUANG Mingrong).
Deontics and time in contracts: An executable semantics for the L4 DSL. (2023). Legal Knowledge and Information Systems: Proceedings of JURIX 2023. 379, 119-124.
Available at: https://ink.library.smu.edu.sg/sol_research/4367
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.3233/FAIA230954