From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence

doi:10.1109/TCSS.2023.3287246

	From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence
	Liang, Xiaolong1,2,3 ; Ding, Wenwen 1; Qin, Rui2,3 ; Hou, Jiachen 1; Yuan, Yong4,5 ; Wang, Xiao2 ; Wang, Fei-Yue1,2,6
发表期刊	IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS
ISSN	2329-924X
	2023-07-07
页码	10
通讯作者	Wang, Fei-Yue(feiyue.wang@ia.ac.cn)
摘要	The governance technology of decentralized autonomous organizations (DAOs) provides an effective solution for solving existing organizational management issues. Governance mechanisms of DAOs are usually encoded in smart contracts in the form of rule sets and executed automatically. However, the mechanism's logical flaws and code errors expose DAOs to unpredictable risks. Complex adaptive dynamics computer-aided design (CadCAD) can test the effectiveness of the mechanisms through simulation. Nonetheless, as DAOs are typical complex systems with social and engineering complexity, managing, controlling, and supervising their operation through traditional methods are difficult. The parallel intelligence theory based on artificial societies, computational experiments, and parallel execution (ACP) method provides an effective research framework and practical method for solving DAOs' governance issues. Therefore, in this article, we propose a parallel mechanism verification method and execution system, namely, complex adaptive systems for computer-aided dynamic design (casCAD2) as an extension of cadCAD. Leveraging parallel intelligence and cyber-physical-social systems (CPSS), casCAD2 is capable of probing into the laws that govern system evolution within a simulated environment. It serves as a robust tool for verifying the efficacy of DAOs' mechanisms and predicting their potential risks. We also build a parallel market-based anchoring mechanism (MAM) system to demonstrate how it can be used for DAOs' mechanism verification. This study can provide a new research method and application system for DAOs' effective governance.
关键词	Blockchain complex adaptive systems for computer-aided dynamic design (casCAD2) decentralized autonomous organizations (DAOs) parallel governance parallel intelligence smart contracts
DOI	10.1109/TCSS.2023.3287246
收录类别	SCI
语种	英语
资助项目	Science and Technology Development Fund ; Macau SAR[0050/2020/A1] ; National Natural Science Foundation of China[62103411]
项目资助者	Science and Technology Development Fund ; Macau SAR ; National Natural Science Foundation of China
WOS研究方向	Computer Science
WOS类目	Computer Science, Cybernetics ; Computer Science, Information Systems
WOS记录号	WOS:001030667500001
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/53742
专题	多模态人工智能系统全国重点实验室
通讯作者	Wang, Fei-Yue
作者单位	1.Macau Univ Sci & Technol, Fac Innovat Engn, Macau, Peoples R China 2.Chinese Acad Sci, Inst Automat, State Key Lab Management & Control Complex Syst, Beijing 100190, Peoples R China 3.Chinese Acad Sci, Inst Automat, State Key Lab Multimodal Artificial Intelligence S, Beijing 100190, Peoples R China 4.Renmin Univ China, Sch Math, Beijing 100872, Peoples R China 5.Renmin Univ China, Engn Res Ctr Finance Computat & Digital Engn, Minist Educ, Beijing 100872, Peoples R China 6.Qingdao Acad Intelligent Ind, Qingdao 266109, Peoples R China
第一作者单位	中国科学院自动化研究所
通讯作者单位	中国科学院自动化研究所
推荐引用方式 GB/T 7714	Liang, Xiaolong,Ding, Wenwen,Qin, Rui,et al. From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence[J]. IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS,2023:10.
APA	Liang, Xiaolong.,Ding, Wenwen.,Qin, Rui.,Hou, Jiachen.,Yuan, Yong.,...&Wang, Fei-Yue.(2023).From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence.IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS,10.
MLA	Liang, Xiaolong,et al."From cadCAD to casCAD2: A Mechanism Validation and Verification System for Decentralized Autonomous Organizations Based on Parallel Intelligence".IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS (2023):10.