بازسازی مدل های UML با هدف حفظ سازگاری

Publish Year: 1387
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 2,002

This Paper With 6 Page And PDF Format Ready To Download

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

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

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

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

CEIC02_009

تاریخ نمایه سازی: 4 آذر 1387

Abstract:

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

Authors

سوده حسینی

دانشکده ریاضی و کامپیوتر، دانشگاه شهید باهنر کرمان

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • حسینی، سوده، "توصیف صوری بازسازی مدلهای UML با هدف حفظ ...
  • J. -M. Favre, ،*Towards a basic theory to model driven ...
  • S. Sendall and W. Kozaczynski, ،+Model tran sformation : The ...
  • T. Mens and P. Van Gorp, _ taxonomy of model ...
  • TU Berlin, ،0The Attributed Graph Grammar System' , version 1. ...
  • VerlagR. Van Der Straeten, Inconsistency Management in M ode]-Driven Engineering: ...
  • Object Management Group, Unified Modeling Language: S uperstructure version 2. ...
  • M. Nagl, ed. _ "A tutorial and b ibliographical survey ...
  • H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, eds. ...
  • H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, _ ...
  • W. F. Opdyke, Refactoring: A Program Restructuring Aid in Designing ...
  • D. B. Roberts, Practical Analysis for Refactoring. PhD thesis, University ...
  • R. Heckel. Algebratic Graph Tran sformation with Application Conditions. Disseration, ...
  • T. Mens, _ the use of graph tran sformation S ...
  • B. Hnatkowska, Z. Huzar, and J. Magott, "Consistency checking in ...
  • G. Sunye, D. Pollet, Y. LeTraon, and J. -M. Jezequel, ...
  • Directed typed Graphs _ Double Push Out " Single Push ...
  • _ Hamedan - Iran - February 2009 ...
  • نمایش کامل مراجع