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

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

This Paper With 9 Page And PDF Format Ready To Download

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

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

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

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

PFCONF01_160

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

Abstract:

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

Authors

نجیمه معتمدی

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

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

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

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • 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. ...
  • نمایش کامل مراجع