Publication: A Time-Aware Model for Legal Smart Cont...
Master data
Title: | A Time-Aware Model for Legal Smart Contracts |
Subtitle: | |
Abstract: | Smart Contracts that embody real world legal contracts require not only a sound and secure implementation but also a careful analysis of the underlying contractual commitments. Temporal clauses are abundant in contracts, requiring permissions and obligations to be executed in temporal relationships with observed events. Before signing a contract a thorough analysis, whether breaches of temporal clauses are imminent, whether all temporal obligations can be fulfilled are inevitable to avoid the cost of violating temporal commitments. We present a contract model that focuses on modeling temporal commitments explicitly. And we present techniques based on these contract models to analyze the temporal properties of contracts, in particular, whether a party can guarantee to fulfill all temporal commitments under all foreseeable circumstances. We present a framework that supports the development and negotiation of contracts precluding the risk of violating temporal clauses. |
Keywords: | Smart Contract - temporal clauses - controllability |
Publication type: | Article in Proceedings (Authorship) |
Publication date: | 31.05.2023 (Print) |
Published by: |
Enterprise, Business-Process and Information Systems Modeling
Enterprise, Business-Process and Information Systems Modeling
(
Springer, Cham;
H. van der As, D. Bork , H. Proper, R. Schmidt
)
to publication |
Title of the series: | 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12–13, 2023, Proceedings - LNBIP |
Volume number: | 479 |
First publication: | Yes |
Version: | - |
Page: | pp. 121 - 135 |
Versionen
Keine Version vorhanden |
Publication date: | 31.05.2023 |
ISBN: |
|
ISSN: | 1865-1348 |
Homepage: | https://link.springer.com/chapter/10.1007/978-3-031-34241-7_9#chapter-info |
Publication date: | 31.05.2023 |
ISBN (e-book): |
|
eISSN: | - |
DOI: | http://dx.doi.org/10.1007/978-3-031-34241-7_9 |
Homepage: | https://doi.org/10.1007/978-3-031-34241-7_9 |
Open access |
|
Assignment
Organisation | Address | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Categorisation
Subject areas | |
Research Cluster | No research Research Cluster selected |
Peer reviewed |
|
Publication focus |
Classification raster of the assigned organisational units:
|
working groups |
|
Cooperations
Research activities
Projects: | No related projects |
Publications: | No related publications |
Events: | No related events |
Lectures: |
|