دانلود مقاله ISI انگلیسی شماره 78658
عنوان فارسی مقاله

مهندسی مدل محور رسمی سیستم های اطلاعات وخیم

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
78658 2015 26 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Formal model-driven engineering of critical information systems
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 103, 1 June 2015, Pages 88–113

کلمات کلیدی
مهندسی مدل محور ؛ روش های رسمی؛ سیستم های بحرانی؛ سیستم های اطلاعاتی؛ مهاجرت داده
پیش نمایش مقاله
پیش نمایش مقاله مهندسی مدل محور رسمی سیستم های اطلاعات وخیم

چکیده انگلیسی

Model-driven engineering is the generation of software artefacts from abstract models. This is achieved through transformations that encode domain knowledge and implementation strategies. The same transformations can be used to produce quite different systems, or to produce successive versions of the same system. A model-driven approach can thus reduce the cost of development. It can also reduce the cost of verification: if the transformations are shown or assumed to be correct, each new system or version can be verified in terms of its model, rather than its implementation. This paper introduces an approach to model-driven engineering that is particularly suited to the development of critical information systems. The language of the models, and the language of the transformations, are amenable to formal analysis. The transformation strategy, and the associated development methodology, are designed to preserve systems integrity and availability.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.