نام پژوهشگر: رضا گومانی

روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت: یک گام جدید به سوی خودکارسازی تولید کد
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1391
  رضا گومانی   آیاز عیسی زاده

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