Skip to main content

Formal model−driven engineering of critical information systems

Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch

Abstract

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.

ISSN
0167−6423
Journal
Science of Computer Programming
Keywords
Model−driven engineering‚ Formal methods‚ Critical systems‚ Information systems‚ Data migration
Pages
88 − 113
Volume
103
Year
2015