1396

جولای
13

An automatic test case generator for evaluating implementation of access control policies

لینک دسترسی آنلاین: http://www.isecure-journal.com/article_43781_0.html دانلود فایل مقاله: PDF

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

A novel approach for automatic model-based test case generation

لینک دسترسی آنلاین: http://scientiairanica.sharif.edu/article_4528.html دانلود فایل مقاله: PDF

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

A UML profile for modeling the conflicts in model merging

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

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

Solving the state elimination case study using Epsilon

لینک دسترسی آنلاین: http://ceur-ws.org/Vol-2026/ دانلود فایل مقاله: PDF

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

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

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

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

A model-based framework for automatic generation of a pattern language verifier

لینک دسترسی آنلاین: https://onlinelibrary.wiley.com/doi/full/10.1002/spe.2514 دانلود فایل مقاله: PDF

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

Automatic pattern proposition in transformation life cycle

لینک دسترسی آنلاین: https://www.igi-global.com/article/automatic-pattern-proposition-in-transformation-life-cycle/178220 دانلود فایل مقاله: PDF

By MDSERG Admin | مقالات انگلیسی
DETAIL
جولای
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

تماس با ما

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

Statistics

  • 0
  • 6
  • 24
  • 10,246
  • 351
  • 30
  • 0
  • ژوئن 10, 2019
TOP