{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:11Z","timestamp":1762458851367},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161445"},{"type":"electronic","value":"9783642161452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16145-2_6","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T11:41:31Z","timestamp":1285069291000},"page":"76-90","source":"Crossref","is-referenced-by-count":58,"title":["Incremental Evaluation of Model Queries over EMF Models"],"prefix":"10.1007","author":[{"given":"G\u00e1bor","family":"Bergmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Balogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Balogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"\u00d6kr\u00f6s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"The Eclipse Project: Eclipse Modeling Framework, http:\/\/www.eclipse.org\/emf"},{"key":"6_CR2","unstructured":"The Eclipse Project: MDT OCL, http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl"},{"key":"6_CR3","unstructured":"The Eclipse Project: EMF Model Query, http:\/\/www.eclipse.org\/modeling\/emf\/?project=query"},{"key":"6_CR4","volume-title":"Graph and Model Transformation (GraMoT 2008)","author":"G. Bergmann","year":"2008","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, 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)"},{"key":"6_CR5","unstructured":"AUTOSAR Consortium: The AUTOSAR Standard, http:\/\/www.autosar.org\/"},{"issue":"3","key":"6_CR6","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":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 319\u2013335. Springer, Heidelberg (2004)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-02408-5_3","volume-title":"Theory and Practice of Model Transformations","author":"G. Bergmann","year":"2009","unstructured":"Bergmann, G., Horv\u00e1th, A., R\u00e1th, I., Varr\u00f3, D.: Efficient model transformations by combining pattern matching strategies. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 20\u201334. Springer, Heidelberg (2009)"},{"volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","key":"6_CR9","unstructured":"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)"},{"key":"6_CR10","unstructured":"The Eclipse Project: EMFT Search, http:\/\/www.eclipse.org\/modeling\/emft\/?project=search"},{"key":"6_CR11","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":"6_CR12","unstructured":"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.\u00a018 (2009)"},{"key":"6_CR13","unstructured":"The Object Management Group: Object Constraint Language, v2.0 (May 2006), http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"issue":"9","key":"6_CR14","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":"6_CR15","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 2009. LNCS, vol.\u00a06013, pp. 203\u2013217. Springer, Heidelberg (2010)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"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.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-13688-7_9","volume-title":"Theory and Practice of Model Transformations","author":"F. Jouault","year":"2010","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: Tratt, L., Gogolla, M. (eds.) Theory and Practice of Model Transformations. LNCS, vol.\u00a06142, pp. 123\u2013137. Springer, Heidelberg (2010) (to appear)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"M\u00e9sz\u00e1ros, T., et al.: Manual and automated performance optimization of model transformation systems. Software Tools for Technology Transfer (2010) (to appear)","DOI":"10.1007\/s10009-010-0151-0"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling (SoSyM)\u00a08(1) (March 2009)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J. Winkelmann","year":"2008","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., K\u00fcster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci.\u00a0211, 159\u2013170 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"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-16145-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T10:33:02Z","timestamp":1636540382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16145-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161445","9783642161452"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16145-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}