在以太坊虚拟机上开发智能合约的模型驱动方法

Gislainy Crisostomo Velasco, S. T. Carvalho
{"title":"在以太坊虚拟机上开发智能合约的模型驱动方法","authors":"Gislainy Crisostomo Velasco, S. T. Carvalho","doi":"10.5753/erigo.2022.227692","DOIUrl":null,"url":null,"abstract":"A tecnologia blockchain possibilita a implementação de contratos inteligentes que expressam na forma de código as cláusulas de contratos do mundo real de modo a serem executadas sem a necessidade de um intermediário. Nesse contexto, foram introduzidas as aplicações decentralizadas (DApps) que utilizam recursos, como imutabilidade, descentralização, transparência e privacidade. Contudo, o desenvolvimento de DApps é limitado ao escopo de contratos e às especificidades da blockchain. Os desenvolvedores necessitam compreender todo o ambiente inerente à tecnologia, como questões da linguagem de programação dos contratos, questões de segurança e outros. O objetivo deste artigo é definir um metamodelo que facilite tanto para os especialistas do domínio quanto para desenvolvedores a modelagem dos contratos em alto nível. A proposta consiste em um metamodelo que abstraia as questões técnicas inerentes a Ethereum Virtual Machine (EVM) que permita definir os elementos essenciais que devem ser implementados no contrato final.","PeriodicalId":338913,"journal":{"name":"Anais da X Escola Regional de Informática de Goiás (ERI-GO 2022)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Uma Abordagem Dirigida por Modelo para Desenvolvimento de Contratos Inteligentes na Ethereum Virtual Machine\",\"authors\":\"Gislainy Crisostomo Velasco, S. T. Carvalho\",\"doi\":\"10.5753/erigo.2022.227692\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A tecnologia blockchain possibilita a implementação de contratos inteligentes que expressam na forma de código as cláusulas de contratos do mundo real de modo a serem executadas sem a necessidade de um intermediário. Nesse contexto, foram introduzidas as aplicações decentralizadas (DApps) que utilizam recursos, como imutabilidade, descentralização, transparência e privacidade. Contudo, o desenvolvimento de DApps é limitado ao escopo de contratos e às especificidades da blockchain. Os desenvolvedores necessitam compreender todo o ambiente inerente à tecnologia, como questões da linguagem de programação dos contratos, questões de segurança e outros. O objetivo deste artigo é definir um metamodelo que facilite tanto para os especialistas do domínio quanto para desenvolvedores a modelagem dos contratos em alto nível. A proposta consiste em um metamodelo que abstraia as questões técnicas inerentes a Ethereum Virtual Machine (EVM) que permita definir os elementos essenciais que devem ser implementados no contrato final.\",\"PeriodicalId\":338913,\"journal\":{\"name\":\"Anais da X Escola Regional de Informática de Goiás (ERI-GO 2022)\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais da X Escola Regional de Informática de Goiás (ERI-GO 2022)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/erigo.2022.227692\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais da X Escola Regional de Informática de Goiás (ERI-GO 2022)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/erigo.2022.227692","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

区块链技术使智能合约的实现成为可能,智能合约以代码的形式表达现实世界的合同条款,以便在不需要中介的情况下执行。在这种情况下,引入了使用不变性、去中心化、透明度和隐私等资源的去中心化应用程序(DApps)。然而,DApps的开发仅限于合同范围和区块链的特殊性。开发人员需要了解技术固有的整个环境,如合同编程语言问题、安全问题等。本文的目标是定义一个元模型,使领域专家和开发人员更容易在高层建模契约。该提案包括一个元模型,抽象以太坊虚拟机(EVM)固有的技术问题,允许定义必须在最终合同中实现的基本元素。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Uma Abordagem Dirigida por Modelo para Desenvolvimento de Contratos Inteligentes na Ethereum Virtual Machine
A tecnologia blockchain possibilita a implementação de contratos inteligentes que expressam na forma de código as cláusulas de contratos do mundo real de modo a serem executadas sem a necessidade de um intermediário. Nesse contexto, foram introduzidas as aplicações decentralizadas (DApps) que utilizam recursos, como imutabilidade, descentralização, transparência e privacidade. Contudo, o desenvolvimento de DApps é limitado ao escopo de contratos e às especificidades da blockchain. Os desenvolvedores necessitam compreender todo o ambiente inerente à tecnologia, como questões da linguagem de programação dos contratos, questões de segurança e outros. O objetivo deste artigo é definir um metamodelo que facilite tanto para os especialistas do domínio quanto para desenvolvedores a modelagem dos contratos em alto nível. A proposta consiste em um metamodelo que abstraia as questões técnicas inerentes a Ethereum Virtual Machine (EVM) que permita definir os elementos essenciais que devem ser implementados no contrato final.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信