Challenges in Model-Driven Software Engineering

After more than a decade of research in Model-Driven Engineering (MDE), the state-of-the-art and the state-of-the-practice in MDE has significantly progressed. Therefore, during this workshop we raised the question of how to proceed next, and we identified a number of future challenges in the field of MDE. The objective of the workshop was to provide a forum for discussing the future of MDE research and practice. Seven presenters shared their vision on the future challenges in the field of MDE. Four breakout groups discussed scalability, consistency and co-evolution, formal foundations, and industrial adoption, respectively. These themes were identified as major categories of challenges by the participants. This report summarises the different presentations, the MDE challenges identified by the workshop participants, and the discussions of the breakout groups.

[1]  A. G. Kleppe,et al.  A Language Description is More than a Metamodel , 2007 .

[2]  Thomas Baar,et al.  Semantics of OCL specified with QVT , 2008, Software & Systems Modeling.

[3]  Antonio Vallecillo,et al.  Behavior, Time and Viewpoint Consistency: Three Challenges for MDE , 2009, MoDELS.

[4]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[5]  Antonio Vallecillo.  A Journey through the Secret Life of Models , 2008, Perspectives Workshop: Model Engineering of Complex Systems.

[6]  Antonio Vallecillo,et al.  Formal and Tool Support for Model Driven Engineering with Maude , 2007, J. Object Technol..

[7]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.

[8]  Antonio Vallecillo,et al.  Well-formed Rules for Viewpoint Correspondences Specification , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

[9]  Miroslaw Staron,et al.  Proceedings of the 2nd Workshop on Quality in Modeling , 2007 .

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

[11]  Jörg Rech,et al.  Model-Driven Software Development - Integrating Quality Assurance , 2008 .

[12]  Antonio Vallecillo,et al.  Representing and Operating with Model Differences , 2008, TOOLS.

[13]  Antonio Vallecillo,et al.  Change Management in Multi-Viewpoint System Using ASP , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

[14]  Michael Lawley,et al.  Incremental model transformation for the evolution of model-driven systems , 2006, MoDELS'06.

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

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

[17]  Peter Csaba Ölveczky,et al.  Semantics and pragmatics of Real-Time Maude , 2007, High. Order Symb. Comput..

[18]  Juan de Lara,et al.  Defining visual notations and their manipulation through meta-modelling and graph transformation , 2004, J. Vis. Lang. Comput..

[19]  A. G. Kleppe,et al.  Building a Flexible Software Factory Using Partial Domain Specific Models , 2006, OOPSLA 2006.

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

[21]  Juan de Lara,et al.  Translating Model Simulators to Analysis Models , 2008, FASE.

[22]  Richard F. Paige,et al.  Detecting and Repairing Inconsistencies across Heterogeneous Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

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

[24]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[25]  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).

[26]  Jordi Cabot,et al.  UML / OCL Verification In Practice , 2008 .

[27]  Miguel A. Fernández,et al.  MDE Adoption in Industry: Challenges and Success Criteria , 2009, MoDELS.

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

[29]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[30]  Arend Rensink,et al.  Defining Object-Oriented Execution Semantics Using Graph Transformations , 2006, FMOODS.

[31]  Reiko Heckel,et al.  Graph Transformation with Time: Causality and Logical Clocks , 2002, ICGT.

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

[33]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[34]  Antonio Vallecillo,et al.  Adding Behavioral Semantics to Models , 2007 .

[35]  Eric Yu,et al.  Improving Requirements Specifications in Model-Driven Development Processes , 2008 .

[36]  Antonio Vallecillo,et al.  Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude , 2009, SLE.

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

[38]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

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

[40]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[41]  Howard Bowman,et al.  Viewpoint consistency in ODP , 2000, Comput. Networks.