ارائه یک روش صوری چابک برای تولیدنرم افزار با استفاده از سیستم های تبدیل گراف

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

کلیدواژه ها:

مدلسازی ، زبان مدلسازی یکپارچه ، تبدیل گراف ، گراف نوع ، گراف نمونه ، قاعده ی تبدیل گراف ، فعالیت