Incremental evaluation of model queries over EMF models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6394 LNCS, Issue PART 1, 2010, Pages 76-90

  Bergmann, Gábor ^a   Horváth, Ákos ^a   Ráth, István ^a   Varró, Dániel ^a   Balogh, András ^b   Balogh, Zoltán ^b   Ökrös, András ^b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b OptXware Research and Development LLC   (Hungary)

Author keywords

EMF; incremental pattern matching; model query; model validation

Indexed keywords

APPLICATION CONTEXTS; AUTOSAR; DOMAIN SPECIFIC; EMF; END-USER EXPERIENCE; GRAPH PATTERNS; INCREMENTAL EVALUATION; INCREMENTAL PATTERN MATCHING; INDUSTRY STANDARDS; INTERACTIVE MODELING; MODEL DRIVEN DEVELOPMENT; MODEL ELEMENTS; MODEL EXECUTIONS; MODEL TRANSFORMATION; MODEL VALIDATION; PATTERN-MATCHING TECHNIQUE; QUERY FRAMEWORK; QUERY OPERATIONS; RUNTIME PERFORMANCE; SIGNIFICANT IMPACTS;

PATTERN MATCHING; SPECIFICATION LANGUAGES; STANDARDIZATION;

MODELS;

EID: 78349303110     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16145-2_6     Document Type: Conference Paper

References (20)

1. The Eclipse Project: Eclipse Modeling Framework, http://www.eclipse.org/ emf
2. The Eclipse Project: MDT OCL, http://www.eclipse.org/modeling/mdt/? project=ocl
3. The Eclipse Project: EMF Model Query, http://www.eclipse.org/modeling/ emf/?project=query
4. Bergmann, G., Ökrös, A., Ráth, I., Varró, D., Varró, G.: Incremental pattern matching in the VIATRA model transformation system. In: Karsai, G., Taentzer, G. (eds.) Graph and Model Transformation (GraMoT 2008). ACM, New York (2008)
5. AUTOSAR Consortium: The AUTOSAR Standard, http://www.autosar.org/
6. Varró, D., Balogh, A.: The Model Transformation Language of the VIATRA2 Framework. Science of Computer Programming 68(3), 214-234 (2007) (Pubitemid 47379879)
7. Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319-335. Springer, Heidelberg (2004)
8. Bergmann, G., Horváth, A., Ráth, I., Varró, D.: Efficientmodel transformations by combining pattern matching strategies. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 20-34. Springer, Heidelberg (2009)
9. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)
10. The Eclipse Project: EMFT Search, http://www.eclipse.org/modeling/emft/? project=search
11. 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)
12. Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. In: Magaria, T., Padberg, J., Taentzer, G. (eds.) Proceedings of GT-VMT 2009. Electronic Communications of the EASST, vol. 18 (2009)
13. The Object Management Group: Object Constraint Language, v2.0 (May 2006), http://www.omg.org/spec/OCL/2.0/
14. Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459-1478 (2009)
15. Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2009. LNCS, vol. 6013, pp. 203-217. Springer, Heidelberg (2010)
16. Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321-335. Springer, Heidelberg (2006) (Pubitemid 44618568)
17. 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)
18. Mészáros, T., et al.: Manual and automated performance optimization of model transformation systems. Software Tools for Technology Transfer (2010) (to appear)
19. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling (SoSyM) 8(1) (March 2009)
20. Winkelmann, J., Taentzer, G., Ehrig, K., Küster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci. 211, 159-170 (2008)