@inproceedings{c4e92df68b6f4dc0a9cef25b9d2fcd29,
title = "Invited paper: Beagle: A new framework for smart contracts taking account of law",
abstract = "This paper presents a new Beagle framework for Smart Contracts (SCs) taking account of law. Different from previous SC development or execution frameworks, this framework takes a practical approach to integrate law into SCs. Instead of translating legal contracts into codes directly, this paper proposes to treat SCs as a key component of legal contracts, use SCs to partially automate the executions of legal contracts, and produce legal evidence during the process. Thus, the proposed SC design will be significantly different from previous SC designs, not in programming languages to be used, but in the way SCs are designed and executed. This Beagle framework has five stages: SC template development from domain analysis, formal SC model and code development from templates, verification and validation (V\&V), SC execution, and runtime monitoring.",
keywords = "Blockchains, Formal verification, Law, Smart contracts, Templates",
author = "Tsai, \{Wei Tek\} and Ning Ge and Jiaying Jiang and Kevin Feng and Juan He",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, 10th International Workshop on Joint Cloud Computing, JCC 2019 and 2019 IEEE International Workshop on Cloud Computing in Robotic Systems, CCRS 2019 ; Conference date: 04-04-2019 Through 09-04-2019",
year = "2019",
month = may,
day = "3",
doi = "10.1109/SOSE.2019.00028",
language = "英语",
series = "Proceedings - 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, 10th International Workshop on Joint Cloud Computing, JCC 2019 and 2019 IEEE International Workshop on Cloud Computing in Robotic Systems, CCRS 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "134--145",
booktitle = "Proceedings - 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, 10th International Workshop on Joint Cloud Computing, JCC 2019 and 2019 IEEE International Workshop on Cloud Computing in Robotic Systems, CCRS 2019",
address = "美国",
}