1396

Solving the families to persons case using EVL‎+ ‎Strace

نمونه Benchmarx، موضوع مورد مطالعه تبدیل دوسویه برای مسابقات ابزار تبدیل در سال 2017 است. این مثال، یک تبدیل مدل به مدل مشهور از مجموعه مثالهای تبدیل ATL به نام “خانواده ها به افراد” است. این مقاله، راه حلی را برای سازگاری بین مدلی با استفاده از زبان اعتبارسنجی اپسیلون (EVL) و تکنیک های ردیابی خاص قلمرو ارائه می دهد. ما این رویکرد EVL+Strace را مینامیم.

By MDSERG Admin | مقالات انگلیسی
DETAIL

A model-driven framework for developing multi-agent systems in emergency response environments

در محیط‌های واکنش اضطراری، موجودیت‌های مختلف با رفتارهای خاص وجود دارد. مجموعه‌ی این موجودیت‌ها به همراه تعاملات میان آن‌ها، سیستم پیچیده‌ای را تشکیل می‌دهد که می‌تواند به خوبی با یک سیستم‌ چندعاملی مدل‌سازی شود. برای ساخت چنین سیستم‌هایی به جای نوشتن کد از پایه، می‌توان از رویکرد توسعه‌ی مدل‌رانده استفاده نمود. هدف از توسعه‌ی مدل‌رانده، تولید خودکار نرم‌افزار از مدل‌های طراحی می‌باشد. برای رسیدن به این هدف دو پیشنیاز مهم باید برآورده شود: یک
زبان مدل‌سازی خاص دامنه برای طراحی مدلی از یک محیط واکنش اضطراری و برنامه‌های تبدیل برای تولید خودکار کد از روی مدل. به‌علاوه، برای مدل‌سازی با زبان، نیاز به یک ابزار مدل‌سازی و برای اجرای کد تولید شده، نیاز به یک سکو می‌باشد. در این مقاله، چارچوبی مدل‌رانده برای توسعه‌ی سیستم‌های چندعاملی در محیط‌های واکنش اضطراری ارائه شده است که شامل چندین جزء است. یک زبان مدل‌سازی و همچنین یک ابزار مدل‌سازی برای این دامنه، توسعه داده شده است که به ترتیب ERE-ML و ERE-ML Tool نامیده می‌شوند.با استفاده از ابزار ERE-ML، طراح می‌تواند یک موقعیت واکنش اضطراری را مدل‌سازی کند و سپس مدل را بر اساس قیود از پیش تعریف شده اعتبارسنجی کند. به علاوه، چند تبدیل مدل به کد تعریف می‌شود تا کد سیستم چندعاملی به‌طور خودکار، از روی مدل یک محیط واکنش اضطراری تولید گردد. همچنین برای اجرای کد تولید شده، گسترشی از سکوی JAMDER ارائه شده است. برای ارزیابی این چارچوب، چندین مطالعه‌ی موردی، از جمله حادثه‌ی آتش‌سوزی ویکتوریا مدل‌سازی شده و توانایی چارچوب در مدل‌سازی موقعیت‌های واقعی و تبدیل خودکار مدل به کد، نشان داده می‌شود.

By MDSERG Admin | مقالات انگلیسی
DETAIL

تماس با ما

رایانامه: Zamani[AT]eng.ui.ac.ir
شماره تماس: 37934537-31-98+
آدرس: خیابان هزارجریب، دانشگاه اصفهان، دانشکده مهندسی کامپیوتر، گروه مهندسی نرم افزار

Statistics

  • 0
  • 1
  • 10
  • 7,701
  • 322
  • 74
  • 0
  • دسامبر 21, 2018
TOP