BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH PRODID:-//Telerik Inc.//Sitefinity CMS 15.1//EN BEGIN:VTIMEZONE TZID:Eastern Standard Time BEGIN:STANDARD DTSTART:20251102T020000 RRULE:FREQ=YEARLY;BYDAY=1SU;BYHOUR=2;BYMINUTE=0;BYMONTH=11 TZNAME:Eastern Standard Time TZOFFSETFROM:-0400 TZOFFSETTO:-0500 END:STANDARD BEGIN:DAYLIGHT DTSTART:20250301T020000 RRULE:FREQ=YEARLY;BYDAY=2SU;BYHOUR=2;BYMINUTE=0;BYMONTH=3 TZNAME:Eastern Daylight Time TZOFFSETFROM:-0500 TZOFFSETTO:-0400 END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT DESCRIPTION:Speaker(s): \;Abhishek Dixit\, Tallinn University of Techno logyAbstract:Smart contracts (SC) run on blockchain technology (BCT) to im plement agreements between several parties. As BCT grows\, organizations a im to automate their processes and engage in business collaborations using SCs. The translation of contract semantics into SC language semantics is difficult due to ambiguous contractual interpretation by the several parti es and the developers. Also\, an SC language itself misses the language co nstructs needed for semantically expressing collaboration terms. This lead s to SC coding errors that result in contractual conflicts over transactio ns during the performance of SCs and thus\, novel SC solutions incur high development and maintenance costs. Various model-based and no/low code dev elopment approaches address this issue by enabling higher abstractions in SC development. Still\, the question remains unanswered how contractual pa rties\, i.e.\, end-users with non-IT skills\, manage to develop legally re levant SCs with ease. This study aims to (1) identify and categorize the s tate of the art of SC automation models\, in terms of their technical feat ures\, and their legal significance\, and to (2) identify new research opp ortunities. The review has been conducted as a systematic literature revie w (SLR) that follows the guidelines proposed by Kitchenham for performing SLRs in software-engineering. As a result of the implementation of the rev iew protocol\, 1367 papers are collected\, and 33 of them are selected for extraction and analysis. The contributions of this article are threefold: (1) 10 different SC automation models/frameworks are identified and class ified according to their technical and implementation features\; (2) 11 di fferent legal contract parameters are identified and categorized into 4 le gal criteria classes\; (3) a comparative analysis of SC-automation models in the context of their legal significance is conducted that identifies th e degrees to which the SC-automation models are considered legally relevan t. As a conclusion\, we produce a comprehensive and replicable overview of the state of the art of SC automation models and a systematic measure of their legal significance to benefit practitioners in the field. DTEND:20230307T180000Z DTSTAMP:20260511T113901Z DTSTART:20230307T170000Z LOCATION: SEQUENCE:0 SUMMARY:Towards User-Centered and Legally Relevant Smart-Contract Developme nt UID:RFCALITEM639140819412395927 X-ALT-DESC;FMTTYPE=text/html:

Speaker(s): \;

Abhishek Dixit\, Tallinn University of Technology

< div data-id="9bf9fb0" data-element_type="widget" data-widget_type="ae-cust om-field.default">

Abstract:

Smart contracts (SC) r un on blockchain technology (BCT) to implement agreements between several parties. As BCT grows\, organizations aim to automate their processes and engage in business collaborations using SCs. The translation of contract s emantics into SC language semantics is difficult due to ambiguous contract ual interpretation by the several parties and the developers. Also\, an SC language itself misses the language constructs needed for semantically ex pressing collaboration terms. This leads to SC coding errors that result i n contractual conflicts over transactions during the performance of SCs an d thus\, novel SC solutions incur high development and maintenance costs. Various model-based and no/low code development approaches address this is sue by enabling higher abstractions in SC development. Still\, the questio n remains unanswered how contractual parties\, i.e.\, end-users with non-I T skills\, manage to develop legally relevant SCs with ease. This study ai ms to (1) identify and categorize the state of the art of SC automation mo dels\, in terms of their technical features\, and their legal significance \, and to (2) identify new research opportunities. The review has been con ducted as a systematic literature review (SLR) that follows the guidelines proposed by Kitchenham for performing SLRs in software-engineering. As a result of the implementation of the review protocol\, 1367 papers are coll ected\, and 33 of them are selected for extraction and analysis. The contr ibutions of this article are threefold: (1) 10 different SC automation mod els/frameworks are identified and classified according to their technical and implementation features\; (2) 11 different legal contract parameters a re identified and categorized into 4 legal criteria classes\; (3) a compar ative analysis of SC-automation models in the context of their legal signi ficance is conducted that identifies the degrees to which the SC-automatio n models are considered legally relevant. As a conclusion\, we produce a c omprehensive and replicable overview of the state of the art of SC automat ion models and a systematic measure of their legal significance to benefit practitioners in the field.

END:VEVENT END:VCALENDAR