رضا گرگان محمدی - دانشکده مهندسی کامپیوتر و فناوری اطلاعات، دانشگاه صنعتی امیرکبیر، تهران
احمد عبداله زاده بارفروش - دانشکده مهندسی کامپیوتر و فناوری اطلاعات، دانشگاه صنعتی امیرکبیر، تهران

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

فرآیند توسعه نرم افزار، مدل قابل اجرا، برنامه اندرویدی، گراف دارای نوع، تبدیل گراف