Advertisement

Incremental Queries and Transformations: From Concepts to Industrial Applications

  • Dániel VarróEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9587)

Abstract

Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.

Keywords

Model queries Model transformations Incremental evaluation Reactive programming Software tool qualification 

Notes

Acknowledgments

The author is indebted for the continuous and deep contributions of all contributors of the EMF-IncQuery and Viatra project teams. In particular, I would like to highlight the 8+ year involvement of Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth and Zoltán Ujhelyi (listed in alphabetic order).

This work was partially supported by the MONDO Project (EU ICT-611125) and the MTA-BME Lendület 2015 Research Group on Cyber-Physical Systems.

References

  1. 1.
    Artop: The AUTOSAR tool platform (2015). https://www.artop.org/
  2. 2.
    eMoflon (2015). http://www.moflon.org/
  3. 3.
    mbeddr (2015). https://mbeddr.com/
  4. 4.
    Abdeen, H., Varró, D., Sahraoui, H., Nagy, A.S., Hegedüs, Á., Horváth, Á., Debreceni, C.: Multi-objective optimization in rule-based design space exploration. In: 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 289–300. IEEE, Vasteras (2014)Google Scholar
  5. 5.
    Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. In: ACM Computing Surveys (2012)Google Scholar
  6. 6.
    Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., Varró, D.: VIATRA 3: a reactive model transformation platform. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 101–110. Springer, Heidelberg (2015). http://dx.doi.org/10.1007/978-3-319-21155-8_8 CrossRefGoogle Scholar
  7. 7.
    Bergmann, G., Horváth, A., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental evaluation of model queries over EMF models. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 76–90. Springer, Heidelberg (2010). http://dx.doi.org/10.1007/978-3-642-16145-2_6 CrossRefGoogle Scholar
  8. 8.
    Bergmann, G., Ujhelyi, Z., Ráth, I., Varró, D.: A graph query language for EMF models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 167–182. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 53–67. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459–1478 (2009)CrossRefGoogle Scholar
  11. 11.
    Dávid, I., Ráth, I., Varró, D.: Streaming model transformations by complex event processing. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 68–83. Springer, Heidelberg (2014). http://dx.doi.org/10.1007/978-3-319-11653-2_5 Google Scholar
  12. 12.
    Debreceni, C., Horváth, A., Hegedüs, A., Ujhelyi, Z., Ráth, I., Varró, D.: Query-driven incremental synchronization of view models. In: 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO 2014), pp. 31:31–31:38. ACM (2014). http://doi.acm.org/10.1145/2631675.2631677
  13. 13.
    Forgy, C.L.: RETE: a fast algorithm for the many pattern/many object pattern match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRefGoogle Scholar
  14. 14.
    Hegedüs, Á., Horváth, Á., Ráth, I., Starr, R.R., Varró, D.: Query-driven soft traceability links for models. Softw. Syst. Model. 1–24 (2014). http://dx.doi.org/10.1007/s10270-014-0436-y
  15. 15.
    Hegedüs, Á., Horváth, Á., Varró, D.: A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3), 399–436 (2015). http://dx.doi.org/10.1007/s10515-014-0163-1 CrossRefGoogle Scholar
  16. 16.
    Horváth, Á., Hegedüs, Á., Búr, M., Varró, D., Starr, R.R., Mirachi, S.: Hardware-software allocation specification of ima systems for early simulation. In: Digital Avionics Systems Conference (DASC). IEEE, Colorado Springs (2014)Google Scholar
  17. 17.
    Horváth, A., Ráth, I.: IncQuery gets Sirius: faster and better diagrams. In: EclipseCon Europe (2015). https://www.eclipsecon.org/europe2015/session/incquery-gets-sirius-faster-and-better-diagrams
  18. 18.
    Horváth, A., Ráth, I., Hegedüs, A., Balogh, A.: IoT supercharged: complex event processing for MQTT with eclipse technologies. In: EclipseCon France (2015). https://www.eclipsecon.org/france2015/session/decreasing-your-coffee-consumption-incremental-code-regeneration
  19. 19.
    Horváth, A., Ráth, I., Starr, R.R.: Massif - the love child of Matlab Simulink and Eclipse. In: EclipseCon NA (2015). https://www.eclipsecon.org/na2015/session/massif-love-child-matlab-simulink-and-eclipse
  20. 20.
    IncQuery Labs Ltd.: CPS Demonstrator: a model transformation benchmark (2015). https://github.com/IncQueryLabs/incquery-examples-cps/wiki/
  21. 21.
    Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 123–137. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  22. 22.
    Kolovos, D., Rose, L., Garcia-Domnguez, A., Paige, R.: The Epsilon Book (2015). http://www.eclipse.org/epsilon/doc/book/
  23. 23.
    Lee, E.A., Hartmann, B., Kubiatowicz, J., Rosing, T.S., Wawrzynek, J., Wessel, D., Rabaey, J.M., Pister, K., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Blaauw, D., Dutta, P., Fu, K., Guestrin, C., Taskar, B., Jafari, R., Jones, D.L., Kumar, V., Mangharam, R., Pappas, G.J., Murray, R.M., Rowe, A.: The swarm at the edge of the cloud. IEEE Des. Test 31(3), 8–20 (2014). http://dx.doi.org/10.1109/MDAT.2014.2314600 CrossRefGoogle Scholar
  24. 24.
    van Pinxten, J., Basten, T.: Motrusca: interactive model transformation use case repository. In: 7th Doctoral Symposium on Computer Science and Electronics, p. 57 (2014)Google Scholar
  25. 25.
    Polarsys: Capella (2015). https://www.polarsys.org/capella/
  26. 26.
    Ráth, I., Hegedüs, A., Varró, D.: Derived features for EMF by integrating advanced model queries. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 102–117. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  27. 27.
    Ráth, I., Horváth, A.: IoT supercharged: complex event processing for MQTT with eclipse technologies. In: EclipseCon Europe (2015). https://www.eclipsecon.org/europe2015/session/iot-supercharged-complex-event-processing-mqtt-eclipse-technologies
  28. 28.
    Reder, A., Egyed, A.: Incremental consistency checking for complex design rules and larger model changes. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 202–218. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  29. 29.
    Semeráth, O., Barta, A., Horváth, Á., Szatmári, Z., Varró, D.: Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 1–36 (2015). http://dx.doi.org/10.1007/s10270-015-0485-x
  30. 30.
    Szárnyas, G., Izsó, B., Ráth, I., Harmath, D., Bergmann, G., Varró, D.: IncQuery-D: a distributed incremental model query framework in the cloud. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 653–669. Springer, Heidelberg (2014)Google Scholar
  31. 31.
    The Eclipse Foundation: EMF Model Query 2 (2012). http://wiki.eclipse.org/EMF/Query2
  32. 32.
    The Eclipse Foundation: ATL (2015). http://www.eclipse.org/atl/
  33. 33.
    The Eclipse Foundation: EMF: The eclipse modeling framework (2015). http://www.eclipse.org/emf
  34. 34.
    The Eclipse Foundation: MDT OCL (2015). http://www.eclipse.org/modeling/mdt/?project=ocl
  35. 35.
    The Eclipse Foundation: Model to model project (2015). http://www.eclipse.org/m2m/
  36. 36.
    The Eclipse Foundation: Papyrus (2015). https://eclipse.org/papyrus/
  37. 37.
    The Eclipse Foundation: Sirius (2015). http://www.eclipse.com/sirius/
  38. 38.
    The Eclipse Foundation: Xtend (2015). http://www.eclipse.org/xtend
  39. 39.
    Ujhelyi, Z., Bergmann, G., Hegedüs, Á., Horváth, Á., Izsó, B., Ráth, I., Szatmári, Z., Varró, D.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80–99 (2015). http://dx.doi.org/10.1016/j.scico.2014.01.004 CrossRefGoogle Scholar
  40. 40.
    Ujhelyi, Z., Szoke, G., Horváth, Á., Csiszár, N.I., Vidács, L., Varró, D., Ferenc, R.: Performance comparison of query-based techniques for anti-pattern detection. Inf. Softw. Technol. 65, 147–165 (2015). http://dx.doi.org/10.1016/j.infsof.2015.01.003 CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Personalised recommendations