您所在的位置: 首页 协作站综合资讯 详情

MODELS 收录牛津（海南）区块链研究院论文

发布时间： 2022-09-13

2022年10月23日-10月28日，第25届模型驱动工程语言和系统国际会议(ACM / IEEE 25th International Conference on Model Driven EngineeringLanguages and Systems ，简称 MODELS ) 将于加拿大蒙特利尔举行。牛津（海南）区块链研究院团队关于区块链经济模型设计开发框架的论文“TMI:Tokenomics Made Easy For Web3 Applications ”成功被大会接收。

该篇论文介绍并实现了 Web3 通证经济建模和分析的开发平台 TMI。TMI 创造了专为通证经济设计的领域特定语言（DSL），及配套的图形化开发环境。基于通证经济模型，TMI 还提供了针对模型经济属性的形式化验证过程，以判断模型表现。论文提出了使用 TMI 开发平台开发 Web3 通证经济的一套标准流程和规范，这将有助于改善 Web3 生态可持续性、安全性的问题， 帮助塑造未来更健壮的通证经济模型建模方法和技术。


关于 MODELS

MODELS（模型驱动工程语言和系统国际会议）是模型驱动软件和系统工程的主要会议系列，今年将举办的第25届大会由ACM SIGSOFT及IEEE TCSE联合承办。自 1998 年以来，MODELS 的议题涵盖了建模的方方面面，从语言到方法，再到工具及应用。MODELS的与会者来自不同的背景，包括研究人员，学者，工程师以及行业专家。

2022年的MODELS大会旨在打造一个顶尖的论坛，供与会者探讨、交流有关建模和模型驱动的软件和系统领域的前沿科研成果和创新实践经验。今年的大会将为建模界提供一个进一步推动建模基础的机会，同时，扩大建模在新兴领域的创新应用，包括网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源和可持续性。因此，本届大会的特设主题是“为社会效益建模”，并提倡围绕以下主题的技术论文和活动：社会技术系统、有社会影响力的工具、整合人类价值观、数据科学和智能系统。

来源：牛津海南区块链研究院公众号