The Relevance of Model-Driven Engineering Thirty Years from Now

Although model-driven engineering (MDE) is now an established approach for developing complex software systems, it has not been universally adopted by the software industry. In order to better understand the reasons for this, as well as to identify future opportunities for MDE, we carried out a week-long design thinking experiment with 15 MDE experts. Participants were facilitated to identify the biggest problems with current MDE technologies, to identify grand challenges for society in the near future, and to identify ways that MDE could help to address these challenges. The outcome is a reflection of the current strengths of MDE, an outlook of the most pressing challenges for society at large over the next three decades, and an analysis of key future MDE research opportunities.

[1]  Richard F. Paige,et al.  Eclipse Development Tools for Epsilon , 2006 .

[2]  Håkan Burden,et al.  Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? , 2013, MoDELS.

[3]  Alex E. Bell.  Death by UML Fever , 2004, ACM Queue.

[4]  Michel R. V. Chaudron,et al.  A survey into the rigor of UML use and its perceived impact on quality and productivity , 2008, ESEM '08.

[5]  Ballengee Christine Morris.  Beyond the Standard , 2011 .

[6]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.

[7]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[8]  Xavier Crégut,et al.  Introducing Simulation and Model Animation in the MDE Topcased Toolkit , 2008 .

[9]  Richard V. McCarthy,et al.  Does UML make the grade? Insights from the software development community , 2005, Inf. Softw. Technol..

[10]  John A. Zachman,et al.  Data Stores, Data Warehousing, and the Zachman Framework: Managing Enterprise Knowledge , 1997 .

[11]  Lionel C. Briand,et al.  Impact analysis and change management of UML models , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[12]  Sriram K. Rajamani,et al.  SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft , 2004, IFM.

[13]  Paulo Cézar Stadzisz,et al.  A Brazilian survey on UML and model-driven practices for embedded software development , 2013, J. Syst. Softw..

[14]  Betty H. C. Cheng,et al.  A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[15]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[16]  Bruno Legeard,et al.  A taxonomy of model‐based testing approaches , 2012, Softw. Test. Verification Reliab..

[17]  Steve Cook,et al.  Domain-Specific Development with Visual Studio DSL Tools , 2007 .

[18]  Carlos José Pereira de Lucena,et al.  Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies , 2013, MoDELS.

[19]  Jürgen Dingel,et al.  Towards a model transformation intent catalog , 2012, AMT '12.

[20]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[21]  Parastoo Mohagheghi,et al.  Where Is the Proof? - A Review of Experiences from Applying MDE in Industry , 2008, ECMDA-FA.

[22]  T. Kanade.  Model-Based Testing of Reactive Systems , 2005 .

[23]  Mark Rouncefield,et al.  Model-driven engineering practices in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[24]  Florian Matthes,et al.  Generating Visualizations of Enterprise Architectures using Model Transformations , 2007, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[25]  David Harel,et al.  Reactive animation: realistic modeling of complex dynamic systems , 2005, Computer.

[26]  Dolev Dotan,et al.  Verification of embedded system's specification using collaborative simulation of SysML and simulink models , 2009, 2009 International Conference on Model-Based Systems Engineering.

[27]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[28]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[29]  August-Wilhelm Scheer,et al.  ARIS Architecture and Reference Models for Business Process Management , 2000, Business Process Management.

[30]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[31]  Johan Lilius,et al.  Formalising UML State Machines for Model Checking , 1999, UML.

[32]  Holger Giese,et al.  A Survey of Triple Graph Grammar Tools , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[33]  Ina Schieferdecker,et al.  Model-Driven Testing: Using the UML Testing Profile , 2007 .

[34]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[35]  Martin Gogolla,et al.  On better understanding UML diagrams through interactive three-dimensional visualization and animation , 2000, AVI '00.

[36]  Betty H. C. Cheng,et al.  Lessons learned from automated analysis of industrial UML class models (an experience report) , 2005, MoDELS'05.

[37]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[38]  Claire Stevenson,et al.  Assessing Software Design Skills and their Relation with Reasoning Skills , 2013, EduSymp@MoDELS.

[39]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[40]  Brian Berenbach,et al.  The evaluation of large, complex UML analysis and design models , 2004, Proceedings. 26th International Conference on Software Engineering.

[41]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance , 2004, Lecture Notes in Computer Science.

[42]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[43]  Ivan Kurtev,et al.  State of the Art of QVT: A Model Transformation Language Standard , 2008, AGTIVE.

[44]  Olivier Barais,et al.  Model Driven Language Engineering with Kermeta , 2009, GTTSE.

[45]  James H. Hill,et al.  Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples , 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

[46]  James H. Hill,et al.  Proactive modeling: auto-generating models from their semantics and constraints , 2012, DSM '12.

[47]  Marian Petre,et al.  UML in practice , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[48]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[49]  Heather Goldsby,et al.  A visualization framework for the modeling and formal analysis of high assurance systems , 2006, MoDELS'06.

[50]  Mark Rouncefield,et al.  The State of Practice in Model-Driven Engineering , 2014, IEEE Software.

[51]  Rajesh Subramanyan,et al.  A survey on model-based testing approaches: a systematic review , 2007, WEASELTech '07.

[52]  Mark Rouncefield,et al.  Empirical assessment of MDE in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[53]  Nigel Cross,et al.  Design Thinking: Understanding How Designers Think and Work , 2011 .

[54]  Peter J. Clarke,et al.  Measuring the effort for creating and using domain-specific models , 2010, DSM '10.

[55]  Jörg Kienzle,et al.  Concern-Oriented Software Design , 2013, MoDELS.

[56]  Alexander Pretschner,et al.  Model-Based Testing in Practice , 2005, FM.

[57]  Jeffrey Parsons,et al.  How UML is used , 2006, CACM.