. Query, http://gremlin.tinkerpop.com [3] 2017, Gremlin. IFTT, issue.6556, 2017.

C. Avila, G. Flores, and Y. Cheon, A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking, Proceedings of the 2008 International Conference on Software Engineering Research & Practice, pp.403-408, 2008.

C. Avila and A. Sarcar, Runtime Constraint Checking Approaches for OCL, A Critical Comparison, Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, pp.393-398, 2010.

C. Avila, A. Sarcar, Y. Cheon, and C. Yeep, Runtime constraint checking approaches for OCL, a critical comparison, 2010.

G. Bergmann, Á. Horváth, I. Ráth, D. Varró, and A. Balogh, Zoltán Balogh, and András Ökrös Incremental evaluation of model queries over EMF models, International Conference on Model Driven Engineering Languages and Systems, pp.76-90, 2010.
DOI : 10.1007/978-3-642-16145-2_6

E. Biermann, C. Ermel, and G. Taentzer, Precise Semantics of EMF Model Transformations by Graph Transformation, International Conference on Model Driven Engineering Languages and Systems, pp.53-67, 2008.
DOI : 10.1007/978-3-540-87875-9_4

G. S. Blair, N. Bencomo, and R. B. France, Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009.
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338

P. Browne, JBoss Drools business rules, 2009.

F. Budinsky, Eclipse modeling framework: a developer's guide, 2004.

G. Daniel, G. Sunyé, and J. Cabot, Mogwa??: A framework to handle complex queries on large models, 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS), 2016.
DOI : 10.1109/RCIS.2016.7549343
URL : https://hal.archives-ouvertes.fr/hal-01344019/document

I. Dávid, I. Ráth, and D. Varró, Streaming model transformations by complex event processing, International Conference on Model Driven Engineering Languages and Systems, pp.68-83, 2014.

L. Charles and . Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial intelligence, vol.19, issue.1, pp.17-37, 1982.

F. Fouquet, G. Nain, B. Morin, E. Daubert, O. Barais et al., An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements, Model Driven Engineering Languages and Systems -15th International Conference, pp.87-101, 2012.
DOI : 10.1007/978-3-642-33666-9_7
URL : https://hal.archives-ouvertes.fr/hal-00714558

F. Fouquet, G. Nain, B. Morin, E. Daubert, O. Barais et al., Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use, p.6817, 1405.
URL : https://hal.archives-ouvertes.fr/hal-00996764

T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein et al., A Native Versioning Concept to Support Historized Models at Runtime, Model-Driven Engineering Languages and Systems -17th International Conference, pp.252-268, 2014.
DOI : 10.1007/978-3-319-11653-2_16
URL : https://hal.archives-ouvertes.fr/hal-01097020

T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein et al., Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, pp.586-591, 2013.

T. Hartmann, A. Moawad, F. Fouquet, G. Nain, J. Klein et al., Stream my models: Reactive peer-to-peer distributed models@run.time, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.80-89, 2015.
DOI : 10.1109/MODELS.2015.7338238
URL : http://orbilu.uni.lu/bitstream/10993/22329/1/models15-author-preprint-13072015.pdf

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

F. Jouault and M. Tisi, Towards Incremental Execution of ATL Transformations In Theory and Practice of Model Transformations, Third International Conference Proceedings, pp.123-137, 2010.

T. Gary, A. L. Leavens, C. Baker, and . Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, vol.31, issue.3, pp.1-38, 2006.

D. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, International Workshop on Rules and Rule Markup Languages for the Semantic Web, pp.3-3, 2008.
DOI : 10.1007/978-3-540-88808-6_2

B. Morin, O. Barais, J. Jézéquel, F. Fleurey, and A. Solberg, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51, 2009.
DOI : 10.1109/MC.2009.327

M. Richters and M. Gogolla, Validating UML Models and OCL ConstraintsUML" 2000 -The Unified Modeling Language, Advancing the Standard, Third International Conference Proceedings, pp.265-277, 2000.
DOI : 10.1007/3-540-40011-7_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.364

D. Varró, G. Varró, and A. Pataricza, Designing the automatic transformation of visual languages, Science of Computer Programming, vol.44, issue.2, pp.205-227, 2002.
DOI : 10.1016/S0167-6423(02)00039-4

M. Vrbaski, G. Mussbacher, D. Petriu, and D. Amyot, Goal models as run-time entities in context-aware systems, Proceedings of the 7th Workshop on Models@run.time, MRT '12, pp.3-8, 2012.
DOI : 10.1145/2422518.2422520

V. Vujovi? and M. Maksimovi?, Raspberry Pi as a Sensor Web node for home automation, Computers & Electrical Engineering, vol.44, pp.153-171, 2015.
DOI : 10.1016/j.compeleceng.2015.01.019

B. Jos, . Warmer, G. Anneke, and . Kleppe, The object constraint language: getting your models ready for MDA, 2003.

E. Wu, Y. Diao, and S. Rizvi, Highperformance Complex Event Processing over Streams, Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data (SIGMOD '06), 2006.
DOI : 10.1145/1142473.1142520
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3095