美利体育登录入口官网:T/CIE 095-2020
区块链智能合约形式化表达
Formal expression of blockchain smart contracts
- 标准号
- T/CIE 095-2020
- 发布
- 2020年
- 国际标准分类(ICS)
- 35.060 信息技术用语言
- 总页数
- 7页
- 发布单位
- 中国团体标准
- 当前最新
- T/CIE 095-2020
- 本体
- 智能合约
- 适用范围
- 本文件规定了智能合约语言的结构和语法,界定了有关术语和定义。 注: 本文提供的智能法律合约示例及智能合约示例,见附录 A。 本文件适用于通用智能合约设计、开发和使用,也可为区块链广商和用户构建智能合约平台
| 术语 | 描述 |
|---|---|
| 智能合约 smart contract | 部署在区块链上 ,在满足预定条件时可自动执行并存证的计算机程序。 |
| 符合法律的智能合约 smart contract complying with law | 一种含有合同构成要素 .涵盖合同缔约方依据要约和承庄达成履行约定的计算机程序。 |
| 语言 smart contract language | 义智能合约 .包含词汇和语法规则的形式化表达规范 |
| 符合法律的智能合约语言 smart contract language complying with law | 可实现符合法律的智能合约的编程语言。 |
| 智能合约平台 smart contract platform | 支持智能合约可执行程序开发.生成部署.运行.验证的信息网络系统。 |