Model-driven engineering of information systems: 10 years and 1000 versions

Science of Computer Programming

Volumn 89, Issue PART B, 2014, Pages 88-104

  Davies, Jim ^a   Gibbons, Jeremy ^a   Welch, James ^a   Crichton, Edward ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Agile; Data migration; Databases; Evolution; Formal methods; Model driven

Indexed keywords

COMPUTER PROGRAMMING; DATABASE SYSTEMS; FORMAL METHODS; SOFTWARE ENGINEERING;

AGILE; DATA MIGRATION; DEVELOPMENT AND APPLICATIONS; EVOLUTION; MODEL-DRIVEN; MODEL-DRIVEN ENGINEERING; MODEL-DRIVEN TECHNIQUES; REAL WORLD SITUATIONS;

INFORMATION SYSTEMS;

EID: 84900501506     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2013.02.002     Document Type: Article

References (35)

1. A. Kleppe, J. Warmer, and W. Bast MDA Explained, The Model Driven Architecture: Practice and Promise 2003 Addison-Wesley
2. D.S. Frankel Model Driven Architecture 2003 Wiley
3. J. Woodcock, and J. Davies Using Z 1996 Prentice Hall www.usingz.com
4. J.-R. Abrial The B-book: Assigning Programs to Meanings 1996 Cambridge University Press
5. I. Hayes Specification Case Studies 1992 Prentice Hall
6. G. Smith The Object-Z Specification Language 2000 Kluwer
7. J. Davies, C. Crichton, E. Crichton, D. Neilson, and I.H. Sørensen Formality, evolution, and model-driven software engineering Proceedings of SBMF 2004 Electronic Notes in Computer Science 2005 Elsevier
8. C.C. Morgan Programming from Specifications second edition 1998 Prentice Hall
9. P. Coad, and J. Nicola Object-Oriented Programming 1993 Prentice Hall
10. R.C. Martin Agile Software Development: Principles, Patterns, and Practices 2003 Prentice Hall PTR
11. E.J. Chikofsky, and B.L. Rubenstein Case: reliability engineering for information systems IEEE Software 5 2 1988 11 16
12. J. Henrard, J.-M. Hick, P. Thiran, and J.-L. Hainaut Strategies for data reengineering Working Conference on Reverse Engineering 2002 2002 IEEE Computer Society Press 211 220
13. M. Loukides What is DevOps? 2012 O'Reilly Media
14. J. Martin Application Development Without Programmers 1981 Prentice-Hall
15. R. Klepper, and D. Bock Third and fourth generation language productivity differences Communications of the ACM 38 9 1995 69 79
16. j.O. Aagedal, J. Bezivin, and P.F. Linington Model-Driven development (WMDD 2004) J. Malenfant, B.M. Ostvold, Object-Oriented Technology. ECOOP 2004 Workshop Reader Lecture Notes in Computer Science vol. 3344 2005 Springer 148 157
17. J. Warmer, and A. Kleppe The Object Constraint Language: Getting Your Models Ready for MDA second edition 2003 Addison Wesley
18. K. Beck, W. Cunningham, A laboratory for teaching object oriented thinking, SIGPLAN Notices, 24, 10. http://dx.doi.org/10.1145/74878.74879.
19. R. Wirfs-Brock, Responsibility-driven design, The Smalltalk Report (1991).
20. J. Davies, J. Gibbons, D. Milward, and J. Welch Compositionality and refinement in model-driven engineering R. Gheyi, D.A. Naumann, SBMF Lecture Notes in Computer Science vol. 7498 2012 Springer 99 114
21. J. Davies, J. Welch, A. Cavarra, and E. Crichton On the generation of object databases using Booster Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006) IEEE Computer Society 2006 10.1109/ICECCS.2006.1690374
22. A.G. Cuesta, J.C. Granja, and R.V. O'Connor A model driven architecture approach to web development J. Filipe, B. Shishkov, M. Helfert, L.A. Maciaszek, Software and Data Technologies Communications in Computer and Information Science vol.22 2009 Springer Berlin Heidelberg 101 113
23. S.J. Mellor, and M. Balcer Executable UML: A Foundation for Model-Driven Architectures 2002 Addison-Wesley Longman Publishing Co., Inc Boston, MA, USA
24. S.J. Mellor Real-time development with the Shlaer-Mellor method TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28-August 1, 1997, Santa Barbara, CA, USA 1997 IEEE Computer Society 372 http://dx.doi.org/http://doi.ieeecomputersociety.org/10.1109/TOOLS. 1997.10009
25. E. Turner, H. Treharne, S. Schneider, and N. Evans Automatic generation of CSP ∥ B skeletons from xUML models J. Fitzgerald, A. Haxthausen, H. Yenigun, Theoretical Aspects of Computing (ICTAC 2008) Lecture Notes in Computer Science vol. 5160 2008 Springer Berlin, Heidelberg 364 379
26. Object Management Group, Semantics of a foundational subset for executable UML models (FUML) version 1.0-beta 1, Tech. Rep. ptc/2008-11-03 (2008).
27. N.S. George, C. Zhang, A. Radimsky, FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages, in: Information Reuse and Integration (IRI) 2011, 2011, pp. 218-221.
28. An overview of JML tools and applications Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03) ENTCS vol.80 2003 Elsevier
29. M. Barnett, K. Leino, and W. Schulte The spec# programming system: an overview G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, T. Muntean, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Lecture Notes in Computer Science vol. 3362 2005 Springer Berlin/Heidelberg 49 69
30. B. Dantas, D. Déharbe, S. Galvao, A.M. Moreira, and V.M. Júnior Verified compilation and the b method: a proposal and a first appraisal Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008) Electronic Notes in Theoretical Computer Science 240 0 2009 79 96 10.1016/j.entcs.2009.05.046
31. A. Edmunds, M. Butler, Linking Event-B and concurrent object-oriented programs, in: Refine 2008: International Refinement Workshop, 2008.
32. M. Bravenboer, K.T. Kalleberg, R. Vermaas, and E. Visser Stratego/XT0.17: A language and toolset for program transformation Science of Computer Programming 72 1-2 2008 52 70
33. L.C. Kats, E. Visser, The spoofax language workbench: rules for declarative specification of languages and IDEs, in: Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPSLA'10, ACM, New York, NY, USA, 2010, pp. 444-463. http://dx.doi.org/http://doi.acm.org/10.1145/1869459.1869497.
34. M.A. Aboulsamh, and J. Davies A formal modeling approach to information systems evolution and data migration T.A. Halpin, S. Nurcan, J. Krogstie, P. Soffer, E. Proper, R. Schmidt, I. Bider, BMMDS/EMMSAD Lecture Notes in Business Information Processing vol. 81 2011 Springer 383 397
35. Eclipse, EMF Compare Project, www.eclipse.org/emf/compare (accessed October 2012).