ارائه یک زبان مدل‌سازی گرافیکی برای توصیف قراردادهای هوشمند

قرارداد هوشمند یک پروتکل کامپیوتری برای ایجاد توافق‌نامه است که در بسیاری از زمینه‌ها نقشی مهم دارد. بندهای قرارداد در قالب یک برنامه به‌صورت کدگذاری شده بعد از احراز شرایط، به‌طور خودکار و در بستر زنجیره بلوک اجرا می‌شود. توسعه‌ی این نوع قراردادها، علی‌رغم اینکه هوشمند نامیده می‌شود، کاری خسته کننده و فراتر از تعریف مجموعه‌ای از قوانین است. برای نوشتن کد قرارداد هوشمند، علاوه بر نیاز به داشتن تخصص در یک دامنه خاص، نیاز به داشتن دانش فنی قوی در زمینه زبان‌های خاص برنامه‌نویسی و سکوهای جدید زنجیره بلوک ضروری است. یکی از رایج‌ترین زبان‌های قرارداد هوشمند زبان سالیدیتی بر بستر زنجیره بلوک اتریوم است. برای کاهش نیاز به دانش فنی مرتبط با زبان‌های برنامه‌نویسی قرارداد هوشمند یکی از راهکارها استفاده از اصول مدل‌سازی در رویکرد «مهندسی مدل‌رانده» است. توسعه با استفاده از مدل‌سازی در مهندسی مدل‌رانده می‌تواند تلاش مورد نیاز برای کدنویسی را کاهش دهد یا به صفر برساند. در این مقاله، چارچوبی مبتنی بر معماری مدل‌رانده به‌نام اسکومولا برای توسعه قراردادهای هوشمند سالیدیتی شامل دو نوع فرامدل ارائه می‌دهیم. جهت ارزیابی، معیارهای نرم‌افزاری قابلیت نگهداری، در‌ک‌پذیری و توسعه‌پذیری روی پنج نمونه قرارداد هوشمند مورد مطالعه قرار گرفته است. همچنین، بر اساس این معیارها فرامدل‌های پیشنهادی با فرامدل‌های دو رویکرد مدل‌رانده‌ی دیگر مقایسه شده و برتری راهکار پیشنهادی نشان داده می‌شود.

presentation of a graphical modeling language for description of smart contracts

a smart contract is a computer protocol for creating an agreement, which plays an important role in many fields. the terms of the contract are coded after meeting the conditions, automatically and in the platform of the blockchain. developing these types of contracts, despite being called smart, is a tedious task beyond defining a set of rules. to program smart contract code, in addition to the need to have expertise in a specific domain, the need to have strong technical knowledge in the field of smart contract programming languages and new blockchain platforms is essential. one of the most common smart contract languages is the solidity language based on the ethereum blockchain. to reduce the need for technical knowledge related to smart contract programming languages, one of the solutions is to use modeling principles in the model driven engineering approach. development using modeling in model driven engineering can reduce or eliminate the effort required for coding. in this paper, we present a framework based on model driven architecture called scomola for developing solidity smart contracts. in order to evaluate it, three criteria of maintainability, understandability, and extensibility have been studied on five smart contract samples. furthermore, based on these criteria, the proposed metamodels are compared with the metamodels of two other model driven approaches, and the superiority of the proposed solution is demonstrated.