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

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