{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:08:55Z","timestamp":1773374935503,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642336652","type":"print"},{"value":"9783642336669","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_10","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T12:50:20Z","timestamp":1347972620000},"page":"134-150","source":"Crossref","is-referenced-by-count":13,"title":["Query-Driven Soft Interconnection of EMF Models"],"prefix":"10.1007","author":[{"given":"\u00c1bel","family":"Heged\u00fcs","sequence":"first","affiliation":[]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"The Eclipse Project: Eclipse Modeling Framework, \n                    \n                      http:\/\/www.eclipse.org\/emf"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-16145-2_6","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Bergmann","year":"2010","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental Evaluation of Model Queries over EMF Models. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"10_CR3","unstructured":"Workflow Management Coalition: XML Process Definition Language, v2.1. (2008), \n                    \n                      http:\/\/www.wfmc.org\/xpdl.html"},{"key":"10_CR4","unstructured":"TIBCO Developer Network: TIBCO Business Studio (2012), \n                    \n                      http:\/\/developer.tibco.com\/business_studio"},{"key":"10_CR5","unstructured":"AUTOSAR Consortium: The AUTOSAR Standard, \n                    \n                      http:\/\/www.autosar.org"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30561-0_1","volume-title":"Objects, Models, Components, Patterns","author":"G. Bergmann","year":"2012","unstructured":"Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z., Varr\u00f3, D.: Integrating Efficient Model Queries in State-of-the-Art EMF Tools. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 1\u20138. Springer, Heidelberg (2012), \n                    \n                      https:\/\/www.inf.mit.bme.hu\/en\/research\/publications\/integrating-efficient-model-queries-state-art-emf-tools"},{"key":"10_CR7","unstructured":"Bergmann, G., R\u00e1th, I., Szab\u00f3, T., Torrini, P., Varr\u00f3, D.: Incremental pattern matching for the efficient computation of transitive closures. In: Sixth International Conference on Graph Transformation, Bremen, Germany (submitted, 2012)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The Model Transformation Language of the VIATRA2 Framework. Science of Computer Programming\u00a068(3), 214\u2013234 (2007)","journal-title":"Science of Computer Programming"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-21732-6_12","volume-title":"Theory and Practice of Model Transformations","author":"G. Bergmann","year":"2011","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A Graph Query Language for EMF Models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 167\u2013182. Springer, Heidelberg (2011)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-69927-9_8","volume-title":"Theory and Practice of Model Transformations","author":"I. R\u00e1th","year":"2008","unstructured":"R\u00e1th, I., Bergmann, G., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Live Model Transformations Driven by Incremental Pattern Matching. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 107\u2013121. Springer, Heidelberg (2008)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-31491-9_10","volume-title":"Modelling Foundations and Applications","author":"I. R\u00e1th","year":"2012","unstructured":"R\u00e1th, I., Heged\u00fcs, \u00c1., Varr\u00f3, D.: Derived Features for EMF by Integrating Advanced Model Queries. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 102\u2013117. Springer, Heidelberg (2012), \n                    \n                      https:\/\/viatra.inf.mit.bme.hu\/sites\/viatra.inf.mit.bme.hu\/files\/attachments\/ecmfa2012.pdf"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-13595-8_20","volume-title":"Modelling Foundations and Applications","author":"L. Rose","year":"2010","unstructured":"Rose, L., Kolovos, D., Drivalos, N., Williams, J., Paige, R., Polack, F., Fernandes, K.: Concordance: A Framework for Managing Model Integrity. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 245\u2013260. Springer, Heidelberg (2010)"},{"key":"10_CR13","unstructured":"The Eclipse Project: EMFStore (2012), \n                    \n                      http:\/\/www.eclipse.org\/emfstore"},{"key":"10_CR14","unstructured":"The Eclipse Project: The CDO Model Repository (2012), \n                    \n                      http:\/\/www.eclipse.org\/cdo"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-02674-4_11","volume-title":"Model Driven Architecture - Foundations and Applications","author":"D.S. Kolovos","year":"2009","unstructured":"Kolovos, D.S.: Establishing Correspondences between Models with the Epsilon Comparison Language. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 146\u2013157. Springer, Heidelberg (2009)"},{"issue":"2","key":"10_CR16","doi-asserted-by":"publisher","first-page":"89","DOI":"10.5381\/jot.2010.9.2.a1","volume":"9","author":"A. Anwar","year":"2010","unstructured":"Anwar, A., Ebersold, S., Coulette, B., Nassar, M., Kriouile, A.: A rule-driven approach for composing viewpoint-oriented models. Journal of Object Technology\u00a09(2), 89\u2013114 (2010)","journal-title":"Journal of Object Technology"},{"key":"10_CR17","unstructured":"Clasen, C., Jouault, F., Cabot, J.: Virtual Composition of EMF Models. In: 7\u00e8mes Journ\u00e9es sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les (IDM 2011), Lille, France (2011)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/1321631.1321657","volume-title":"Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering, ASE 2007","author":"Y. Xiong","year":"2007","unstructured":"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\u2013173. ACM, New York (2007)"},{"key":"10_CR19","unstructured":"The Object Management Group: Object Constraint Language, v2.0 (May 2006), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.0"},{"key":"10_CR20","unstructured":"Willink, E.D.: Aligning ocl with uml. ECEASST\u00a044 (2011)"},{"key":"10_CR21","unstructured":"Eclipsepedia: MDT\/OCLinEcore (2012), \n                    \n                      http:\/\/wiki.eclipse.org\/MDT\/OCLinEcorel"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-45221-8_25","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"H. Balsters","year":"2003","unstructured":"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.\u00a02863, pp. 295\u2013309. Springer, Heidelberg (2003)"},{"key":"10_CR23","unstructured":"The Eclipse Project: EMF Model Query 2, \n                    \n                      http:\/\/wiki.eclipse.org\/EMF\/Query2"},{"key":"10_CR24","unstructured":"The Eclipse Project: EMFT Search, \n                    \n                      http:\/\/www.eclipse.org\/modeling\/emft\/?project=search"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-87875-9_4","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2008","unstructured":"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\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 53\u201367. Springer, Heidelberg (2008)"},{"key":"10_CR26","unstructured":"Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. In: Proceedings of GT-VMT 2009, vol.\u00a018. ECEASST (2009)"},{"issue":"9","key":"10_CR27","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. J. Syst. Softw.\u00a082(9), 1459\u20131478 (2009)","journal-title":"J. Syst. Softw."},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-12029-9_15","volume-title":"Fundamental Approaches to Software Engineering","author":"I. Groher","year":"2010","unstructured":"Groher, I., Reder, A., Egyed, A.: Incremental Consistency Checking of Dynamic Constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 203\u2013217. Springer, Heidelberg (2010)"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-52292-1_11","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1990","unstructured":"Sch\u00fcrr, A.: Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language. In: Nagl, M. (ed.) WG 1989. LNCS, vol.\u00a0411, pp. 151\u2013165. Springer, Heidelberg (1990)"},{"key":"10_CR30","unstructured":"Jeusfeld, M.A., Jarke, M., Mylopoulos, J.: Metamodeling for Method Engineering. The MIT Press (2009)"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z.: Model Synchronization: Mappings, Tiles, and Categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2011. LNCS, vol.\u00a06491, pp. 92\u2013165. Springer, Heidelberg (2011)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-28872-2_12","volume-title":"Fundamental Approaches to Software Engineering","author":"Z. Diskin","year":"2012","unstructured":"Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, Queries, and Kleisli Categories. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 163\u2013177. Springer, Heidelberg (2012)"},{"key":"10_CR33","unstructured":"Scheidgen, M.: On implementing mof 2.0\u2014new features for modelling language abstractions (2005)"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: Proc. ICSE 2000, pp. 742\u2013745 (2000)","DOI":"10.1145\/337180.337620"},{"key":"10_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-19440-5_3","volume-title":"Software Language Engineering","author":"C. B\u00fcrger","year":"2011","unstructured":"B\u00fcrger, C., Karol, S., Wende, C., A\u00dfmann, U.: Reference Attribute Grammars for Metamodel Semantics. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 22\u201341. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:05Z","timestamp":1620116285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}