Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to comprehend. We detail the formal semantics and the type system, focusing on its role in addressing security vulnerabilities and attacks. Through case studies we show how SmartML contributes to the prevention of reentrancy attacks, illustrating its efficacy in reinforcing the reliability and security of smart contracts within decentralized systems.

翻译：智能合约将现实世界交易编码化，并在满足预定条件时自动执行合约条款。本文提出SmartML——一种平台无关且易于理解的智能合约建模语言。我们详细阐述了其形式语义和类型系统，重点分析了它在应对安全漏洞与攻击中的作用。通过案例研究，我们展示了SmartML如何助力防范重入攻击，论证了其在去中心化系统中增强智能合约可靠性与安全性的有效性。