نگاشت نمودارحالت وفعالیت به آتاماتای سلسله مراتبی توسعه یافته

Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 739

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

BPJ01_139

تاریخ نمایه سازی: 29 دی 1392

Abstract:

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

Keywords:

آتاماتای سلسله مراتبی توسعه یافته , ارزیابی معماری نرم افزار , نمودارحالت زبان مدلسازی یکپارچه , نمودارفعالیت زبان مدلسازی یکپارچه

Authors

سیما عمادی

دانشگاه آزاد اسلامی واحد میبد

آزاده ضیایی جزی

دانشگاه آزاد اسلامی واحد علوم و تحقیقات یزد

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • سیما عمادی، " ارائه‌ی مدلی به منظور بررسی قابلیت اجرایی ...
  • Trubiani, "Automated Generation of Architecturl Feedback from Software Performance Analysis ...
  • D. Latella, I. Majzik and M. Massink, "Automatic Verification of ...
  • E. Mikk, Y. Lakhnech, CS. Petersohn and , Siegel, "On ...
  • _ _ _ activity diagrams with SPIN", International Conference on ...
  • نمایش کامل مراجع