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

سال انتشار: 1402
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 25

نسخه کامل این مقاله ارائه نشده است و در دسترس نمی باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_JICTP-4-13_003

تاریخ نمایه سازی: 18 مهر 1402

چکیده مقاله:

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

نویسندگان

فاطمه محمدیان علوی

گروه مهندسی کامپیوتر، دانشکده فنی و مهندسی، دانشگاه شهرکرد

لیلا صمیمی دهکردی

عضو هیات علمی دانشگاه شهرکرد