Papers in Persian

ارائه الگوریتم ادغام سه‌طرفه برای مدل‌های یو‌ام‌ال بر اساس مفروضات ذهنی طراحان

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

By MDSERG Admin | Papers in Persian
DETAIL

ارائه‌ی روشی جديد برای تبديل مدل دوسويه‌ بر اساس چارچوب اپسيلون و تکنیک‌های ردیابی‌پذیری

توسعه مدل رانده روش نوینی در تولید نرم‌افزار است که در آن، از روی مدل و با به‌کارگیری مجموعه روش‌هایی تحت عنوان تبدیل مدل، کد پیاده‌سازی به‌صورت خودکار/ نیمه‌خودکار تولید می‌شود. کلیه فعالیت‌های ممکن در روش‌های مدل رانده با استفاده از تبدیل‌ها انجام می‌گیرد. یکی از این فعالیت‌ها، تبدیل مدل‌به‌مدل است که در ساده‌ترین حالت، ارتباطی تک‌سویه را بین مدل مبدأ و مقصد تعریف می‌کند. در این حالت، فقط می‌توان مدل مقصد را از روی مدل مبدأ به دست آورد. اما در حالت کلی‌تر، مدل‌های مبدأ و مقصد مستقلاً تغییر می‌یابند. درنتیجه، برای سازگاری به تبدیل‌های پیشرفته‌تری به‌نام تبدیل دوسویه نیاز است. روش‌های تبدیل دوسویه دارای چالش‌هایی مانند ابهام در زبان تبدیل، نمادسازی خاص و صوری‌سازی گران هستند. جهت رفع این چالش‌ها، در این مقاله، روش جدیدی برای تبدیل دوسویه برمبنای چارچوب مدل رانده اپسیلون و تکنیک‌های ردیابی‌پذیری پیشنهاد می‌شود. در این روش، روابط بین مدل‌های مبدأ و مقصد صوری‌سازی شده، سپس روی محکی شناخته‌شده پیاده‌سازی می‌شود. این روش بر اساس 10 معیار با سه روش تبدیل دوسویه مقایسه می‌گردد. نتیجه مقایسه‌ها برتری‌های روش پیشنهادی از قبیل قابلیت حمل، نگه‌داری، مصالحه و پشتیبانی عملگری را نشان می‌دهد.

By MDSERG Admin | Papers in Persian
DETAIL

Contact

Email: Zamani[AT]eng.ui.ac.ir
Tel: +98-31-37934537
Address: Faculty of Software Engineering , University of Isfahan, Hezar Jarib Ave.

Statistics

  • 1
  • 5
  • 15
  • 7,371
  • 318
  • 74
  • 0
  • December 16, 2018
TOP