Publikation: A Time-Aware Model for Legal Smart Cont...
Stammdaten
Titel: | A Time-Aware Model for Legal Smart Contracts |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: | Smart Contract - temporal clauses - controllability |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 31.05.2023 (Print) |
Erschienen in: |
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
)
zur Publikation |
Titel der Serie: | 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12–13, 2023, Proceedings - LNBIP |
Bandnummer: | 479 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 121 - 135 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 31.05.2023 |
ISBN: |
|
ISSN: | 1865-1348 |
Homepage: | https://link.springer.com/chapter/10.1007/978-3-031-34241-7_9#chapter-info |
Erscheinungsdatum: | 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 |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: |
|