Abstract
Queries are the foundations of data intensive applications. In model-driven software engineering (MDE), model queries are core technologies of tools and transformations. As software models are rapidly increasing in size and complexity, traditional tools exhibit scalability issues that decrease productivity and increase costs [17]. While scalability is a hot topic in the database community and recent NoSQL efforts have partially addressed many shortcomings, this happened at the cost of sacrificing the ad-hoc query capabilities of SQL. Unfortunately, this is a critical problem for MDE applications due to their inherent workload complexity. In this paper, we aim to address both the scalability and ad-hoc querying challenges by adapting incremental graph search techniques – known from the EMF-IncQuery framework – to a distributed cloud infrastructure. We propose a novel architecture for distributed and incremental queries, and conduct experiments to demonstrate that IncQuery-D, our prototype system, can scale up from a single workstation to a cluster that can handle very large models and complex incremental queries efficiently.
This work was partially supported by the CERTIMOT (ERC_HU-09-01-2010-0003) and MONDO (EU ICT-611125) projects partly during the sixth author’s sabbatical.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OpenLink Software: Virtuoso Universal Server, http://virtuoso.openlinksw.com/
Sesame: RDF API and Query Engine, http://www.openrdf.org/ .
Atlanmod research team. NEO4EMF (October 2013), http://neo4emf.com/
Bergmann, G.: Incremental Model Queries in Model-Driven Design. Ph.D. dissertation, Budapest University of Technology and Economics, Budapest (October 2013)
Bergmann, G., Horváth, Á., 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)
Eclipse MDT Project. Eclispe OCL website (2011), http://eclipse.org/modeling/mdt/?project=ocl .
Espinazo Pagán, J., Sánchez Cuadrado, J., García Molina, J.: Morsa: A scalable approach for persisting and accessing large models. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 77–92. Springer, Heidelberg (2011)
Forgy, C.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligences 19(1), 17–37 (1982)
Geiß, R., Kroll, M.: On improvements of the Varro benchmark for graph transformation tools. Technical Report 2007-7, Universität Karlsruhe, IPD Goos, 12, (2007) ISSN 1432-7864
Goldschmidt, T., Uhl, A.: Efficient OCL impact analysis (2011)
R.C.W. Group. Resource Description Framework (RDF) (2004), http://www.w3.org/RDF/
Harris, S., Lamb, N., Shadbolt, N.: 4store: The design and implementation of a clustered RDF store. In: 5th International Workshop on Scalable Semantic Web Knowledge Base Systems, SSWS 2009 (2009)
Hillairet, G., Bertrand, F., Lafaye, J.Y., et al.: Bridging emf applications and rdf data sources. In: Proceedings of the 4th International Workshop on Semantic Web Enabled Software Engineering, SWESE (2008)
Izsó, B., Szárnyas, G., Ráth, I., Varró, D.: Incquery-d: Incremental graph search in the cloud. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE 2013, pp. 4:1–4:4. ACM, New York (2013)
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I.: Towards precise metrics for predicting graph query performance. In: 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, pp. 412–431. IEEE (November 2013)
Jouault, F., Sottet, J.-S., et al.: An AmmA/ATL solution for the grabats 2009 reverse engineering case study. In: 5th International Workshop on Graph-Based Tools, Grabats (2009)
Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., Ráth, I., Varró, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE 2013, pp. 2:1–2:10. ACM, New York (2013)
Miranker, D.P., Lofaso, B.J.: The Organization and Performance of a TREAT-Based Production System Compiler. IEEE Trans. on Knowl. and Data Eng. 3(1), 3–10 (1991)
Miranker, D.P., et al.: Diamond: A SPARQL query engine, for linked data based on the Rete match. In: AImWD (2012)
Neo Technology. Neo4j (2013), http://neo4j.org/
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)
Rinne, M.: SPARQL update for complex event processing. In: Cudré-Mauroux, P., et al. (eds.) ISWC 2012, Part II. LNCS, vol. 7650, pp. 453–456. Springer, Heidelberg (2012)
Rodriguez, M.A., Neubauer, P.: Constructions from dots and lines. CoRR, abs/1006.2361 (2010)
Taylor, A., Jones, A.: Cypher Query Lang (2012)
The Eclipse Project. Eclipse Modeling Framework, http://www.eclipse.org/emf/
The MOGENTES project. Model-Based Generation of Tests for Dependable Embedded Systems, http://www.mogentes.eu/
The MONDO project. Scalable Modelling and Model Management on the Cloud, http://www.mondo-project.org/
Typesafe, Inc. Akka documentation (2013), http://akka.io/
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. Science of Computer Programming (accepted 2014)
Ujhelyi, Z., Horváth, Á., Varró, D., Csiszár, N.I., Szőke, G., Vidács, L., Ferenc, R.: Anti-pattern Detection with Model Queries: A Comparison of Approaches. In: IEEE CSMR-WCRE 2014 Software Evolution Week. IEEE (2014)
Varró, G., Deckwerth, F.: A rete network construction algorithm for incremental pattern matching. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 125–140. Springer, Heidelberg (2013)
Varró, G., Schürr, A., Varró, D.: Benchmarking for graph transformation. In: Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, Texas, USA, pp. 79–88. IEEE Press (September 2005)
W3C. SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
Zeng, K., Yang, J., Wang, H., Shao, B., Wang, Z.: A distributed graph engine for web scale rdf data. In: Proceedings of the 39th International Conference on Very Large Data Bases, PVLDB 2013, pp. 265–276. VLDB Endowment (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Szárnyas, G., Izsó, B., Ráth, I., Harmath, D., Bergmann, G., Varró, D. (2014). IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_40
Download citation
DOI: https://doi.org/10.1007/978-3-319-11653-2_40
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11652-5
Online ISBN: 978-3-319-11653-2
eBook Packages: Computer ScienceComputer Science (R0)