{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:20:26Z","timestamp":1740097226830,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_5","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T10:47:27Z","timestamp":1452163647000},"page":"51-59","source":"Crossref","is-referenced-by-count":5,"title":["Incremental Queries and Transformations: From Concepts to Industrial Applications"],"prefix":"10.1007","author":[{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"key":"5_CR1","unstructured":"Artop: The AUTOSAR tool platform (2015). \n                      https:\/\/www.artop.org\/"},{"key":"5_CR2","unstructured":"eMoflon (2015). \n                      http:\/\/www.moflon.org\/"},{"key":"5_CR3","unstructured":"mbeddr (2015). \n                      https:\/\/mbeddr.com\/"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Abdeen, H., Varr\u00f3, D., Sahraoui, H., Nagy, A.S., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Debreceni, C.: Multi-objective optimization in rule-based design space exploration. In: 29th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 289\u2013300. IEEE, Vasteras (2014)","DOI":"10.1145\/2642937.2643005"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. In: ACM Computing Surveys (2012)","DOI":"10.1145\/2501654.2501666"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-21155-8_8","volume-title":"Theory and Practice of Model Transformations","author":"G Bergmann","year":"2015","unstructured":"Bergmann, G., D\u00e1vid, I., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z., Varr\u00f3, D.: VIATRA 3: a reactive model transformation platform. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 101\u2013110. Springer, Heidelberg (2015). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-319-21155-8_8"},{"key":"5_CR7","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, A., 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. 6394, pp. 76\u201390. Springer, Heidelberg (2010). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-16145-2_6"},{"key":"5_CR8","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. 6707, pp. 167\u2013182. Springer, Heidelberg (2011)"},{"key":"5_CR9","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. 5301, pp. 53\u201367. Springer, Heidelberg (2008)"},{"issue":"9","key":"5_CR10","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. 82(9), 1459\u20131478 (2009)","journal-title":"J. Syst. Softw."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-319-11653-2_5","volume-title":"Model-Driven Engineering Languages and Systems","author":"I D\u00e1vid","year":"2014","unstructured":"D\u00e1vid, I., R\u00e1th, I., Varr\u00f3, D.: Streaming model transformations by complex event processing. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 68\u201383. Springer, Heidelberg (2014). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-319-11653-2_5"},{"key":"5_CR12","unstructured":"Debreceni, C., Horv\u00e1th, A., Heged\u00fcs, A., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: Query-driven incremental synchronization of view models. In: 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO 2014), pp. 31:31\u201331:38. ACM (2014). \n                      http:\/\/doi.acm.org\/10.1145\/2631675.2631677"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"CL Forgy","year":"1982","unstructured":"Forgy, C.L.: RETE: a fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell. 19(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Starr, R.R., Varr\u00f3, D.: Query-driven soft traceability links for models. Softw. Syst. Model. 1\u201324 (2014). \n                      http:\/\/dx.doi.org\/10.1007\/s10270-014-0436-y","DOI":"10.1007\/s10270-014-0436-y"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10515-014-0163-1","volume":"22","author":"\u00c1 Heged\u00fcs","year":"2015","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Varr\u00f3, D.: A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3), 399\u2013436 (2015). \n                      http:\/\/dx.doi.org\/10.1007\/s10515-014-0163-1","journal-title":"Autom. Softw. Eng."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, \u00c1., Heged\u00fcs, \u00c1., B\u00far, M., Varr\u00f3, D., Starr, R.R., Mirachi, S.: Hardware-software allocation specification of ima systems for early simulation. In: Digital Avionics Systems Conference (DASC). IEEE, Colorado Springs (2014)","DOI":"10.1109\/DASC.2014.6979474"},{"key":"5_CR17","unstructured":"Horv\u00e1th, A., R\u00e1th, I.: IncQuery gets Sirius: faster and better diagrams. In: EclipseCon Europe (2015). \n                      https:\/\/www.eclipsecon.org\/europe2015\/session\/incquery-gets-sirius-faster-and-better-diagrams"},{"key":"5_CR18","unstructured":"Horv\u00e1th, A., R\u00e1th, I., Heged\u00fcs, A., Balogh, A.: IoT supercharged: complex event processing for MQTT with eclipse technologies. In: EclipseCon France (2015). \n                      https:\/\/www.eclipsecon.org\/france2015\/session\/decreasing-your-coffee-consumption-incremental-code-regeneration"},{"key":"5_CR19","unstructured":"Horv\u00e1th, A., R\u00e1th, I., Starr, R.R.: Massif - the love child of Matlab Simulink and Eclipse. In: EclipseCon NA (2015). \n                      https:\/\/www.eclipsecon.org\/na2015\/session\/massif-love-child-matlab-simulink-and-eclipse"},{"key":"5_CR20","unstructured":"IncQuery Labs Ltd.: CPS Demonstrator: a model transformation benchmark (2015). \n                      https:\/\/github.com\/IncQueryLabs\/incquery-examples-cps\/wiki\/"},{"key":"5_CR21","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.) ICMT 2010. LNCS, vol. 6142, pp. 123\u2013137. Springer, Heidelberg (2010)"},{"key":"5_CR22","unstructured":"Kolovos, D., Rose, L., Garcia-Domnguez, A., Paige, R.: The Epsilon Book (2015). \n                      http:\/\/www.eclipse.org\/epsilon\/doc\/book\/"},{"issue":"3","key":"5_CR23","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDAT.2014.2314600","volume":"31","author":"EA Lee","year":"2014","unstructured":"Lee, E.A., Hartmann, B., Kubiatowicz, J., Rosing, T.S., Wawrzynek, J., Wessel, D., Rabaey, J.M., Pister, K., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Blaauw, D., Dutta, P., Fu, K., Guestrin, C., Taskar, B., Jafari, R., Jones, D.L., Kumar, V., Mangharam, R., Pappas, G.J., Murray, R.M., Rowe, A.: The swarm at the edge of the cloud. IEEE Des. Test 31(3), 8\u201320 (2014). \n                      http:\/\/dx.doi.org\/10.1109\/MDAT.2014.2314600","journal-title":"IEEE Des. Test"},{"key":"5_CR24","unstructured":"van Pinxten, J., Basten, T.: Motrusca: interactive model transformation use case repository. In: 7th Doctoral Symposium on Computer Science and Electronics, p. 57 (2014)"},{"key":"5_CR25","unstructured":"Polarsys: Capella (2015). \n                      https:\/\/www.polarsys.org\/capella\/"},{"key":"5_CR26","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, A., 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. 7349, pp. 102\u2013117. Springer, Heidelberg (2012)"},{"key":"5_CR27","unstructured":"R\u00e1th, I., Horv\u00e1th, A.: IoT supercharged: complex event processing for MQTT with eclipse technologies. In: EclipseCon Europe (2015). \n                      https:\/\/www.eclipsecon.org\/europe2015\/session\/iot-supercharged-complex-event-processing-mqtt-eclipse-technologies"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-33666-9_14","volume-title":"Model Driven Engineering Languages and Systems","author":"A Reder","year":"2012","unstructured":"Reder, A., Egyed, A.: Incremental consistency checking for complex design rules and larger model changes. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Barta, A., Horv\u00e1th, \u00c1., Szatm\u00e1ri, Z., Varr\u00f3, D.: Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 1\u201336 (2015). \n                      http:\/\/dx.doi.org\/10.1007\/s10270-015-0485-x","DOI":"10.1007\/s10270-015-0485-x"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1007\/978-3-319-11653-2_40","volume-title":"Model-Driven Engineering Languages and Systems","author":"G Sz\u00e1rnyas","year":"2014","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Harmath, D., Bergmann, G., Varr\u00f3, D.: IncQuery-D: a distributed incremental model query framework in the cloud. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 653\u2013669. Springer, Heidelberg (2014)"},{"key":"5_CR31","unstructured":"The Eclipse Foundation: EMF Model Query 2 (2012). \n                      http:\/\/wiki.eclipse.org\/EMF\/Query2"},{"key":"5_CR32","unstructured":"The Eclipse Foundation: ATL (2015). \n                      http:\/\/www.eclipse.org\/atl\/"},{"key":"5_CR33","unstructured":"The Eclipse Foundation: EMF: The eclipse modeling framework (2015). \n                      http:\/\/www.eclipse.org\/emf"},{"key":"5_CR34","unstructured":"The Eclipse Foundation: MDT OCL (2015). \n                      http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl"},{"key":"5_CR35","unstructured":"The Eclipse Foundation: Model to model project (2015). \n                      http:\/\/www.eclipse.org\/m2m\/"},{"key":"5_CR36","unstructured":"The Eclipse Foundation: Papyrus (2015). \n                      https:\/\/eclipse.org\/papyrus\/"},{"key":"5_CR37","unstructured":"The Eclipse Foundation: Sirius (2015). \n                      http:\/\/www.eclipse.com\/sirius\/"},{"key":"5_CR38","unstructured":"The Eclipse Foundation: Xtend (2015). \n                      http:\/\/www.eclipse.org\/xtend"},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.scico.2014.01.004","volume":"98","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Izs\u00f3, B., R\u00e1th, I., Szatm\u00e1ri, Z., Varr\u00f3, D.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80\u201399 (2015). \n                      http:\/\/dx.doi.org\/10.1016\/j.scico.2014.01.004","journal-title":"Sci. Comput. Program."},{"key":"5_CR40","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.infsof.2015.01.003","volume":"65","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., Szoke, G., Horv\u00e1th, \u00c1., Csisz\u00e1r, N.I., Vid\u00e1cs, L., Varr\u00f3, D., Ferenc, R.: Performance comparison of query-based techniques for anti-pattern detection. Inf. Softw. Technol. 65, 147\u2013165 (2015). \n                      http:\/\/dx.doi.org\/10.1016\/j.infsof.2015.01.003","journal-title":"Inf. Softw. Technol."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:51:05Z","timestamp":1559364665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}