面向大众的模型驱动的智能合约开发-半岛平台

智能合约研发既简单又便宜。与可信地撰写智能合约比起，将智能合约建模为图形状态有很多优点。

您可以专心于业务逻辑，而不是纠葛于技术细节，甚至非程序员也可以解读您的合约在做到什么。你可以产生扎实的代码，不必须审核了。您可以精彩地为有所不同的智能合约代码转换平台或目标语言。

我们用于YAKINDU Statechart工具的开源版本将智能合约建模为状态机。通过这种方式，您可以用于模拟器测试模型，并最后分解可信的代码。

问题是什么？区块链的智能合约研发是简单的。如果你想要为以太坊区块链研发智能合约，你必需自学一种全新的编程语言，如solid。

如果您顺利地撰写并测试了您的第一个智能合约，那么下一个障碍如下:由于您无法在将智能合约部署到主网之后改版它，因此必需有人保证智能合约代码需要抵挡反击。虽然关于未知的反击载体显然有很好的资源，但是在智能合约中寻找这些安全漏洞必须大量的经验。过去的经验指出，网卓新闻网，智能合约常常遭黑客攻击，造成资金被盗。

由于维护智能合约的工具还过于成熟期，无法找到所有有可能的安全性缺失，因此必须对智能合约展开审核。只有少数专家需要以一种部署的方式对智能合约展开代码审查，而会让您夜不能寐。这是智能合约研发的第二个问题——它是便宜的。

这种融合使得个人或小型初创公司研发高质量的智能合约显得十分艰难。工具救援!两年前，我们开始研发YAKINDU solity工具——这是一个构建研发环境，获取诸一些脆弱的协助、智能代码建议、较慢修缮、重构、模板和动态检验等功能。今年，我们将核心功能萃取到所谓的语言服务器中，可以在许多编辑器(如Atom或Visual Studio代码)中器重。

虽然这很大地提高了开发人员的体验，但这并不是故事的结尾。智能合约研发对于非可靠性专家来说依然是无法掌控的。

由于我们也是YAKINDU Statechart工具(一种状态机建模环境)的开发人员，所以我们对状态机如何修改智能合约的研发展开了一些研究，并开始将我们的语言服务器构建到YAKINDU Statechart工具中。这基本上意味著我们可以在建模状态机时采访诸如全局变量、常量和函数之类的内置特性。构建的建模引擎容许检验模型的不道德。智能合约的可靠性代码是由模型分解的，只需单击一个按钮。

什么是状态机?大多数软件开发人员指出状态机比实际情况更加简单，并且在日常工作中偏向于离线状态机。这并不怪异——状态机一般来说被指出过分简单和学术化，不合适实际应用于。

如果你看完维基百科上关于受限状态机的文章，你就不会找到一些术语，比如计算出来的数学模型、确定性(DFA)和非确定性(NFA, GNFA)自动机以及幂集结构。这听得一起并不有意思，对吧?事实上，我们将在这里用于状态机来展开智能合约研发，它们与学术上没什么对应之处——它们是为许多有所不同应用程序开发软件的有效地方法。例如，它们常常用作嵌入式系统领域，以建模汽车或飞机等反应性系统。

反应性系统是一个系统，它对外界由传感器或人机接口(如电梯或咖啡机)启动时的事件作出反应。智能合约也一样，外部世界的事务启动时对智能合约的内部状态的变更。

状态机的基本构件是状态和切换。状态机由受限数量的状态构成。机器一次只正处于一种状态，这种状态称作活动状态。它可以通过触发器或在特定条件下从一种状态变更到另一种状态。

示例:管理许可证的智能合约例如，我们研发了一个用作许可证管理的智能合约。这个用例非常适合区块链，因为只要合约没中止，许可证持有人依然掌控着许可证协议。一个智能合约确保单个许可证的生命周期。创立之后，许可证转入有效地状态，初始支出为10个代币。

与智能合约交互有两个有所不同的模块。许可证所有者可以减少支出来缩短许可证期限。许可证管理人员可以根据时间段定期缴纳许可证费用。如果没更好的支出能用，许可证转入违宪状态，直到一个新的支出被加到到合约之后，许可证持有人人才可以随时中止合约，并将接到剩下的支出。

想到上面的图片。我指出这个模型比500行可信代码更加全面、更容易解读。模型驱动的智能合约研发的优点是什么?首先，您可以在更高的抽象化级别上建模智能合约。

在隐蔽所有技术细节时，可以将重点放到要研发的域逻辑上。图形状态机甚至可以被几乎没编程经验的人解读。注目您的业务模型，而不是技术细节或编程语言。

分解的智能合约代码具备更高的质量。一旦保证代码生成器分解准确和安全性的代码，您就不用审核用于该代码生成器分解的每个合约。这将增加小型创意创业公司以及大公司将他们的商业案例迁入到区块链技术的障碍。

本文来源：半岛平台-www.mysuggester.com