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