Query-driven soft interconnection of EMF models

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

Volumn 7590 LNCS, Issue , 2012, Pages 134-150

  Hegedüs, Ábel ^a   Horváth, Ákos ^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

APPLICATION SCENARIO; ECLIPSE MODELING FRAMEWORK; END POINTS; ERROR PRONES; EXTERNAL RESOURCES; INCREMENTAL MODELS; MODEL DRIVEN DEVELOPMENT; MODEL ELEMENTS; MODEL REPOSITORIES; SOFTWARE INTENSIVE SYSTEMS;

EMBEDDED SYSTEMS;

MODELS;

EID: 84867628350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33666-9_10     Document Type: Conference Paper

References (35)

1. The Eclipse Project: Eclipse Modeling Framework, http://www.eclipse.org/ emf
2. 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)
3. Workflow Management Coalition: XML Process Definition Language, v2.1. (2008), http://www.wfmc.org/xpdl.html
4. TIBCO Developer Network: TIBCO Business Studio (2012), http://developer.tibco.com/business-studio
5. AUTOSAR Consortium: The AUTOSAR Standard, http://www.autosar.org
6. Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., Varró, D.: Integrating Efficient Model Queries in State-of-the-Art EMF Tools. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 1-8. Springer, Heidelberg (2012), https://www.inf.mit.bme.hu/en/research/publications/integratingefficient-model- queries-state-art-emf-tools
7. Bergmann, G., Ráth, I., Szabó, T., Torrini, P., Varró, D.: Incremental pattern matching for the efficient computation of transitive closures. In: Sixth International Conference on Graph Transformation, Bremen, Germany (submitted, 2012)
8. Varró, D., Balogh, A.: The Model Transformation Language of the VIATRA2 Framework. Science of Computer Programming 68(3), 214-234 (2007)
9. 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)
10. Ráth, I., Bergmann, G., Ökrös, A., Varró, D.: Live Model Transformations Driven by Incremental Pattern Matching. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 107-121. Springer, Heidelberg (2008)
11. Ráth, I., Hegedüs, Á., 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), https://viatra.inf. mit.bme.hu/sites/viatra.inf.mit.bme.hu/files/attachments/ecmfa2012.pdf
12. Rose, L., Kolovos, D., Drivalos, N., Williams, J., Paige, R., Polack, F., Fernandes, K.: Concordance: A Framework for Managing Model Integrity. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 245-260. Springer, Heidelberg (2010)
13. The Eclipse Project: EMFStore (2012), http://www.eclipse.org/emfstore
14. The Eclipse Project: The CDO Model Repository (2012), http://www.eclipse.org/cdo
15. Kolovos, D.S.: Establishing Correspondences between Models with the Epsilon Comparison Language. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDAFA 2009. LNCS, vol. 5562, pp. 146-157. Springer, Heidelberg (2009)
16. Anwar, A., Ebersold, S., Coulette, B., Nassar, M., Kriouile, A.: A rule-driven approach for composing viewpoint-oriented models. Journal of Object Technology 9(2), 89-114 (2010)
17. Clasen, C., Jouault, F., Cabot, J.: Virtual Composition of EMF Models. In: 7èmes Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), Lille, France (2011)
18. Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, ASE 2007, pp. 164-173. ACM, New York (2007)
19. The Object Management Group: Object Constraint Language, v2.0 (May 2006), http://www.omg.org/spec/OCL/2.0
20. Willink, E.D.: Aligning ocl with uml. ECEASST 44 (2011)
21. Eclipsepedia: MDT/OCLinEcore (2012), http://wiki.eclipse.org/MDT/ OCLinEcorel
22. Balsters, H.: Modelling Database Views with Derived Classes in the UML/OCL-framework. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 295-309. Springer, Heidelberg (2003)
23. The Eclipse Project: EMF Model Query 2, http://wiki.eclipse.org/EMF/ Query2
24. The Eclipse Project: EMFT Search, http://www.eclipse.org/modeling/emft/? project=search
25. 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)
26. Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. In: Proceedings of GT-VMT 2009, vol. 18. ECEASST (2009)
27. Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459-1478 (2009)
28. Groher, I., Reder, A., Egyed, A.: Incremental Consistency Checking of Dynamic Constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 203-217. Springer, Heidelberg (2010)
29. Schürr, A.: Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language. In: Nagl, M. (ed.) WG 1989. LNCS, vol. 411, pp. 151-165. Springer, Heidelberg (1990)
30. Jeusfeld, M.A., Jarke, M., Mylopoulos, J.: Metamodeling for Method Engineering. The MIT Press (2009)
31. Diskin, Z.: Model Synchronization: Mappings, Tiles, and Categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2011. LNCS, vol. 6491, pp. 92-165. Springer, Heidelberg (2011)
32. Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, Queries, and Kleisli Categories. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 163-177. Springer, Heidelberg (2012)
33. Scheidgen, M.: On implementing mof 2.0-new features for modelling language abstractions (2005)
34. Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proc. ICSE 2000, pp. 742-745 (2000)
35. Bürger, C., Karol, S., Wende, C., Aßmann, U.: Reference Attribute Grammars for Metamodel Semantics. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 22-41. Springer, Heidelberg (2011)