Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Although Model Driven Software Development (MDSD) is achieving significant progress, it is still far from becoming a real Engineering discipline. In fact, many of the difficult problems of the engineering of complex software systems are still unresolved, or simplistically addressed by many of the current MDSD approaches. In this position paper we outline three of the outstanding problems that we think MDSD should tackle in order to be useful in industrial environments.

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

[2]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

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

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

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

[6]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

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

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

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

[10]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

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

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

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

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

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

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

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

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

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

[20]  Antonio Vallecillo,et al.  Adding Behavior to Models , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[21]  ÖlveczkyPeter Csaba,et al.  Semantics and pragmatics of Real-Time Maude , 2007 .

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

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

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

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