Streaming Model Transformations: Scenarios, Challenges and Initial Solutions

Several styles of model transformations are well-known and widely used, such as batch, live, incremental and lazy transformations. While they permit tackling advanced scenarios, some applications deal with models that are only available as a possibly infinite stream of elements. Hence, in streaming transformations, source model elements are continuously produced by some process, or very large models are fragmented and fed into the transformation engine. This poses a series of issues that cannot be tackled using current transformation engines. In this paper we motivate the applicability of this kind of transformations, explore the elements involved, and review several strategies to deal with them. We also propose a concrete approach, built on top of the Eclectic transformation tool.

[1]  William D. Clinger,et al.  Implementation Strategies for First-Class Continuations , 1999, High. Order Symb. Comput..

[2]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[3]  Marcos Didonet Del Fabro,et al.  Transforming Very Large Models in the Cloud: a Research Roadmap , 2012 .

[4]  Jesús Sánchez Cuadrado,et al.  Compiling ATL with Continuations , 2011, MtATL@TOOLS.

[5]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[6]  Nick Koudas,et al.  The design of a query monitoring system , 2009, TODS.

[7]  Dániel Varró,et al.  Change-driven model transformations , 2011, Software & Systems Modeling.

[8]  Dániel Varró,et al.  Change-driven model transformations - Change (in) the rule to rule the change , 2012, Softw. Syst. Model..

[9]  Daniele Braga,et al.  Querying RDF streams with C-SPARQL , 2010, SGMD.

[10]  Danh Le Phuoc,et al.  Linked Stream Data Processing , 2012, Reasoning Web.

[11]  Frédéric Jouault,et al.  Towards Incremental Execution of ATL Transformations , 2010, ICMT@TOOLS.

[12]  Carlo Zaniolo,et al.  Relational languages and data models for continuous queries on sequences and data streams , 2011, TODS.

[13]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[14]  Jordi Cabot,et al.  Combining Model-Driven Engineering and Cloud Computing , 2010, ECMFA 2010.

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

[16]  William D. Clinger,et al.  Implementation strategies for continuations , 1988, LFP '88.

[17]  Dan Suciu,et al.  Processing XML streams with deterministic automata and stream indexes , 2004, TODS.

[18]  Lionel C. Briand,et al.  Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software , 2006, IEEE Transactions on Software Engineering.

[19]  JÜRGEN KRÄMER,et al.  Semantics and implementation of continuous sliding window queries over data streams , 2009, TODS.

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

[21]  Yutaka Matsuo,et al.  Earthquake shakes Twitter users: real-time event detection by social sensors , 2010, WWW '10.

[22]  Amit P. Sheth,et al.  Semantic Sensor Web , 2008, IEEE Internet Computing.

[23]  Benoît Combemale,et al.  Formally defining and iterating infinite models , 2012, MODELS'12.

[24]  Jesús Sánchez Cuadrado.  Towards a Family of Model Transformation Languages , 2012, ICMT@TOOLS.

[25]  Jesús Sánchez Cuadrado,et al.  Morsa: a scalable approach for persisting and accessing large models , 2011, MODELS'11.

[26]  Richard F. Paige,et al.  The Grand Challenge of Scalability for Model Driven Engineering , 2009, MoDELS.

[27]  Jordi Cabot,et al.  Lazy execution of model-to-model transformations , 2011, MODELS'11.

[28]  Dieter Fensel,et al.  It's a Streaming World! Reasoning upon Rapidly Changing Information , 2009, IEEE Intelligent Systems.

[29]  Jennifer Widom,et al.  Models and issues in data stream systems , 2002, PODS.

[30]  Olivier Barais,et al.  Active operations on collections , 2010, MODELS'10.