Formal model-driven engineering of critical information systems

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