{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T20:49:58Z","timestamp":1774903798684,"version":"3.50.1"},"reference-count":156,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,5,12]],"date-time":"2016-05-12T00:00:00Z","timestamp":1463011200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s10270-016-0530-4","type":"journal-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T10:06:23Z","timestamp":1463133983000},"page":"609-629","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":86,"title":["Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework"],"prefix":"10.1007","volume":"15","author":[{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[]},{"given":"G\u00e1bor","family":"Bergmann","sequence":"additional","affiliation":[]},{"given":"\u00c1bel","family":"Heged\u00fcs","sequence":"additional","affiliation":[]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[]},{"given":"Zolt\u00e1n","family":"Ujhelyi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,12]]},"reference":[{"key":"530_CR1","unstructured":"Artop: The AUTOSAR Tool Platform (2015). https:\/\/www.artop.org\/"},{"key":"530_CR2","unstructured":"eMoflon (2015). http:\/\/www.moflon.org\/"},{"key":"530_CR3","unstructured":"OSLC: Open services for lifecycle collaboration (2015). http:\/\/open-services.net\/"},{"key":"530_CR4","doi-asserted-by":"publisher","unstructured":"Abdeen, H., Varr\u00f3, D., Sahraoui, H.A., Nagy, A.S., Debreceni, C., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1.: Multi-objective optimization in rule-based design space exploration. In: ACM\/IEEE International Conference on Automated Software Engineering, ASE \u201914, Vasteras, Sweden - September 15\u201319, 2014, pp. 289\u2013300 (2014). doi: 10.1145\/2642937.2643005","DOI":"10.1145\/2642937.2643005"},{"key":"530_CR5","doi-asserted-by":"crossref","unstructured":"Acretoaie, V., St\u00f6rrle, H., Str\u00fcber, D.: Transparent model transformation: turning your favourite model editor into a transformation tool. In: Theory and Practice of Model Transformations\u20148th International Conference, ICMT 2015, L\u2019Aquila, Italy, pp. 121\u2013130 (2015)","DOI":"10.1007\/978-3-319-21155-8_10"},{"key":"530_CR6","doi-asserted-by":"crossref","unstructured":"Almendros-Jim\u00e9nez, J.M., Iribarne, L.: A model transformation language based on logic programming. In: SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, \u0160pindler\u016fv Ml\u00fdn, Czech Republic, pp. 382\u2013394 (2013)","DOI":"10.1007\/978-3-642-35843-2_33"},{"key":"530_CR7","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: MOFLON: A standard-compliant metamodeling framework with graph transformations. In: Model Driven Architecture\u2014Foundations and Applications, Second European Conference, ECMDA-FA 2006, LNCS, vol. 4066, pp. 361\u2013375. Springer (2006)","DOI":"10.1007\/11787044_27"},{"key":"530_CR8","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., Legros, E., Sch\u00fcrr, A.: Generic and reflective graph transformations for the checking and enforcement of modeling guidelines. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2008, Herrsching am Ammersee, Germany, pp. 211\u2013218. IEEE Computer Society (2008)","DOI":"10.1109\/VLHCC.2008.4639088"},{"key":"530_CR9","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Model Driven Engineering Languages and Systems\u201413th International Conference (MODELS 2010), Proceedings, Part I, LNCS, vol. 6394, pp. 121\u2013135. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"530_CR10","doi-asserted-by":"crossref","unstructured":"Assmann, U.: In [47], chap. OPTIMIX: A Tool for Rewriting and Optimizing Programs, pp. 307\u2013318. World Scientific (1999)","DOI":"10.1142\/9789812815149_0008"},{"key":"530_CR11","doi-asserted-by":"crossref","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodelling. In: Proceedings of the UML 2001\u2014The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, vol. 2185, pp. 19\u201333. Springer (2001)","DOI":"10.1007\/3-540-45441-1_3"},{"issue":"3","key":"530_CR12","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C Atkinson","year":"2007","unstructured":"Atkinson, C., K\u00fchne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345\u2013359 (2007)","journal-title":"Softw. Syst. Model."},{"key":"530_CR13","volume-title":"A Survey on Reactive Programming","author":"E Bainomugisha","year":"2012","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A Survey on Reactive Programming. ACM Computing Surveys, NewYork (2012)"},{"key":"530_CR14","unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C.P., Karsai, G.: The graph rewriting and transformation language: great. ECEASST 1 (2006)"},{"key":"530_CR15","doi-asserted-by":"crossref","unstructured":"Balogh, A., Bergmann, G., Csert\u00e1n, G., G\u00f6nczy, L., Horv\u00e1th, \u00c1., Majzik, I., Pataricza, A., Polg\u00e1r, B., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Workflow-driven tool integration using model transformations. In: Graph Transformations and Model-Driven Engineering\u2014Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, LNCS, vol. 5765, pp. 224\u2013248. Springer (2010)","DOI":"10.1007\/978-3-642-17322-6_11"},{"key":"530_CR16","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, G., Varr\u00f3, D., Pataricza, A.: Compiling model transformations to EJB3-specific transformer plugins. In: ACM Symposium on Applied Computing\u2014Model Transformation Track (SAC 2006), pp. 1288\u20131295. ACM Press, Dijon, France (2006)","DOI":"10.1145\/1141277.1141576"},{"key":"530_CR17","unstructured":"Balogh, L., Istv\u00e1n D\u00e1vid Istv\u00e1n R\u00e1th, D.V., V\u00f6r\u00f6s, A.: Distributed and heterogeneous event-based monitoring in smart cyber-physical systems. In: 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, Vienna, Austria (2016)"},{"key":"530_CR18","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: FoSER \u201910 Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, pp. 17\u201322 (2010)","DOI":"10.1145\/1882362.1882367"},{"key":"530_CR19","unstructured":"Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rue\u00df, H., Rushby, J., Rusu, V., Sa\u00efdi, H., Shankar, N., Singerman, E., Tiwari, A.: An overview of SAL. In: LFM 2000: Fifth NASA Langley Formal Methods Workshop, pp. 187\u2013196 (2000)"},{"key":"530_CR20","doi-asserted-by":"publisher","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: Theory and Practice of Model Transformations\u20148th International Conference, ICMT 2015, LNCS, vol. 9152, pp. 101\u2013110 (2015). doi: 10.1007\/978-3-319-21155-8_8","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"530_CR21","doi-asserted-by":"publisher","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: Efficient model transformations by combining pattern matching strategies. In: Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, LNCS, vol. 5563, pp. 20\u201334. Springer (2009). doi: 10.1007\/978-3-642-02408-5_3","DOI":"10.1007\/978-3-642-02408-5_3"},{"key":"530_CR22","doi-asserted-by":"publisher","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: Model Driven Engineering Languages and Systems\u201413th International Conference, MODELS 2010, Oslo, Norway, October 3\u20138, 2010, Proceedings, Part I, LNCS, vol. 6394, pp. 76\u201390. Springer (2010). doi: 10.1007\/978-3-642-16145-2_6","DOI":"10.1007\/978-3-642-16145-2_6"},{"key":"530_CR23","doi-asserted-by":"crossref","unstructured":"Bergmann, G., R\u00e1th, I., Szab\u00f3, T., Torrini, P., Varr\u00f3, D.: Incremental pattern matching for the efficient computation of transitive closure. In: Sixth International Conference on Graph Transformation, LNCS, pp. 386\u2013400. Springer, Bremen, (2012)","DOI":"10.1007\/978-3-642-33654-6_26"},{"issue":"3","key":"530_CR24","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s10270-011-0197-9","volume":"11","author":"G Bergmann","year":"2012","unstructured":"Bergmann, G., R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations: change (in) the rule to rule the change. Softw. Syst. Model. 11(3), 431\u2013461 (2012). doi: 10.1007\/s10270-011-0197-9","journal-title":"Softw. Syst. Model."},{"key":"530_CR25","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Proceedings of the International Conference on Model Transformation, LNCS, vol. 6707, pp. 167\u2013182. Springer (2011)","DOI":"10.1007\/978-3-642-21732-6_12"},{"issue":"10","key":"530_CR26","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@ run.time. Computer 42(10), 22\u201327 (2009). doi: 10.1109\/MC.2009.326","journal-title":"Computer"},{"key":"530_CR27","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental detection of model inconsistencies based on model operations. In: Proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE \u201909, pp. 32\u201346. Springer, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02144-2_8"},{"issue":"5","key":"530_CR28","first-page":"265","volume":"16","author":"A Bondavalli","year":"2001","unstructured":"Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML based system design. Int. J. Comput. Syst. Sci. Eng. 16(5), 265\u2013275 (2001)","journal-title":"Int. J. Comput. Syst. Sci. Eng."},{"key":"530_CR29","unstructured":"Bondavalli, A., Majzik, I., Mura, I.: Automatic dependability analyses for supporting design decisions in UML. In: HASE\u201999: The 4th IEEE International Symposium on High Assurance Systems Engineering (1999)"},{"key":"530_CR30","doi-asserted-by":"crossref","unstructured":"Bonomi, F., Milito, R., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing\u2014MCC \u201912, p. 13. ACM Press, New York (2012)","DOI":"10.1145\/2342509.2342513"},{"key":"530_CR31","unstructured":"Brech, B., Jamison, J., Shao, L., Wightwick, G.: The Interconnecting of Everything. An IBM Redbooks Point-of-View publication (2010), 6 (2013)"},{"key":"530_CR32","doi-asserted-by":"crossref","unstructured":"Broy, M., Kirstan, S., Krcmar, H., Sch\u00e4tz, B.: What is the benefit of a model-based design of embedded software systems in the Car industry? In: Emerging Technologies for the Evolution and Maintenance of Software Models, pp. 343\u2013369 (2012)","DOI":"10.4018\/978-1-61350-438-3.ch013"},{"key":"530_CR33","unstructured":"Bruni, R., Varr\u00f3, D. (eds.): Fifth International Workshop on Graph Transformation and Visual Modelling Techniques, ENTCS. Elsevier (2006)"},{"key":"530_CR34","doi-asserted-by":"publisher","unstructured":"B\u00far, M., Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Local search-based pattern matching features in emf-incquery. In: Graph Transformation\u20148th International Conference, ICGT 2015, L\u2019Aquila, Italy, LNCS, vol. 9151, pp. 275\u2013282. Springer (2015). doi: 10.1007\/978-3-319-21145-9_18","DOI":"10.1007\/978-3-319-21145-9_18"},{"issue":"9","key":"530_CR35","doi-asserted-by":"crossref","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":"530_CR36","unstructured":"Cengarle, M.V., Bensalem, S., McDermid, J., Passerone, R., Sangiovanni-Vincentelli, A., T\u00f6rngren, M.: Technical Report 611430. http:\/\/www.cyphers.eu"},{"key":"530_CR37","unstructured":"Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., R\u00e1th, I., Salay, R., Varr\u00f3, D.: Property-based methods for collaborative model development. In: Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, CEUR Workshop Proceedings, vol. 1511, pp. 1\u20137. CEUR-WS.org (2015)"},{"key":"530_CR38","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Abdelwahed, S., Jackson, E.K.: Semantic anchoring with model transformations. In: ECMDA-FA, pp. 115\u2013129 (2005)","DOI":"10.1007\/11581741_10"},{"key":"530_CR39","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA: Visual automated transformations for formal verification and validation of UML models. In: Proceedings of the ASE 2002: 17th IEEE International Conference on Automated Software Engineering, pp. 267\u2013270. IEEE Press, Edinburgh (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"issue":"3","key":"530_CR40","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013646 (2006)","journal-title":"IBM Syst. J."},{"key":"530_CR41","doi-asserted-by":"crossref","unstructured":"Dal Cin, M., Huszerl, G., Kosmidis, K.: Evalution of safety-critical system based on guarded statecharts. In: HASE\u201999 The 4th IEEE International Symposium on High Assurance Systems Engineering (1999)","DOI":"10.1109\/HASE.1999.809473"},{"key":"530_CR42","doi-asserted-by":"publisher","unstructured":"D\u00e1vid, I., R\u00e1th, I., Varr\u00f3, D.: Streaming model transformations by complex event processing. In: Model-Driven Engineering Languages and Systems\u201417th International Conference, MODELS 2014, Valencia, Spain, pp. 68\u201383 (2014). doi: 10.1007\/978-3-319-11653-2_5","DOI":"10.1007\/978-3-319-11653-2_5"},{"key":"530_CR43","doi-asserted-by":"publisher","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: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO \u201914, pp. 31:31\u201331:38. ACM, New York, NY, (2014). doi: 10.1145\/2631675.2631677","DOI":"10.1145\/2631675.2631677"},{"key":"530_CR44","doi-asserted-by":"crossref","unstructured":"Denil, J., Juk\u0161s, M., Verbrugge, C., Vangheluwe, H.: Search-based model optimization using model transformations. Technical Report, McGill University, Canada (2014)","DOI":"10.1007\/978-3-319-11743-0_6"},{"key":"530_CR45","unstructured":"Eclipse Foundation: Eclipse Modeling Framework (EMF). http:\/\/eclipse.org\/modeling\/emf\/"},{"key":"530_CR46","unstructured":"The Eclipse Project: MDT OCL. http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl"},{"key":"530_CR47","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. In: Applications, Languages and Tools, vol. 2, World Scientific (1999)","DOI":"10.1142\/4180"},{"key":"530_CR48","doi-asserted-by":"publisher","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: UML 2000\u2014The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2\u20136, 2000, Proceedings, pp. 323\u2013337 (2000). doi: 10.1007\/3-540-40011-7_23","DOI":"10.1007\/3-540-40011-7_23"},{"key":"530_CR49","doi-asserted-by":"crossref","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: In [47], chap. The AGG-Approach: Language and Tool Environment, pp. 551\u2013603. World Scientific (1999)","DOI":"10.1142\/9789812815149_0014"},{"key":"530_CR50","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph transformation language based on UML and Java. In: Proceedings of the Theory and Application to Graph Transformations (TAGT\u201998), LNCS, vol. 1764. Springer (2000)"},{"key":"530_CR51","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology (2015)"},{"issue":"1","key":"530_CR52","doi-asserted-by":"crossref","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":"530_CR53","unstructured":"Fouquet, F., Nain, G., Morin, B., Daubert, E., Barais, O., Plouzeau, N., J\u00e9z\u00e9quel, J.M.: Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use. Technical Report, University of Luxembourg, TR-SnT-2014-11 (2014)"},{"key":"530_CR54","doi-asserted-by":"crossref","unstructured":"Galvao Lourenco da Silva, I., Zambon, E., Rensink, A., Wevers, L., Ak\u015fit, M.: Knowledge-based graph exploration analysis. In: AGTIVE, LNCS 7233, pp. 105\u2013120 (2011)","DOI":"10.1007\/978-3-642-34176-2_11"},{"key":"530_CR55","doi-asserted-by":"crossref","unstructured":"Gei\u00df, R., Batz, V., Grund, D., Hack, S., Szalkowski, A.M.: GrGen: A fast SPO-based graph rewriting tool. In: Proceedings of the 3rd International Conference on Graph Transformation, LNCS, vol. 4178, pp. 383\u2013397. Springer, Natal, Brazil (2006)","DOI":"10.1007\/11841883_27"},{"issue":"1","key":"530_CR56","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Soft Syst Model (SoSyM) 8(1), 21\u201343 (2009)","journal-title":"Soft Syst Model (SoSyM)"},{"key":"530_CR57","doi-asserted-by":"publisher","unstructured":"Gilmore, S., G\u00f6nczy, L., Koch, N., Mayer, P., Tribastone, M., Varr\u00f3, D.: Non-functional properties in the model-driven development of service-oriented systems. Syst. Model. Softw. (2011). doi: 10.1007\/s10270-010-0155-y","DOI":"10.1007\/s10270-010-0155-y"},{"key":"530_CR58","doi-asserted-by":"crossref","unstructured":"Gilmore, S., Hillston, J.: The PEPA Workbench: A tool to support a process algebra-based approach to performance modelling. In: Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, LNCS, vol. 794, pp. 353\u2013368. Springer (1994)","DOI":"10.1007\/3-540-58021-2_20"},{"key":"530_CR59","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., D\u00e9ri, Z., Varr\u00f3, D.: Model transformations for performability analysis of service configurations. In: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, LNCS, vol. 5421, pp. 153\u2013166. Springer (2008)","DOI":"10.1007\/978-3-642-01648-6_17"},{"key":"530_CR60","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., Heged\u00fcs, \u00c1., Varr\u00f3, D.: Methodologies for model-driven development and deployment: An overview. In: Wirsing, M., H\u00f6lzl, M. (eds.) Rigorous Software Engineering for Service-Oriented Systems, LNCS, vol. 6582. Springer (2011)","DOI":"10.1007\/978-3-642-20401-2_26"},{"key":"530_CR61","doi-asserted-by":"crossref","unstructured":"Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: Fundamental Approaches to Software Engineering (FASE 2009), LNCS, vol. 6013, pp. 203\u2013217. Springer (2010)","DOI":"10.1007\/978-3-642-12029-9_15"},{"key":"530_CR62","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, LNCS, vol. 4199, pp. 321\u2013335. Genova (2006)","DOI":"10.1007\/11880240_23"},{"key":"530_CR63","doi-asserted-by":"publisher","unstructured":"Heged\u00fcs, \u00c1., Bergmann, G., R\u00e1th, I., Varr\u00f3, D.: Back-annotation of simulation traces with change-driven model transformations. In: Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, pp. 145\u2013155. IEEE Computer Society, Pisa (2010). doi: 10.1109\/SEFM.2010.28","DOI":"10.1109\/SEFM.2010.28"},{"key":"530_CR64","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0436-y","author":"\u00c1 Heged\u00fcs","year":"2014","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 (2014). doi: 10.1007\/s10270-014-0436-y","journal-title":"Softw Syst Model"},{"key":"530_CR65","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: A model-driven framework for guided design space exploration. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011), November 6\u201310, pp. 173\u2013182. IEEE, Lawrence, KS (2011)","DOI":"10.1109\/ASE.2011.6100051"},{"issue":"3","key":"530_CR66","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). doi: 10.1007\/s10515-014-0163-1","journal-title":"Autom. Softw. Eng."},{"key":"530_CR67","doi-asserted-by":"crossref","unstructured":"Herzner, W., Csert\u00e1n, B.H.G., Balogh, A.: The DECOS tool-chain: Model-based development of distributed embedded safety-critical real-time systems. In: Proceedings of the DECOS\/ERCIM Workshop at SAFECOMP 2006, pp. 22\u201324. ERCIM (2006)","DOI":"10.4271\/2007-01-3827"},{"key":"530_CR68","doi-asserted-by":"publisher","unstructured":"Hidaka, S., Tisi, M., Cabot, J., Hu, Z.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 1\u201322 (2015). doi: 10.1007\/s10270-014-0450-0","DOI":"10.1007\/s10270-014-0450-0"},{"key":"530_CR69","doi-asserted-by":"publisher","unstructured":"Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Sch\u00e4fer, W., Lauder, M., Anjorin, A., Sch\u00fcrr, A.: A survey of triple graph grammar tools. ECEASST 57 (2013). doi: 10.14279\/tuj.eceasst.57.865","DOI":"10.14279\/tuj.eceasst.57.865"},{"key":"530_CR70","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 Spings, Colorado (2014)","DOI":"10.1109\/DASC.2014.6979474"},{"key":"530_CR71","unstructured":"Horv\u00e1th, A., R\u00e1th, I.: IncQuery gets Sirius: faster and better diagrams. In: EclipseCon Europe (2015)"},{"key":"530_CR72","unstructured":"Horv\u00e1th, A., R\u00e1th, I., Heged\u00fcs, A., Balogh, A.: Decreasing your coffee consumption with incremental code regeneration. In: EclipseCon France (2015)"},{"key":"530_CR73","unstructured":"Horv\u00e1th, A., R\u00e1th, I., Starr, R.R.: Massif\u2014the love child of Matlab Simulink and Eclipse. In: EclipseCon NA (2015)"},{"key":"530_CR74","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: CSP(M): Constraint satisfaction problem over models. In: Sch\u00fcrr, A., Selic, B. (eds.) Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4\u20139, 2009. Proceedings, LNCS, vol. 5795, pp. 107\u2013121. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_9"},{"issue":"3","key":"530_CR75","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10270-010-0185-5","volume":"11","author":"A Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Varr\u00f3, D.: Dynamic constraint satisfaction problems over models. Softw. Syst. Model. 11(3), 385\u2013408 (2012). doi: 10.1007\/s10270-010-0185-5","journal-title":"Softw. Syst. Model."},{"key":"530_CR76","doi-asserted-by":"publisher","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D., Schoofs, T.: Model-driven development of ARINC 653 configuration tables. In: 29th IEEE & AIAA Digital Avionics System Conference (DASC), pp. 5.A.5\u20131\u20135.A.5\u2013115. IEEE, IEEE, Salt Lake City (2010). doi: 10.1109\/DASC.2010.5655322","DOI":"10.1109\/DASC.2010.5655322"},{"key":"530_CR77","unstructured":"IncQuery Labs Ltd.: CPS Demonstrator: A model transformation benchmark (2015). https:\/\/github.com\/IncQueryLabs\/incquery-examples-cps\/wiki\/"},{"key":"530_CR78","unstructured":"ISO: Road vehicles Functional safety (ISO 26262) (2011)"},{"key":"530_CR79","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.scico.2013.10.009","volume":"85","author":"E Jakumeit","year":"2014","unstructured":"Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Heged\u00fcs, \u00c1., Herrmannsd\u00f6rfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L.M., W\u00e4tzoldt, S., Mazanek, S.: A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85, 41\u201399 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20132","key":"530_CR80","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"530_CR81","doi-asserted-by":"crossref","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. Theory and Practice of Model Transformations. LNCS, vol. 6142, pp. 123\u2013137. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13688-7_9"},{"key":"530_CR82","doi-asserted-by":"crossref","unstructured":"Kalnins, A., Barzdins, J., Celms, E.: Model transformation language MOLA. Model Driven Architecture. European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, LNCS, vol. 3599, pp. 62\u201376. Springer, Link\u00f6ping, Sweden (2005)","DOI":"10.1007\/11538097_5"},{"key":"530_CR83","unstructured":"Kolovos, D., Rose, L., Garcia-Dom\u00ednguez, A., Paige, R.: The Epsilon Book (2015). http:\/\/www.eclipse.org\/epsilon\/doc\/book\/"},{"key":"530_CR84","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., R\u00e1th, I., Varr\u00f3, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE \u201913, pp. 2:1\u20132:10. ACM (2013)","DOI":"10.1145\/2487766.2487768"},{"key":"530_CR85","first-page":"201","volume":"211","author":"B K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur 2\u2014a new version of a tool for the analysis of graph transformation systems. ENTCS 211, 201\u2013210 (2008)","journal-title":"ENTCS"},{"issue":"4","key":"530_CR86","first-page":"19","volume":"19","author":"AJ Kornecki","year":"2006","unstructured":"Kornecki, A.J., Zalewski, J.: The qualification of software development tools from the DO-178B certification perspective. J. Def. Softw. Eng. 19(4), 19\u201322 (2006)","journal-title":"J. Def. Softw. Eng."},{"issue":"2","key":"530_CR87","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s11334-009-0088-1","volume":"5","author":"AJ Kornecki","year":"2009","unstructured":"Kornecki, A.J., Zalewski, J.: Certification of software for real-time safety-critical systems: state of the art. Innov. Syst. Softw. Eng. 5(2), 149\u2013161 (2009)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"530_CR88","doi-asserted-by":"publisher","unstructured":"Kov\u00e1cs, M., G\u00f6nczy, L., Varr\u00f3, D.: Formal modeling of BPEL workflows including fault and compensation handling. In: EFTS \u201907: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, p. 1. ACM, New York, NY (2007). doi: 10.1145\/1316550.1316551","DOI":"10.1145\/1316550.1316551"},{"issue":"5","key":"530_CR89","first-page":"349","volume":"23","author":"M Kov\u00e1cs","year":"2008","unstructured":"Kov\u00e1cs, M., G\u00f6nczy, L., Varr\u00f3, D.: Formal analysis of BPEL workflows with compensation by model checking. Int. J. Comput. Syst. Eng. 23(5), 349 (2008)","journal-title":"Int. J. Comput. Syst. Eng."},{"key":"530_CR90","doi-asserted-by":"crossref","unstructured":"K\u00f6vi, A., Varr\u00f3, D.: An Eclipse-based framework for AIS service configurations. In: Malek, M., Reitenspie\u00df, M., van Moorsel, A.P.A. (eds.) Proceedings of the 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21\u201322, 2007, LNCS, vol. 4526, pp. 110\u2013126. Springer (2007)","DOI":"10.1007\/978-3-540-72736-1_10"},{"key":"530_CR91","doi-asserted-by":"publisher","unstructured":"Krikava, F., Collet, P., France, R.B.: SIGMA: Scala internal domain-specific languages for model manipulations. In: Model-Driven Engineering Languages and Systems, LNCS, vol. 8767, pp. 569\u2013585. Springer (2014). doi: 10.1007\/978-3-319-11653-2_35","DOI":"10.1007\/978-3-319-11653-2_35"},{"key":"530_CR92","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.pmcj.2014.09.009","volume":"17","author":"C Krupitzer","year":"2015","unstructured":"Krupitzer, C., Roth, F.M., VanSyckel, S., Schiele, G., Becker, C.: A survey on engineering approaches for self-adaptive systems. Perv. Mob. Comput. 17, 184\u2013206 (2015)","journal-title":"Perv. Mob. Comput."},{"key":"530_CR93","doi-asserted-by":"crossref","unstructured":"de\u00a0Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism and meta-modelling. In: 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, April 8\u201312, 2002, Proceedings, LNCS, vol. 2306, pp. 174\u2013188. Springer (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"issue":"6","key":"530_CR94","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Form. Asp. Comput. 11(6), 637\u2013664 (1999). doi: 10.1007\/s001659970003","journal-title":"Form. Asp. Comput."},{"key":"530_CR95","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Revised Selected Papers, LNCS, vol. 3844, pp. 139\u2013150. Springer (2006)","DOI":"10.1007\/11663430_15"},{"issue":"3","key":"530_CR96","doi-asserted-by":"crossref","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)","journal-title":"IEEE Des. Test"},{"issue":"7","key":"530_CR97","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107\u2013115 (2009)","journal-title":"Commun. ACM"},{"key":"530_CR98","doi-asserted-by":"crossref","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Program. 78(5), 293\u2013303 (2009)","DOI":"10.1016\/j.jlap.2008.08.004"},{"issue":"1","key":"530_CR99","first-page":"65","volume":"127","author":"T Levendovszky","year":"2005","unstructured":"Levendovszky, T., Lengyel, L., Mezei, G., Charaf, H.: A systematic approach to metamodeling environments and model transformation systems in VMTS. ENTCS 127(1), 65\u201375 (2005)","journal-title":"ENTCS"},{"key":"530_CR100","doi-asserted-by":"crossref","unstructured":"Lucio, L., Mustafiz, S., Denil, J., Vangheluwe, H., Jukss, M.: FTG+PM: an integrated framework for investigating model transformation chains. In: SDL 2013: Model-Driven Dependability Engineering, Montreal, Canada, LNCS, vol. 7916, pp. 182\u2013202. Springer (2013)","DOI":"10.1007\/978-3-642-38911-5_11"},{"key":"530_CR101","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"DC Luckham","year":"2001","unstructured":"Luckham, D.C.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc, Boston (2001)"},{"key":"530_CR102","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: Tool demonstration: The FUJABA environment. In: The 22nd International Conference on Software Engineering (ICSE). ACM Press, Limerick (2000)","DOI":"10.1145\/337180.337620"},{"key":"530_CR103","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0 (OASIS Standard) (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html"},{"key":"530_CR104","unstructured":"Object Management Group: QVT: MOF 2.0 Query\/View Transformation (2008). http:\/\/www.omg.org\/spec\/QVT\/1.0\/"},{"key":"530_CR105","doi-asserted-by":"publisher","unstructured":"Pap, Z., Majzik, I., Pataricza, A.: Checking general safety criteria on UML statecharts. In: Computer Safety, Reliability and Security, 20th Int. Conf., SAFECOMP 2001, Budapest, Hungary, September 26\u201328, 2001, Proceedings, pp. 46\u201355 (2001). doi: 10.1007\/3-540-45416-0_5","DOI":"10.1007\/3-540-45416-0_5"},{"issue":"1","key":"530_CR106","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/311531.311623","volume":"31","author":"N Paton","year":"1999","unstructured":"Paton, N., Diaz, O.: Active database systems. ACM Comput. Surv. 31(1), 63\u2013103 (1999)","journal-title":"ACM Comput. Surv."},{"key":"530_CR107","unstructured":"van Pinxten, J., Basten, T.: Motrusca: Interactive model transformation use case repository. In: 7th York Doctoral Symposium on Computer Science and Electronics, p.\u00a057 (2014)"},{"key":"530_CR108","unstructured":"Polarsys: Capella (2015). https:\/\/www.polarsys.org\/capella\/"},{"key":"530_CR109","doi-asserted-by":"publisher","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.) Proceedings of the First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), LNCS, vol. 5063, pp. 107\u2013121. Springer (2008). doi: 10.1007\/978-3-540-69927-9_8","DOI":"10.1007\/978-3-540-69927-9_8"},{"key":"530_CR110","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Heged\u00fcs, \u00c1., Varr\u00f3, D.: Derived features for EMF by integrating advanced model queries. In: Modelling Foundations and Applications\u20148th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings, LNCS, vol. 7349, pp. 102\u2013117. Springer (2012)","DOI":"10.1007\/978-3-642-31491-9_10"},{"key":"530_CR111","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., V\u00e1g\u00f3, D., Varr\u00f3, D.: Design-time simulation of domain-specific models by incremental pattern matching. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2008, Herrsching am Ammersee, Germany, 15\u201319 September 2008, Proceedings, pp. 219\u2013222. IEEE (2008)","DOI":"10.1109\/VLHCC.2008.4639089"},{"key":"530_CR112","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations. In: A. Sch\u00fcrr, B. Selic (eds.) Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4\u20139, 2009. Proceedings, LNCS, vol. 5795, pp. 342\u2013356. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_26"},{"key":"530_CR113","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Canonical graph shapes. In: Schmidt, D.A. (ed.) Programming Languages and Systems\u2014European Symposium on Programming (ESOP), LNCS, vol. 2986, pp. 401\u2013415. Springer (2004)","DOI":"10.1007\/978-3-540-24725-8_28"},{"key":"530_CR114","first-page":"127","volume":"127","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: Time and space issues in the generation of graph transition systems. GraBaTs 127, 127\u2013139 (2004)","journal-title":"GraBaTs"},{"key":"530_CR115","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations: Foundations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, Singapore (1997)"},{"key":"530_CR116","unstructured":"RTCA: Software Tool Qualification Considerations (DO-330) (2011)"},{"key":"530_CR117","unstructured":"RTCA: Software Considerations in Airborne Systems and Equipment Certification (DO-178C) (2012)"},{"key":"530_CR118","doi-asserted-by":"publisher","unstructured":"Sch\u00e4tz, B.: Formalization and rule-based transformation of EMF ecore-based models. In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29\u201330, 2008. Revised Selected Papers, pp. 227\u2013244 (2008). doi: 10.1007\/978-3-642-00434-6_15","DOI":"10.1007\/978-3-642-00434-6_15"},{"key":"530_CR119","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Proc. WG94: International Workshop on Graph-Theoretic Concepts in Computer Science, no. 903 in LNCS, pp. 151\u2013163. Springer (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"530_CR120","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: In [47], chap. The PROGRES Approach: Language and Environment, pp. 487\u2013550. World Scientific (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"530_CR121","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Barta, A., Horv\u00e1th, A., Szatm\u00e1ri, Z., Varr\u00f3, D.: Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. (2015). doi: 10.1007\/s10270-015-0485-x","DOI":"10.1007\/s10270-015-0485-x"},{"key":"530_CR122","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Validation of derived features and well-formedness constraints in DSLs\u2014by mapping graph queries to an SMT-solver. In: Proceedings of MODELS 2013: Model-Driven Engineering Languages and Systems\u201416th International Conference, LNCS, vol. 8107, pp. 538\u2013554 (2013)","DOI":"10.1007\/978-3-642-41533-3_33"},{"issue":"1","key":"530_CR123","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2008","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"530_CR124","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1007\/s10270-013-0370-4","volume":"14","author":"E Syriani","year":"2015","unstructured":"Syriani, E., Vangheluwe, H., LaShomb, B.: T-Core: a framework for custom-built model transformation engines. Softw. Syst. Model. 14(3), 1215\u20131243 (2015)","journal-title":"Softw. Syst. Model."},{"key":"530_CR125","doi-asserted-by":"publisher","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: Model-Driven Engineering Languages and Systems\u201417th International Conference, MODELS 2014, Valencia, Spain, pp. 653\u2013669 (2014). doi: 10.1007\/978-3-319-11653-2_40","DOI":"10.1007\/978-3-319-11653-2_40"},{"issue":"1","key":"530_CR126","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012)","journal-title":"Proc. IEEE"},{"key":"530_CR127","unstructured":"The Eclipse Foundation: Generic Eclipse Modeling System (GEMS) (2008). http:\/\/www.eclipse.org\/gmt\/gems\/"},{"key":"530_CR128","unstructured":"The Eclipse Foundation: Graphical Modeling Framework (GMF) (2010). http:\/\/www.eclipse.org\/modeling\/gmp\/"},{"key":"530_CR129","unstructured":"The Eclipse Foundation: EMF Model Query 2 (2012). http:\/\/wiki.eclipse.org\/EMF\/Query2"},{"key":"530_CR130","unstructured":"The Eclipse Foundation: Papyrus (2015). https:\/\/eclipse.org\/papyrus\/"},{"key":"530_CR131","unstructured":"The Eclipse Foundation: Sirius (2015). http:\/\/www.eclipse.com\/sirius\/"},{"key":"530_CR132","unstructured":"The Eclipse Foundation: Xtend (2015). http:\/\/www.eclipse.org\/xtend"},{"key":"530_CR133","doi-asserted-by":"crossref","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: Model Driven Architecture\u2014Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23\u201326, 2009. Proceedings, LNCS, vol. 5562, pp. 18\u201333. Springer (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"issue":"1","key":"530_CR134","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2002.805818","volume":"91","author":"A Tiwari","year":"2003","unstructured":"Tiwari, A., Shankar, N., Rushby, J.M.: Invisible formal methods for embedded control systems. Proc. IEEE 91(1), 29\u201339 (2003)","journal-title":"Proc. IEEE"},{"key":"530_CR135","doi-asserted-by":"crossref","unstructured":"Torrini, P., Heckel, R., R\u00e1th, I.: Stochastic simulation of graph transformation systems. In: Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Paphos, Cyprus, LNCS, vol. 6013, pp. 154\u2013157. Springer (2010)","DOI":"10.1007\/978-3-642-12029-9_11"},{"key":"530_CR136","doi-asserted-by":"crossref","unstructured":"Uhl, A., Goldschmidt, T., Holzleitner, M.: Using an ocl impact analysis algorithm for view-based textual modelling. ECEASST 44 (2011)","DOI":"10.1007\/978-3-642-21470-7_13"},{"key":"530_CR137","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). doi: 10.1016\/j.scico.2014.01.004","journal-title":"Sci. Comput. Program."},{"key":"530_CR138","doi-asserted-by":"crossref","unstructured":"Ujhelyi, Z., Sz\u0151ke, G., Horv\u00e1th, A., 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). http:\/\/dx.doi.org\/10.1016j.infsof.2015.01.003","DOI":"10.1016\/j.infsof.2015.01.003"},{"key":"530_CR139","unstructured":"Varr\u00f3, D.: Automatic program generation for and by model transformation systems. In: Proceedings of the AGT 2002: Workshop on Applied Graph Transformation, pp. 161\u2013173. Grenoble, France (2002)"},{"key":"530_CR140","unstructured":"Varr\u00f3, D.: Patterns and styles for incremental model transformations. In: First International Workshop on Patterns in Model Engineering (PAME 2015), L\u2019Aquila, Italy, July 20, 2015, CEUR Workshop Proceedings. CEUR-WS.org (2015). Invited talk"},{"key":"530_CR141","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D.: Incremental queries and transformations: From concepts to industrial applications. In: 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), pp. 51\u201359. Springer, Harrachov, Czech Republic (2016)","DOI":"10.1007\/978-3-662-49192-8_5"},{"issue":"3","key":"530_CR142","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. Sci. Comput. Program. 68(3), 214\u2013234 (2007). doi: 10.1016\/j.scico.2007.05.004","journal-title":"Sci. Comput. Program."},{"key":"530_CR143","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Metamodeling mathematics: a precise and visual framework for describing semantics domains of UML models. In: Proceedings of the Fifth International Conference on the Unified Modeling Language, LNCS, vol. 2460, pp. 18\u201333. Springer (2002)","DOI":"10.1007\/3-540-45800-X_3"},{"issue":"3","key":"530_CR144","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-003-0028-8","volume":"2","author":"D Varr\u00f3","year":"2003","unstructured":"Varr\u00f3, D., Pataricza, A.: VPM: a visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Softw. Syst. Model. 2(3), 187\u2013210 (2003)","journal-title":"Softw. Syst. Model."},{"key":"530_CR145","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Proc. UML 2004: 7th International Conference on the Unified Modeling Language, LNCS, vol. 3273, pp. 290\u2013304. Springer, Lisbon, Portugal (2004)","DOI":"10.1007\/978-3-540-30187-5_21"},{"key":"530_CR146","unstructured":"Varr\u00f3, D., Varr\u00f3, G.: Designing the automatic transformation of visual languages. Technical University of Budapest, Student Report (TDK) (1999)"},{"key":"530_CR147","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. In: Ehrig, H., Taentzer, G. (eds.) GRATRA 2000 Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pp. 14\u201321. Berlin (2000)"},{"issue":"2","key":"530_CR148","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2), 205\u2013227 (2002)","journal-title":"Sci. Comput. Program."},{"key":"530_CR149","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.entcs.2008.04.035","volume":"211","author":"G Varr\u00f3","year":"2008","unstructured":"Varr\u00f3, G.: Implementing an EJB3-specific graph transformation plugin by using database independent queries. Electron. Notes Theor. Comput. Sci. 211, 121\u2013132 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"530_CR150","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/s10270-013-0372-2","volume":"14","author":"G Varr\u00f3","year":"2015","unstructured":"Varr\u00f3, G., Deckwerth, F., Wieber, M., Sch\u00fcrr, A.: An algorithm for generating model-sensitive search plans for pattern matching on EMF models. Softw. Syst. Model. 14(2), 597\u2013621 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"530_CR151","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-006-0015-y","volume":"5","author":"G Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, G., Friedl, K., Varr\u00f3, D.: Implementing a graph transformation engine in relational databases. Softw. Syst. Model. 5(3), 313\u2013341 (2006)","journal-title":"Softw. Syst. Model."},{"key":"530_CR152","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, G., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Recursive graph pattern matching: With magic sets and global search plans. In: Proceedings of the Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), LNCS, vol. 5088. Springer (2008)","DOI":"10.1007\/978-3-540-89020-1_31"},{"key":"530_CR153","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, G., Varr\u00f3, D., Friedl, K.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: GraMot 2005, International Workshop on Graph and Model Transformations, ENTCS, vol. 152, pp. 191\u2013205. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.10.025"},{"key":"530_CR154","unstructured":"Varr\u00f3, G., Varr\u00f3, D., Sch\u00fcrr, A.: Incremental graph pattern matching: data structures and initial experiments. In: Graph and Model Transformation (GraMoT 2006), ECEASST, vol. 4. EASST (2006)"},{"key":"530_CR155","doi-asserted-by":"crossref","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., Jouault, F.: Towards a general composition semantics for rule-based model transformation. In: 14th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201911, pp. 623\u2013637. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_46"},{"issue":"3","key":"530_CR156","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Softw. 31(3), 79\u201385 (2014)","journal-title":"IEEE Softw."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0530-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0530-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0530-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,16]],"date-time":"2024-06-16T10:37:55Z","timestamp":1718534275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0530-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,12]]},"references-count":156,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["530"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0530-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,12]]}}}