Incremental pattern matching in the VIATRA model transformation system

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 25-32

  Bergmann, Gabor ^a   Ökrös, András ^a   Ráth, István ^a   Varró, Daniel ^a   Varró, Gergely ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Domain specific languages; Incremental graph pattern matching; Incremental model transformation

Indexed keywords

APPLICATIONS.; BENCHMARK PROBLEMS; DOMAIN-SPECIFIC LANGUAGES; INCREMENTAL GRAPH PATTERN MATCHING; INCREMENTAL MODEL TRANSFORMATION; INCREMENTAL PROCESSING; MODEL SIMULATIONS; MODEL SYNCHRONIZATIONS; MODEL TRANSFORMATION SYSTEMS; RETE NETWORKS; SPEED-UP; TOOL INTEGRATIONS; TRANSFORMATION LANGUAGES;

BENCHMARKING; LINGUISTICS; QUERY LANGUAGES; SOFTWARE ENGINEERING;

PATTERN MATCHING;

EID: 57449114393     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1402947.1402953     Document Type: Conference Paper

References (23)

1. Á. Horváth et al.. Generic search plans for matching advanced graph patterns. In Proc. of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, pages 57-68, Braga, Portugal, March 31- Apr. 1 2007. Electornic Communications of the EASST.
2. D. Batory. The LEAPS algorithm. Technical Report CS-TR-94-28, 1, 1994.
3. E. Börger and R. Stärk. Abstract State Machines. A method for High-Level System Design and Analysis. Springer-Verlag, 2003.
4. H. Bunke, T. Glauser, and T.-H. Tran. An efficient implementation of graph grammar based on the RETE-matching algorithm. In Proc. Graph Grammars and Their Application to Computer Science and Biology, volume 532 of LNCS, pages 174-189, 1991.
5. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.
6. C. L. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19(1): 17-37, September 1982.
7. A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In ACM SIGMOD Proceedings, pages 157-166, Washington, D.C., USA, 1993.
8. D. Hearnden et al. Incremental model transformation for the evolution of model-driven systems. In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems, volume 4199 of LNCS, pages 321-335, Genova, Italy, October 2006. Springer.
9. S. E. Hudson. Incremental attribute evaluation: an algorithm for lazy evaluation in graphs. Technical Report 87-20, University of Arizona, 1987.
10. M. Lawley and J. Steel. Practical declarative model transformation with Tefkat. In Proc. of the International Workshop on Model Transformation in Practice, October 2005. http://sosym.dcs.kcl.ac.uk/events/mtip05/.
11. A. Matzner, M. Minas, and A. Schulte. Efficient graph matching with application to cognitive automation. In Proc. of the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, pages 293-308, Kassel, Germany, October 2007.
12. D. P. Miranker and B. J. Lofaso. The organization and performance of a TREAT-based production system compiler. IEEE Transactions on Knowledge and Data Engineering, 3(1):3-10, 1991.
13. Object Management Group. QVT: Request for Proposal for Queries, Views and Transformations, http: //www. omg.org.
14. A. Rensink. Representing first-order logic using graphs. In Proc. 2nd International Conference on Graph Transformation, Rome, Italy, volume 3256 of LNCS, pages 319-335. Springer, 2004.
15. A. Schürr. Introduction to PROGRES, an attributed graph grammar based specification language. In Graph-Theoretic Concepts in Computer Science, volume 411 of LNCS, pages 151-165, Berlin, 1990. Springer.
16. D. Varró and A. Balogh. The model transformation language of the viatra2 framework. Sci. Comput. Program., 68(3):214-234, 2007.
17. D. Varró and A. Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling, 2(3): 187-210, October 2003.
18. G. Varró, K. Friedl, and D. Varró. Graph transformation in relational databases. Journal of Software and Systems Modelling, 5(3):313-341, September 2006.
19. G. Varró, A. Schürr, and D. Varró. Benchmarking for graph transformation. In Proc. IEEE Symposium on Visual Languages and Human-Centric Computing, pages 79-88, Dallas, Texas, USA, September 2005. IEEE Press.
20. G. Varró and D. Varró. Graph transformation with incremental updates. In Proc. of the 4th Workshop on Graph Transformation and Visual Modeling Techniques, volume 109 of ENTCS, pages 71-83, Barcelona, Spain, December 2004. Elsevier.
21. G. Varró, D. Varró, and A. Schurr. Incremental graph pattern matching: Data structures and initial experiments. In Graph and Model Transformation (GraMoT), volume 4 of Electronic Communications of the EASST. EASST, 2006.
22. I. Wright and J. Marshall. The execution kernel of RC++: RETE*, a faster RETE with TREAT as a special case. International Journal of Intelligent Games and Simulation, 2(1):36-48, February 2003.
23. YourKit, LLC. YourKit Java profiler homepage. http://yourkit.com/ overview/index.jsp.