A graph query language for EMF models

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

Volumn 6707 LNCS, Issue , 2011, Pages 167-182

  Bergmann, Gábor ^a   Ujhelyi, Zoltán ^a   Ráth, István ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT-BASED; GRAPH QUERY LANGUAGE; GRAPH-BASED; MODEL TRANSFORMATION; MODEL-DRIVEN; SEMANTIC EXTENSIONS; STATIC TYPE CHECKING; STRUCTURAL RESTRICTIONS; TYPE INFERENCES; GRAPH BASED QUERIES; SYNTACTIC SUGARS;

MODEL CHECKING; SEMANTICS; SUGARS; GRAPHIC METHODS; MODELING LANGUAGES;

QUERY LANGUAGES;

EID: 79960237287     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21732-6_12     Document Type: Conference Paper

References (22)

1. The Eclipse Project: Eclipse Modeling Framework, http://www.eclipse.org/ emf
2. Eclipse Model Development Tools Project: MDT-OCL website (2011), http://www.eclipse.org/modeling/mdt/?project=ocl
3. Eclipse Modeling Project: EMF model query website (2011), http://www.eclipse.org/modeling/emf/?project=query
4. 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. LNCS, vol. 6394, pp. 76-90. Springer, Heidelberg (2010)
5. Gilles, O., Hugues, J.: Validating requirements at model-level. In: Ingénierie Dirigée par les modéles (IDM 2008), Mulhouse, France, pp. 35-49 (2008)
6. Mouratidis, H., et al.: A natural extension of Tropos methodology for modelling security. In: Agent Oriented Methodologies Workshop. Object Oriented Programming, Systems, Languages (OOPSLA). ACM, Seattle-USA (2002)
7. Tun, T.T., et al.: Model-based argument analysis for evolving security requirements. Secure System Integration and Reliability Improvement 0, 88-97 (2010)
8. Varró, D., Pataricza, A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling 2(3), 187-210 (2003)
9. Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214-234 (2007)
10. de Lara, J., Guerra, E.: Deep meta-modelling with metaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141, pp. 1-20. Springer, Heidelberg (2010)
11. W3C OWL Working Group: OWL 2 Web Ontology Language. Technical report, W3C (2009), http://www.w3.org/TR/owl2-overview/
12. Ujhelyi, Z.: Static type checking of model transformation programs. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 413-415. Springer, Heidelberg (2010)
13. Object Management Group: Object Constraint Language, Version 2.2. (February 2010)
14. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46-60. Springer, Heidelberg (2008)
15. Eclipse Modeling Project: Xpand wiki (2010), http://wiki.eclipse.org/ Xpand
16. Biermann, E., et al.: Precise semantics of EMF model transformations by graph transformation. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 53-67. Springer, Heidelberg (2008)
17. 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, vol. 18. Electronic Communications of the EASST (2009)
18. Arendt, T., et al.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121-135. Springer, Heidelberg (2010)
19. W3C: SPARQL Query Language for RDF (January 2008)
20. Cleenewerck, T., et al.: Evolution and reuse of language specifications for dSLs (ERLS). In: Østvold, B.M. (ed.) ECOOP 2004. LNCS, vol. 3344, pp. 187-201. Springer, Heidelberg (2005)
21. White, J., et al.: Improving domain-specific language reuse with software product line techniques. IEEE Software 26(4), 47-53 (2009)
22. Ráth, I., et al.: Change-driven model transformations. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 342-356. Springer, Heidelberg (2009)