Blockchain Smart Contract Meta-modeling

智能合约 块链 计算机科学 统一建模语言 钥匙(锁) 范围(计算机科学) 软件工程 软件部署 组分(热力学) 按合同设计 计算机安全 过程管理 软件 软件开发 业务 操作系统 软件建设 热力学 物理 程序设计语言
作者
Nicolás Sánchez-Gómez,Jesús Torres-Valderrama,Manuel Mejías Risoto,Alejandra Garrido
出处
期刊:Journal of Web Engineering [River Publishers]
标识
DOI:10.13052/jwe1540-9589.2073
摘要

One of the key benefits of blockchain technology is its ability to keep a permanent, unalterable record of transactions. In business environments, where companies interact with each other without a centralized authority to ensure trust between them, this has led to blockchain platforms and smart contracts being proposed as a means of implementing trustworthy collaborative processes. Software engineers must deal with them to ensure the quality of smart contracts in all phases of the smart contract lifecycle, from requirements specifications to design and deployment. This broad scope and criticality of smart contracts in business environments means that they have to be expressed in a language that is intuitive, easy-to-use, independent of the blockchain platform employed, and oriented towards software quality assurance. In this paper we present a key component: a first outline of a UML-based smart contract meta-model that would allow us to achieve these objectives. This meta-model will be enriched in future work to represent blockchain environments and automated testing.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Dr.Dream完成签到,获得积分10
刚刚
3秒前
研友_YLBxbZ完成签到,获得积分20
4秒前
4秒前
哈哈哈完成签到,获得积分10
5秒前
方三问完成签到,获得积分10
6秒前
ZST完成签到,获得积分20
6秒前
大气的寇发布了新的文献求助10
7秒前
研友_YLBxbZ发布了新的文献求助30
7秒前
7秒前
科研通AI2S应助WEIO采纳,获得10
7秒前
7秒前
小二郎应助亮子采纳,获得10
9秒前
10秒前
ZST发布了新的文献求助10
11秒前
隐形芹完成签到 ,获得积分10
12秒前
飘逸芸发布了新的文献求助50
14秒前
try完成签到 ,获得积分10
14秒前
z1y1p1完成签到,获得积分10
15秒前
yyfdqms发布了新的文献求助20
17秒前
汉堡包应助Zx采纳,获得10
18秒前
77完成签到 ,获得积分10
18秒前
rocky15应助彪壮的青亦采纳,获得30
20秒前
rocky15应助科研通管家采纳,获得20
20秒前
顾矜应助科研通管家采纳,获得10
20秒前
小二郎应助科研通管家采纳,获得10
20秒前
汉堡包应助科研通管家采纳,获得10
20秒前
21秒前
Lan发布了新的文献求助10
29秒前
29秒前
赘婿应助WTT采纳,获得10
29秒前
yaya完成签到,获得积分10
30秒前
充电宝应助酷酷念瑶采纳,获得10
31秒前
马迦南完成签到 ,获得积分10
32秒前
MrRen发布了新的文献求助10
36秒前
36秒前
37秒前
Zx发布了新的文献求助10
42秒前
胡悦发布了新的文献求助10
43秒前
44秒前
高分求助中
Sustainable Land Management: Strategies to Cope with the Marginalisation of Agriculture 1000
Corrosion and Oxygen Control 600
Python Programming for Linguistics and Digital Humanities: Applications for Text-Focused Fields 500
Love and Friendship in the Western Tradition: From Plato to Postmodernity 500
Heterocyclic Stilbene and Bibenzyl Derivatives in Liverworts: Distribution, Structures, Total Synthesis and Biological Activity 500
重庆市新能源汽车产业大数据招商指南(两链两图两池两库两平台两清单两报告) 400
Division and square root. Digit-recurrence algorithms and implementations 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2549556
求助须知:如何正确求助?哪些是违规求助? 2176923
关于积分的说明 5607238
捐赠科研通 1897793
什么是DOI,文献DOI怎么找? 947353
版权声明 565447
科研通“疑难数据库(出版商)”最低求助积分说明 504094