مقالات انگلیسی

جولای
13

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
جولای
13

Optimization of model transformation output using genetic algorithm

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

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

Contract verification of ETL transformations

مهندسی مدل‌رانده، پارادایم جدیدی در مهندسی نرم افزار است که در آن با به‌کارگیری تبدیل‌ها، نرم‌افزار به‌صورت خودکار از مدل تولید می‌شود. تبدیل‌های مدل که با استفاده از زبان‌های تبدیل تعریف می‌شوند، نقش اصلی را در رویکردهای مدل‌رانده ایفا می‌کنند. در طول دهه اخیر، زبان‌های تبدیل بسیاری ارائه شده‌اند. زبان تبدیل اپسیلون (ETL) یکی از پر استفاده‌ترین‌ آن‌ها است. از آن‌جایی‌که درستی تبدیل تاثیر مستقیمی روی تولید محصول نهایی دارد، وارسی تبدیل‌ها اهمیت ویژه‌ای می‌یابد. در این مقاله، رویکردی برای وارسی درستی تبدیل‌های ETL ارائه خواهد شد. رویکرد پیشنهادی مبنی بر استفاده از زبان مبتنی بر گراف DSLTrans و نیز ابزار SyVOLT است که اجرای نمادین تبدیل‌های DSLTrans را فراهم می‌کند. به این منظور، ابتدا تبدیل ETL به DSLTrans تبدیل می‌شود. سپس، با استفاده از ابزار SyVOLT تبدیل وارسی می‌گردد. به منظور ارزیابی، مطالعه موردی به‌کار گرفته شده است. نتایج ارزیابی این روش حاکی از قابلیت آن در کشف خطاهایی است که پیش از این به آسانی قابل شناسایی نبوده‌اند.

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

Bidirectional model transformation approaches – a comparative study

تبدیل مدل دوسویه (Bx) به عنوان یکی از پایه های اصلی پارادایم مهندسی مدل رانده معرفی می شود. تبدیل دوسویه به برقراری سازگاری بین مدل مبدأ و مقصد، زمانی که آنها به طور مستقل تغییر یافته اند، میپردازد. به تازگی، تعدادی از رویکردهای Bx پیشنهاد شده است، که هر کدام قابلیت ها و ویژگی های متفاوتی دارند. در میان آنها یک رویکرد جدید، به نام EVL+trace است که پیشتر توسط نویسندگان پیشنهاد شده است. برای انتخاب یک زبان تبدیل دوسویه مناسب برای یک کار خاص، یک توسعه دهنده نیاز به ارزیابی و مقایسه روشهای Bx دارد. در این مقاله، یک روش مقایسه ای پیشنهاد شده است که در آن یک خانواده از 19 معیار اصلی که عمدتا الگویی از معیارهای ارزیابی زبان برنامه نویسی و ویژگی های دوسویه است، برای ارزیابی زبان های Bx استفاده می شود. به منظور بررسی اثربخشی رویکرد EVL+trace، آن را با سه زبان شناخته شده دوسویه، از جمله QVT-R، گرامر سه تایی گرافی (TGG) و زبان تبدیل تبدیل ژنوس (JTL) بر اساس معیارهای انتخابی مقایسه میکنیم. نتایج تحلیل اثربخشی روش مقایسه پیشنهادی برای رویکردهای Bx و مزایا و معایب EVL+trace را نشان می دهد.

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

Towards a formal model of patterns and pattern languages

لینک دسترسی آنلاین: https://www.sciencedirect.com/science/article/abs/pii/S0950584916301057 دانلود فایل مقاله: PDF

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

Towards a tracing framework for model-driven software systems

لینک دسترسی آنلاین: https://ieeexplore.ieee.org/document/7802156 دانلود فایل مقاله: PDF

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

تماس با ما

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

Statistics

  • 0
  • 14
  • 22
  • 10,307
  • 355
  • 30
  • 0
  • ژوئن 27, 2019
TOP