2017 • In Mouline, Ludovic; Hartmann, Thomas; Fouquet, Françoiset al. (Eds.) Programming '17 Companion to the first International Conference on the Art, Science and Engineering of Programming
[en] Smart systems are characterised by their ability to analyse measured data in live and to react to changes according to expert rules. Therefore, such systems exploit appropriate data models together with actions, triggered by domain-related conditions. The challenge at hand is that smart systems usually need to process thousands of updates to detect which rules need to be triggered, often even on restricted hardware like a Raspberry Pi. Despite various approaches have been investigated to efficiently check conditions on data models, they either assume to fit into main memory or rely on high latency persistence storage systems that severely damage the reactivity of smart systems. To tackle this challenge, we propose a novel composition process, which weaves executable rules into a data model with lazy loading abilities. We quantitatively show, on a smart building case study, that our approach can handle, at low latency, big sets of rules on top of large-scale data models on restricted hardware.
Research center :
SnT
Disciplines :
Computer science
Author, co-author :
Mouline, Ludovic ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Hartmann, Thomas ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Fouquet, François ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Le Traon, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Bourcier, Johann; University of Rennes 1 > Irisa > DiverSE > Associate Professor
Barais, Olivier; University of Rennes 1 > Irisa > DiverSE > Professor
External co-authors :
yes
Language :
English
Title :
Weaving Rules into Models@run.time for Embedded Smart Systems
Publication date :
April 2017
Event name :
Second International Modularity in Modelling Workshop
Event place :
Brussels, Belgium
Event date :
from 03-04-2017 to 04-04-2017
Audience :
International
Main work title :
Programming '17 Companion to the first International Conference on the Art, Science and Engineering of Programming
EMF Query. (6 February 2017). https://projects.eclipse.org/projects/modeling.emf.query.
Gremlin. (9 February 2017). http://gremlin.tinkerpop.com.
IFTT. (5 February 2017). https://ifttt.com/.
openHAB. (5 February 2017). http://docs.openhab.org/tutorials/beginner/rules.html.
pimatic. (5 February 2017). https://pimatic.org/.
URN specification. (6 February 2017). http://www.itu.int/rec/T-REC-Z.151-201210-I/en.
Carmen Avila, Guillermo Flores, and Yoonsik Cheon. 2008. A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. In Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes. 403-408.
Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep. 2010. Runtime Constraint Checking Approaches for OCL, A Critical Comparison. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010. 393-398.
Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep. 2010. Runtime constraint checking approaches for OCL, a critical comparison. (2010).
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, and András Ökrös. 2010. Incremental evaluation of model queries over EMF models. In International Conference on Model Driven Engineering Languages and Systems. Springer, 76-90.
Enrico Biermann, Claudia Ermel, and Gabriele Taentzer. 2008. Precise semantics of EMF model transformations by graph transformation. In International Conference on Model Driven Engineering Languages and Systems. Springer, 53-67.
Gordon S. Blair, Nelly Bencomo, and Robert B. France. 2009. Models@ run.time. IEEE Computer 42, 10 (2009), 22-27.
Paul Browne. 2009. JBoss Drools business rules. Packt Publishing Ltd.
Frank Budinsky. 2004. Eclipse modeling framework: A developer's guide. Addison-Wesley Professional.
Gwendal Daniel, Gerson Sunyé, and Jordi Cabot. 2016. Mogwaï: A framework to handle complex queries on large models. In Tenth IEEE International Conference on Research Challenges in Information Science, RCIS 2016, Grenoble, France, June 1-3, 2016. 1-12. DOI:http://dx.doi.org/10.1109/RCIS.2016.7549343.
István Dávid, István Ráth, and Dániel Varró. 2014. Streaming model transformations by complex event processing. In International Conference on Model Driven Engineering Languages and Systems. Springer, 68-83.
Charles L Forgy. 1982. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial intelligence 19, 1 (1982), 17-37.
François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, and Jean-Marc Jézéquel. 2012. An Eclipse Modelling Framework Alternative to Meet the Models@ Runtime Requirements. In Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings. 87-101.
François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, and Jean-Marc Jézéquel. 2014. Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use. CoRR abs/1405.6817 (2014). http://arxiv.org/abs/1405.6817.
Thomas Hartmann, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Olivier Barais, and Yves Le Traon. 2014. A Native Versioning Concept to Support Historized Models at Runtime. In Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. 252-268.
Thomas Hartmann, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, and Yves Le Traon. 2014. Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach. In The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013. 586-591.
Thomas Hartmann, Assaad Moawad, François Fouquet, Grégory Nain, Jacques Klein, and Yves Le Traon. 2015. Stream my models: Reactive peer-To-peer distributed models@run.time. In 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015. 80-89.
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A model transformation tool. Science of computer programming 72, 1 (2008), 31-39.
Frédéric Jouault and Massimo Tisi. 2010. Towards Incremental Execution of ATL Transformations. In Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. 123- 137.
Gary T. Leavens, Albert L. Baker, and Clyde Ruby. 2006. Preliminary design of JML: A behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31, 3 (2006), 1-38.
David Luckham. 2008. The power of events: An introduction to complex event processing in distributed enterprise systems. In International Workshop on Rules and Rule Markup Languages for the Semantic Web. Springer, 3-3.
Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Franck Fleurey, and Arnor Solberg. 2009. Models@ Run.time to Support Dynamic Adaptation. IEEE Computer 42, 10 (2009), 44-51.
Mark Richters and Martin Gogolla. 2000. Validating UML Models and OCL Constraints. In "UML" 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings. 265-277.
William N. Robinson. 2008. Extended OCL for Goal Monitoring. ECEASST 9 (2008). http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/105.
Dániel Varró, Gergely Varró, and András Pataricza. 2002. Designing the automatic transformation of visual languages. Science of Computer Programming 44, 2 (2002), 205-227.
Mira Vrbaski, Gunter Mussbacher, Dorina Petriu, and Daniel Amyot. 2012. Goal models as run-Time entities in context-Aware systems. In Proceedings of the 7th Workshop on Models@ run. time. ACM, 3-8.
Vladimir Vujovic and Mirjana Maksimovic. 2015. Raspberry Pi as a Sensor Web node for home automation. Computers & Electrical Engineering 44 (2015), 153-171.
Jos B Warmer and Anneke G Kleppe. 2003. The object constraint language: getting your models ready for MDA. Addison-Wesley Professional.
Eugene Wu, Yanlei Diao, and Shariq Rizvi. 2006. Highperformance Complex Event Processing over Streams. In Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data (SIGMOD '06).
