2021
DOI: 10.1109/access.2021.3081926
|View full text |Cite
|
Sign up to set email alerts
|

A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

Abstract: Blockchain-and smart-contract technology enhance the effectiveness and automation of business processes. The rising interest in the development of decentralized autonomous organizations (DAO) shows that blockchain technology has the potential to reform business and society. A DAO is an organization wherein business rules are encoded in smart-contract programs that are executed when specified rules are met. The contractual-and business semantics are sine qua non for drafting a legally-binding smart contract in … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
37
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 43 publications
(37 citation statements)
references
References 47 publications
0
37
0
Order By: Relevance
“…As such, SQs have been refined and new papers have been added to the total number of papers being analyzed, also considering they have been published very recently. The refinement of the SQs and the indications of the three expert authors allowed the identification of the following works to ensure that main approaches to formalize specification languages for contracts were included [7,39,53,72,99], legal ontologies [6,48,54], and reviews [27,77]. Concerning the proceedings of recent conferences, the works in [2,5,40,80,82,87,89,90] have been included.…”
Section: Search and Screening Of Selected Papersmentioning
confidence: 99%
See 2 more Smart Citations
“…As such, SQs have been refined and new papers have been added to the total number of papers being analyzed, also considering they have been published very recently. The refinement of the SQs and the indications of the three expert authors allowed the identification of the following works to ensure that main approaches to formalize specification languages for contracts were included [7,39,53,72,99], legal ontologies [6,48,54], and reviews [27,77]. Concerning the proceedings of recent conferences, the works in [2,5,40,80,82,87,89,90] have been included.…”
Section: Search and Screening Of Selected Papersmentioning
confidence: 99%
“…Similarly to [52], the proposed approach potentially support a developer in deciding how to implement the formal specification and it is not limited to the how. A recent work [39] presents a process for generating a smart contract. A multi-tier ontology is proposed to support translation to a domain-specific representation using a Smart Legal Contract Markup Language (SLCML).…”
Section: Evaluationempiricalmentioning
confidence: 99%
See 1 more Smart Citation
“…For evolving DAO-collaborations, Figure 4a shows a conceptually collaboration configuration where the template for an electronic-community formation is given by a businessnetwork model (BNM) [32] to specify choreographies relevant for a respective business scenario.The BNM defines legally valid [33][34][35] template contracts as service types together with assigned organizational roles. A collaboration hub that houses business processes as a service (BPaaS-HUB) [36] in the form of process views [30], houses the BNM templates for potential collaborating counterparties to enable a speedy matching.…”
Section: Distributed E-governancementioning
confidence: 99%
“…First, human-centered oral and written contracts are difficult to process even for smart machines [1]. Second, traditional contracts [48] are often under-specified and do not provide sufficient details about the actual transaction processes as well as about the parties obligations and rights [23,34]. Third, they do not allow for extensive automation, scale badly and lack a computerized transaction protocol [49].…”
Section: Digital Smart Contractsmentioning
confidence: 99%