Model−driven Engineering of Information Systems: 10 years and 1000 versions

Journal article

This paper reports upon ten years of experience in the development and application of model-driven technology. The technology in question was inspired by work on formal methods: in particular, by the B toolkit. It was used in the development of a number of information systems, all of which were successfully deployed in real world situations. The paper reports upon three systems: one that informed the design of the technology; one that was used by an internal customer; and one that is currently in use outside the development organisation. It records a number of lessons regarding the application of model-driven techniques: in particular, the importance of completeness or closure, the need for multiple models, and the importance of automatic data migration.

Authors: Davies, J; Gibbons, J; Welch, J; Crichton, E

• Journal: Science of Computer Programming
• Volume: 89B
• Pages: 88-104
• Publication date: 2014-09-01
• DOI: 10.1016/j.scico.2013.02.002