SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services

E. Chen; Bohan Qin; Yan Zhu; Weijing Song; Shengdian Wang; Cheng Chung William Chu; Stephen S. Yau

doi:10.1109/SERVICES51467.2021.00014

SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services

E. Chen, Bohan Qin, Yan Zhu, Weijing Song, Shengdian Wang, Cheng Chung William Chu, Stephen S. Yau

Engineering, Ira A. Fulton Schools of (IAFSE)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Abstract

Smart contract is a set of digital executable protocols intended to make contractual clauses partially or fully self-executing, self-enforcing, or both. As the second-generation blockchain technology, smart contracts have greatly enriched the functional expression of blockchain to make application development more convenient. All related data of smart contracts, including program codes, intermediate states, and executed results, will be stored in blockchain to ensure that these data are not tampered with. Also, the consensus protocols of blockchain verify the correctness of the running process by executing the smart contract with the same input at all nodes. Therefore, the blockchain's security mechanism with tamper-proof and traceable makes it possible for smart contracts to be recognized by law.

Original language	English (US)
Title of host publication	Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021
Editors	Nimanthi Atukorala, Carl K. Chang, Rong N. Chang, Ernesto Damiani, Ian Foster, Zhonghie Wang, Jia Zhang
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	3
Number of pages	1
ISBN (Electronic)	9781665427197
DOIs	https://doi.org/10.1109/SERVICES51467.2021.00014
State	Published - 2021
Event	2021 IEEE World Congress on Services, SERVICES 2021 - Virtual, Online, United States Duration: Sep 5 2021 → Sep 11 2021

Publication series

Name	Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021

Conference

Conference	2021 IEEE World Congress on Services, SERVICES 2021
Country/Territory	United States
City	Virtual, Online
Period	9/5/21 → 9/11/21

ASJC Scopus subject areas

Health Informatics
Business and International Management
Artificial Intelligence
Computer Networks and Communications
Software
Information Systems and Management
Safety, Risk, Reliability and Quality

Access to Document

10.1109/SERVICES51467.2021.00014

Cite this

Chen, E., Qin, B., Zhu, Y., Song, W., Wang, S., Chu, C. C. W., & Yau, S. S. (2021). SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services. In N. Atukorala, C. K. Chang, R. N. Chang, E. Damiani, I. Foster, Z. Wang, & J. Zhang (Eds.), Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021 (pp. 3). (Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERVICES51467.2021.00014

SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services. / Chen, E.; Qin, Bohan; Zhu, Yan et al.
Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021. ed. / Nimanthi Atukorala; Carl K. Chang; Rong N. Chang; Ernesto Damiani; Ian Foster; Zhonghie Wang; Jia Zhang. Institute of Electrical and Electronics Engineers Inc., 2021. p. 3 (Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Chen, E, Qin, B, Zhu, Y, Song, W, Wang, S, Chu, CCW & Yau, SS 2021, SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services. in N Atukorala, CK Chang, RN Chang, E Damiani, I Foster, Z Wang & J Zhang (eds), Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021. Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021, Institute of Electrical and Electronics Engineers Inc., pp. 3, 2021 IEEE World Congress on Services, SERVICES 2021, Virtual, Online, United States, 9/5/21. https://doi.org/10.1109/SERVICES51467.2021.00014

Chen E, Qin B, Zhu Y, Song W, Wang S, Chu CCW et al. SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services. In Atukorala N, Chang CK, Chang RN, Damiani E, Foster I, Wang Z, Zhang J, editors, Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021. Institute of Electrical and Electronics Engineers Inc. 2021. p. 3. (Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021). doi: 10.1109/SERVICES51467.2021.00014

Chen, E. ; Qin, Bohan ; Zhu, Yan et al. / SPESC-Translator : Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services. Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021. editor / Nimanthi Atukorala ; Carl K. Chang ; Rong N. Chang ; Ernesto Damiani ; Ian Foster ; Zhonghie Wang ; Jia Zhang. Institute of Electrical and Electronics Engineers Inc., 2021. pp. 3 (Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021).

@inproceedings{a387992645294a3aafa9954b75a03359,

title = "SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services",

abstract = "Smart contract is a set of digital executable protocols intended to make contractual clauses partially or fully self-executing, self-enforcing, or both. As the second-generation blockchain technology, smart contracts have greatly enriched the functional expression of blockchain to make application development more convenient. All related data of smart contracts, including program codes, intermediate states, and executed results, will be stored in blockchain to ensure that these data are not tampered with. Also, the consensus protocols of blockchain verify the correctness of the running process by executing the smart contract with the same input at all nodes. Therefore, the blockchain's security mechanism with tamper-proof and traceable makes it possible for smart contracts to be recognized by law.",

author = "E. Chen and Bohan Qin and Yan Zhu and Weijing Song and Shengdian Wang and Chu, {Cheng Chung William} and Yau, {Stephen S.}",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE World Congress on Services, SERVICES 2021 ; Conference date: 05-09-2021 Through 11-09-2021",

year = "2021",

doi = "10.1109/SERVICES51467.2021.00014",

language = "English (US)",

series = "Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "3",

editor = "Nimanthi Atukorala and Chang, {Carl K.} and Chang, {Rong N.} and Ernesto Damiani and Ian Foster and Zhonghie Wang and Jia Zhang",

booktitle = "Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021",

}

TY - GEN

T1 - SPESC-Translator

T2 - 2021 IEEE World Congress on Services, SERVICES 2021

AU - Chen, E.

AU - Qin, Bohan

AU - Zhu, Yan

AU - Song, Weijing

AU - Wang, Shengdian

AU - Chu, Cheng Chung William

AU - Yau, Stephen S.

PY - 2021

Y1 - 2021

N2 - Smart contract is a set of digital executable protocols intended to make contractual clauses partially or fully self-executing, self-enforcing, or both. As the second-generation blockchain technology, smart contracts have greatly enriched the functional expression of blockchain to make application development more convenient. All related data of smart contracts, including program codes, intermediate states, and executed results, will be stored in blockchain to ensure that these data are not tampered with. Also, the consensus protocols of blockchain verify the correctness of the running process by executing the smart contract with the same input at all nodes. Therefore, the blockchain's security mechanism with tamper-proof and traceable makes it possible for smart contracts to be recognized by law.

AB - Smart contract is a set of digital executable protocols intended to make contractual clauses partially or fully self-executing, self-enforcing, or both. As the second-generation blockchain technology, smart contracts have greatly enriched the functional expression of blockchain to make application development more convenient. All related data of smart contracts, including program codes, intermediate states, and executed results, will be stored in blockchain to ensure that these data are not tampered with. Also, the consensus protocols of blockchain verify the correctness of the running process by executing the smart contract with the same input at all nodes. Therefore, the blockchain's security mechanism with tamper-proof and traceable makes it possible for smart contracts to be recognized by law.

UR - http://www.scopus.com/inward/record.url?scp=85123699955&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85123699955&partnerID=8YFLogxK

U2 - 10.1109/SERVICES51467.2021.00014

DO - 10.1109/SERVICES51467.2021.00014

M3 - Conference contribution

AN - SCOPUS:85123699955

T3 - Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021

SP - 3

BT - Proceedings - 2021 IEEE World Congress on Services, SERVICES 2021

A2 - Atukorala, Nimanthi

A2 - Chang, Carl K.

A2 - Chang, Rong N.

A2 - Damiani, Ernesto

A2 - Foster, Ian

A2 - Wang, Zhonghie

A2 - Zhang, Jia

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 5 September 2021 through 11 September 2021

ER -

SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this