MDE Adoption in Industry: Challenges and Success Criteria

Model-Driven Engineering has been promoted for some time as the solution for the main problem software industry is facing, i.e. complexity of software development, by raising the abstraction level and introducing more automation in the process. The promises are many; among them improved software quality by increased traceability between artifacts, early defect detection, reducing manual and error-prone work and including knowledge in generators. However, in our opinion MDE is still in the early adoption phase and to be successfully adopted by industry, it must prove its superiority over other development paradigms and be supported by a rich ecosystem of stable, compatible and standardized tools. It should also not introduce more complexity than it removes. The subject of this paper is the challenges in MDE adoption from our experience of using MDE in real and research projects, where MDE has potential for success and what the key success criteria are.

[1]  Cesare Tinelli,et al.  Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) , 2006, JACM.

[2]  Jordi Cabot,et al.  Transformation techniques for OCL constraints , 2006, Sci. Comput. Program..

[3]  Miguel A. Fernández,et al.  A Domain-Specific Modelling Approach for Autonomic Network Management , 2008, MACE.

[4]  Shmuel Katz,et al.  Diagnosis of Harmful Aspects Using Regression Verification , 2004 .

[5]  Jonathan Aldrich,et al.  Open Modules: Modular Reasoning About Advice , 2005, ECOOP.

[6]  Peter Kilpatrick,et al.  Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis , 2008, ECMDA-FA.

[7]  Sven van der Meer,et al.  Modelling Autonomic Communication Environments , 2010, Lecture Notes in Computer Science.

[8]  Jordi Cabot,et al.  Verification of UML/OCL Class Diagrams using Constraint Programming , 1899, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[9]  Wouter Joosen,et al.  Classifying and documenting aspect interactions , 2006 .

[10]  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.

[11]  Ernest Teniente,et al.  Reasoning on UML Class Diagrams with OCL Constraints , 2006, ER.

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

[13]  Indrakshi Ray,et al.  UML2Alloy: a challenging model transformation , 2007, MODELS'07.

[14]  Parastoo Mohagheghi.  Evaluating Software Development Methodologies Based on their Practices and Promises , 2008, SoMeT.

[15]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[16]  Brice Morin,et al.  Introducing variability into aspect-oriented modeling approaches , 2007, MODELS'07.

[17]  Robert B. France,et al.  Providing Support for Model Composition in Metamodels , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[18]  Jim Hagemann Snabe,et al.  Business Process Management - the SAP Roadmap , 2008 .

[19]  Frédéric Jouault,et al.  Model Driven Management of Complex Systems: Implementing the Macroscope's Vision , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[20]  Phil McMinn,et al.  Search‐based software test data generation: a survey , 2004, Softw. Test. Verification Reliab..

[21]  Achim D. Brucker,et al.  The HOL-OCL Book , 2006 .

[22]  Alberto L. Sangiovanni-Vincentelli,et al.  Correct-by-construction transformations across design environments for model-based embedded software development , 2005, Design, Automation and Test in Europe.

[23]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[24]  Hartmut Ehrig,et al.  Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs , 2008, Electron. Notes Theor. Comput. Sci..

[25]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[26]  Brice Morin,et al.  Weaving Aspect Configurations for Managing System Variability , 2008, VaMoS.

[27]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[28]  Jörg Kienzle,et al.  11th International Workshop on Aspect-Oriented Modeling , 2006, MoDELS.

[29]  Peter Kilpatrick,et al.  Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains , 2009, SLE.

[30]  Wouter Joosen,et al.  Support for distributed adaptations in aspect-oriented middleware , 2008, AOSD.

[31]  Myra B. Cohen,et al.  Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces , 2006, IEEE Trans. Software Eng..

[32]  Steffen Zschaler,et al.  Application of Tracing Techniques in Model-Driven Performance Engineering , 2008 .

[33]  Zièd Choukair,et al.  Dynamic, adaptive and reconfigurable systems overview and prospective vision , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[34]  Olivier Barais,et al.  Improving maintenance in AOP through an interaction specification framework , 2008, 2008 IEEE International Conference on Software Maintenance.

[35]  Peter W. O'Hearn,et al.  Verified Software: A Grand Challenge , 2006, Computer.

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

[37]  Gary T. Leavens,et al.  Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning , 2002 .

[38]  Brice Morin,et al.  An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability , 2008, MoDELS.

[39]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[40]  Geoffrey A. Moore.  Crossing the chasm : marketing and selling high-tech products to mainstream customers , 1999 .