توصیف معماری نرم افزارپویا با رویکرد رسمی گراف گرامر

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 683

فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:

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

PFCONF01_160

تاریخ نمایه سازی: 30 بهمن 1394

چکیده مقاله:

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

کلیدواژه ها:

نویسندگان

نجیمه معتمدی

دانشجو کارشناسی ارشد، دانشگاه آزاد اسلامی واحد اصفهان (خوراسگان)

سیدمهران شرقی

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Bucchiarone A, and Galeotti J, " Dynamic Software Architectures Verification ...
  • Bradbury J, Cordy J, Dingel J, and Wermelinger M. ...
  • _ Survey of S e If-Management in Dynamic Software Architecture ...
  • Breivolda H.P, Crnkovicb I, Larssona M, " Software architecture evolution ...
  • Bruni R, Bucchiarone A, Gnesi S and Melgratti H, _ ...
  • Hongzhen X, Guosun Z, " Specification and verification of dynamic ...
  • Hongzhen Xu, Guosun Z , Bo C .2010. Description and ...
  • Oreizy P, "Issues in Modeling and Analyzing Dynamic Software Architectures", ...
  • Pengcheng Z , Hemry M , Bixin L, " A ...
  • Radu Mateesco , "Model Checking for Software Architectures", Software Architecture, ...
  • Len Bass, Paul Clements, Rick Kazman, "Software Architecture in Practice", ...
  • Li C, Huang L, Chen L, and Yu C. 2013. ...
  • نمایش کامل مراجع