Streaming Model Transformations By Complex Event Processing

Streaming model transformations represent a novel class of transformations dealing with models whose elements are continuously produced or modified by a background process [1]. Executing streaming transformations requires efficient techniques to recognize the activated transformation rules on a potentially infinite input stream. Detecting a series of events triggered by compound structural changes is especially challenging for a high volume of rapid modifications, a characteristic of an emerging class of applications built on runtime models.

[1]  Hui Song,et al.  Instant and incremental QVT transformation for runtime models , 2011, MODELS'11.

[2]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

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

[4]  Jan Carlson.  An intuitive and resource-efficient event detection algebra , 2004 .

[5]  Juan de Lara,et al.  Streaming Model Transformations: Scenarios, Challenges and Initial Solutions , 2013, ICMT.

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

[7]  Koen Yskout.  Change Patterns : Co-evolving Requirements and Architecture , 2010 .

[8]  Matthias Baldauf,et al.  A survey on context-aware systems , 2007, Int. J. Ad Hoc Ubiquitous Comput..

[9]  P. Young,et al.  Time series analysis, forecasting and control , 1972, IEEE Transactions on Automatic Control.

[10]  Thomas Vogel,et al.  Incremental model synchronization for efficient run-time monitoring , 2009, MODELS'09.

[11]  Ruth Breu,et al.  Living Models - Ten Principles for Change-Driven Software Engineering , 2011, Int. J. Softw. Informatics.

[12]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

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

[14]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[15]  George E. P. Box,et al.  Time Series Analysis: Box/Time Series Analysis , 2008 .

[16]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[17]  Nelly Bencomo,et al.  Models@run.time , 2014, Lecture Notes in Computer Science.

[18]  Wouter Joosen,et al.  Change patterns , 2012, Software & Systems Modeling.