Towards a Uniform Description Language for Smart Contract

被引:3
作者
Souei, Wafa Ben Slama [1 ,2 ]
El Hog, Chiraz [2 ,3 ]
Sliman, Layth [4 ]
Ben Djemaa, Raoudha [1 ,2 ]
Ben Amor, Ikram Amous [5 ]
机构
[1] Univ Sousse, ISITCOM H Sousse, H Sousse 4011, Tunisia
[2] Univ Sfax, MIRACL Lab, Sfax 3031, Tunisia
[3] Qassim Univ, Dept Comp Sci, Coll Sci & Arts, Unaizah, Qasim, Saudi Arabia
[4] EFREI Paris, Engn Sch Informat & Digital Technol, Villejuif, France
[5] Univ Sfax, MIRACL Lab, Technopole Sfax, Sfax 3031, Tunisia
来源
2021 IEEE 30TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2021) | 2021年
关键词
Smart Contract; Description; Blockchain; Qos; Model Driven Architecture; USDL;
D O I
10.1109/WETICE53228.2021.00022
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In recent years, Blockchain technology has proved its efficiency in many domains. A smart contract is a software component allowing exposing services via the Blockchain network. Smart contracts are small programs that automatically execute the terms of an agreement when predetermined terms and conditions are reached. With the increasing growth in the popularity of smart contracts, searching, retrieving and understanding smart contracts before executing them becomes a significant challenge. Nevertheless, the majority of these contracts are closed source contracts. Therefore, users cannot understand their functionality and their internal mechanism. In addition, their description lacks the expressiveness and it didn't cover the QOS parameters. In this paper, we propose a Uniform Description language for Smart Contract named UDL-SC. This proposal is an extension of USDL based on the MDA approach to promote trust and minimize the ambiguity between the user and the contract provider.
引用
收藏
页码:57 / 62
页数:6
相关论文
共 17 条
[1]  
Barros Alistair, 2012, HDB SERVICE DESCRIPT, P187
[2]   Formal Verification of Smart Contracts Short Paper [J].
Bhargavan, Karthikeyan ;
Delignat-Lavaud, Antoine ;
Fournet, Cedric ;
Gollamudi, Anitha ;
Gonthier, Georges ;
Kobeissi, Nadim ;
Kulatova, Natalia ;
Rastogi, Aseem ;
Sibut-Pinote, Thomas ;
Swamy, Nikhil ;
Zanella-Beguelin, Santiago .
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16), 2016, :91-96
[3]  
Buterin V., 2016, Ethereum Official webpage
[4]  
Cachin C., 2016, WORKSHOP DISTRIBUTED, V310, P1
[5]  
Clack C.D., 2016, ARXIV160800771
[6]   From Institutions to Code: Towards Automated Generation of Smart Contracts [J].
Frantz, Christopher K. ;
Nowostawski, Mariusz .
2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2016, :210-215
[7]  
Gaaloul, 2018, INBDCSINTELL, P27
[8]   Optimized Execution of Business Processes on Blockchain [J].
Garcia-Banuelos, Luciano ;
Ponomarev, Alexander ;
Dumas, Marlon ;
Weber, Ingo .
BUSINESS PROCESS MANAGEMENT, BPM 2017, 2017, 10445 :130-146
[9]   Supporting Reuse of Smart Contracts through Service Orientation and Assisted Development [J].
Guida, Luca ;
Daniel, Florian .
2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON), 2019, :59-68
[10]  
Jorge C., 2009, P 1 INT S SERV SCI I, V9