{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T20:10:33Z","timestamp":1692475833730},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,8,20]],"date-time":"2016-08-20T00:00:00Z","timestamp":1471651200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10270-016-0555-8","type":"journal-article","created":{"date-parts":[[2016,8,20]],"date-time":"2016-08-20T06:11:32Z","timestamp":1471673492000},"page":"1227-1252","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Scope in model transformations"],"prefix":"10.1007","volume":"17","author":[{"given":"M\u0101ris","family":"Juk\u0161s","sequence":"first","affiliation":[]},{"given":"Clark","family":"Verbrugge","sequence":"additional","affiliation":[]},{"given":"Maged","family":"Elaasar","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,20]]},"reference":[{"key":"555_CR1","doi-asserted-by":"crossref","unstructured":"Berner, S., Joos, S., Glinz, M., Arnold, M.: A visualization concept for hierarchical object models. In: Proceedings of the 13th IEEE International Conference on Automated Software Engineering, pp. 225\u2013228 (1998)","DOI":"10.1109\/ASE.1998.732655"},{"key":"555_CR2","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC\u201971), pp.151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"key":"555_CR3","unstructured":"Sarkar, M.S., Blostein, D., Cordy, J.R.: GXL\u2014A Graph Transformation Language with Scoping and Graph Parameters. Queens University, Kingston, ON (1998)"},{"key":"555_CR4","unstructured":"Giavitto, J.-L., Godin, C., Michel, O., Prusinkiewicz, P.: Computational models for integrative and developmental biology. In: Actes du Colloque Mod\u00e9lisation et simulation de processus biologiques dans le contexte de la g\u00e9nomique, Autrans, France (2002). https:\/\/hal.inria.fr\/hal-00827466"},{"key":"555_CR5","doi-asserted-by":"crossref","unstructured":"Mannadiar, R.: A multi-paradigm modelling approach to the foundations of domain-specific modelling. Ph.D. thesis, McGill University (2012)","DOI":"10.1007\/978-3-642-19440-5_17"},{"key":"555_CR6","unstructured":"Varr\u00f3, G., Sch\u00fcrr, A., Varr\u00f3, D.: Benchmarking for graph transformation. Technical report, Department of Computer Science and Information Theory, Budapest University of Technology and Economics (2005)"},{"key":"555_CR7","doi-asserted-by":"crossref","unstructured":"Gei\u00df, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.M.: GrGen: A fast SPO-based graph rewriting tool. In: Graph Transformations\u2014ICGT 2006. Lecture Notes in Computer Science, pp. 383\u2013397. Springer, Natal (2006)","DOI":"10.1007\/11841883_27"},{"key":"555_CR8","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, G., Friedl, K., Varr\u00f3, D.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. Electron. Notes Theor. Comput. Sci. 152, 191\u2013205 (2006). In: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005)","DOI":"10.1016\/j.entcs.2005.10.025"},{"key":"555_CR9","volume-title":"Compilers: Principles, Techniques, and Tools","author":"AV Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co. Inc, Boston (1986)"},{"key":"555_CR10","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Beyer, M.: Amalgamated graph transformations and their use for specifying AGG\u2014an algebraic graph grammar system. In: Schneider, H.J., Ehrig, H. (eds.) Graph Transformations in Computer Science. Lecture Notes in Computer Science, vol. 776, pp. 380\u2013394. Springer, Berlin (1994)","DOI":"10.1007\/3-540-57787-4_24"},{"key":"555_CR11","unstructured":"Rensink, A., Kuperus, J.H.: Repotting the geraniums: on nested graph transformation rules. ECEASST 18, 380\u2013394 (2009)"},{"issue":"2\u20133","key":"555_CR12","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P Boehm","year":"1987","unstructured":"Boehm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations: a synchronization mechanism. J. Comput. Syst. Sci. 34(2\u20133), 377\u2013408 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"555_CR13","doi-asserted-by":"crossref","unstructured":"Cordy, J., Halpern, C., Promislow, E.: TXL: a rapid prototyping system for programming language dialects. In: Proceedings of the International Conference on Computer Languages, pp. 280\u2013285 (1988)","DOI":"10.1109\/ICCL.1988.13075"},{"issue":"1\u20132","key":"555_CR14","first-page":"123","volume":"69","author":"M Bravenboer","year":"2005","unstructured":"Bravenboer, M., van Dam, A., Olmos, K., Visser, E.: Program transformation with scoped dynamic rewrite rules. Fundam. Inf. 69(1\u20132), 123\u2013178 (2005)","journal-title":"Fundam. Inf."},{"key":"555_CR15","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.1 (2011)"},{"issue":"3","key":"555_CR16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10270-007-0051-2","volume":"6","author":"E Guerra","year":"2007","unstructured":"Guerra, E., de Lara, J.: Event-driven grammars: relating abstract and concrete levels of visual languages. Softw. Syst. Model. 6(3), 317\u2013347 (2007)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"555_CR17","first-page":"261","volume":"5","author":"A Agrawal","year":"2006","unstructured":"Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. SoSyM 5(3), 261\u2013288 (2006)","journal-title":"SoSyM"},{"key":"555_CR18","unstructured":"de\u00a0Lara, J., Vangheluwe, H.L.: Using AToM $$^3$$ 3 as a meta-CASE environment. In: 4th International Conference on Enterprise Information Systems, pp. 642\u2013649 (2002)"},{"key":"555_CR19","doi-asserted-by":"publisher","unstructured":"Syriani, E., Vangheluwe, H.: De-\/re-constructing model transformation languages. ECEASST 29 (2010). doi: 10.14279\/tuj.eceasst.29.407","DOI":"10.14279\/tuj.eceasst.29.407"},{"key":"555_CR20","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: Graph grammar engineering with PROGRES. In: 5th European Software Engineering Conference, vol. 989, pp. 219\u2013234. Springer, Berlin (1995)","DOI":"10.1007\/3-540-60406-5_17"},{"key":"555_CR21","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques, Volume\u00a067 of Electronic Communications of EASST, European Association of Software Science and Technology (2014)"},{"issue":"1","key":"555_CR22","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s10270-012-0247-y","volume":"13","author":"H Giese","year":"2012","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Softw. Syst. Model. 13(1), 273\u2013299 (2012)","journal-title":"Softw. Syst. Model."},{"key":"555_CR23","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, G., Deckwerth, F.: A Rete network construction algorithm for incremental pattern matching. In: Proceedings of the International Conference on Theory and Practice of Model Transformations: ICMT Budapest, Hungary, pp. 125\u2013140. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38883-5_13"},{"key":"555_CR24","doi-asserted-by":"crossref","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. Science of Computer Programming 98(Part 1), 80\u201399 (2015). Fifth issue of Experimental Software and Toolkits (EST): A Special Issue on Academics Modelling with Eclipse (ACME2012)","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"555_CR25","doi-asserted-by":"crossref","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: Proceedings of the International Conference on Theory and Practice of Model Transformations: ICMT, Held as Part of STAF, L\u2019Aquila, Italy, pp. 101\u2013110. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"555_CR26","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: Efficient model transformations by combining pattern matching strategies. In: Proceedings of the International Conference on Theory and Practice of Model Transformations: ICMT Zurich, Switzerland, pp. 20\u201334. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02408-5_3"},{"issue":"2","key":"555_CR27","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/s10270-013-0372-2","volume":"14","author":"G Varr\u00f3","year":"2013","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 (2013)","journal-title":"Softw. Syst. Model."},{"key":"555_CR28","doi-asserted-by":"crossref","unstructured":"Juk\u0161s, M., Verbrugge, C., Varr\u00f3, D., Vangheluwe, H.: Dynamic scope discovery for model transformations. In: Proceedings of the 7th International Conference on Software Language Engineering (SLE 2014), V\u00e4ster\u00e5s, Sweden, September 15\u201316, pp. 302\u2013321 (2014)","DOI":"10.1007\/978-3-319-11245-9_17"},{"key":"555_CR29","unstructured":"Cs\u00e1rdi, G., Nepusz, T.: igraph reference manual (2012). http:\/\/igraph.sourceforge.net"},{"key":"555_CR30","unstructured":"Provost, M.: Himesis: a hierarchical subgraph matching kernel for model driven development. Master\u2019s thesis, McGill University (2005)"},{"key":"555_CR31","unstructured":"Batz, G.V.: An optimization technique for subgraph matching strategies. Technical report, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik (2006)"},{"key":"555_CR32","doi-asserted-by":"crossref","first-page":"233","DOI":"10.6028\/jres.071B.032","volume":"71B","author":"J Edmonds","year":"1967","unstructured":"Edmonds, J.: Optimum branchings. J. Res. Natl. Bur. Stand. 71B, 233\u2013240 (1967)","journal-title":"J. Res. Natl. Bur. Stand."},{"key":"555_CR33","first-page":"396","volume-title":"Graph Transformations. Lecture Notes in Computer Science","author":"G Bergmann","year":"2008","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 5214, pp. 396\u2013410. Springer, Berlin (2008)"},{"key":"555_CR34","unstructured":"Kourtz, P., O\u2019Regan, W.: A model for a small forest fire... to simulate burned and burning areas for use in a detection model. For. Sci. 17, 163\u2013169 (1971)"},{"key":"555_CR35","unstructured":"Finney, M.A.: FARSITE: Fire area simulator model development and evaluation. USDA Forest Service Research Paper, RMRS-RP-4 Revised (2012)"},{"key":"555_CR36","doi-asserted-by":"crossref","unstructured":"Muzy, A., Touraille, L., Vangheluwe, H., Michel, O., Traor\u00e9, M.K., Hill, D.R.C.: Activity regions for the specification of discrete event systems. In: SpringSim, vol. 136, pp. 136:1\u2013136:7 (2010)","DOI":"10.1145\/1878537.1878679"},{"issue":"1\u20132","key":"555_CR37","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1016\/j.ecolmodel.2008.08.017","volume":"219","author":"A Muzy","year":"2008","unstructured":"Muzy, A., Nutaro, J., Zeigler, B., Coquillard, P.: Modeling and simulation of fire spreading through the activity tracking paradigm. Ecol. Model. 219(1\u20132), 212\u2013225 (2008)","journal-title":"Ecol. Model."},{"issue":"3","key":"555_CR38","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1016\/S0022-0000(03)00064-3","volume":"68","author":"W Palacz","year":"2004","unstructured":"Palacz, W.: Algebraic hierarchical graph transformation. J. Comput. Syst. Sci. 68(3), 497\u2013520 (2004)","journal-title":"J. Comput. Syst. Sci."},{"key":"555_CR39","unstructured":"de\u00a0Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Typed attributed graph transformation with inheritance. In: Brauer, W., Rozenberg, G., Salomaa, A. (eds.) Fundamentals of Algebraic Graph Transformation, pp. 259\u2013281. Springer, Berlin (2006)"},{"key":"555_CR40","unstructured":"W3C: XML path language (XPath) version 1.0. W3C recommendation (1999)"},{"key":"555_CR41","doi-asserted-by":"publisher","unstructured":"Mendelzon, A.O., Wood, P.T.: Finding regular simple paths in graph databases. SIAM J. Comput. 24(6), 1235\u20131258 (1995). doi: 10.1137\/S009753979122370X","DOI":"10.1137\/S009753979122370X"},{"issue":"1","key":"555_CR42","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theor. Comput. Sci. 109(1), 181\u2013224 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"555_CR43","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars\u2014a constructive approach. In: Proceedings of SEGRAGRA Graph Rewriting and Computation, Electronic Notes of TCS, vol. 2 (1995)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"issue":"2","key":"555_CR44","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10270-011-0199-7","volume":"11","author":"E Biermann","year":"2011","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227\u2013250 (2011)","journal-title":"Softw. Syst. Model."},{"key":"555_CR45","doi-asserted-by":"crossref","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: FASE, pp. 138\u2013153 (1998)","DOI":"10.1007\/BFb0053588"},{"key":"555_CR46","unstructured":"Grayson, J.E.: Python and Tkinter Programming. Manning Publications Co. (1999). ISBN: 978-1884777813"},{"key":"555_CR47","doi-asserted-by":"crossref","unstructured":"Meyers, B., Vangheluwe, H.: A framework for evolution of modelling languages. Sci. Comput. Programm. 76(12), 1223\u20131246 (2011). Special Issue on software evolution, adaptability and variability","DOI":"10.1016\/j.scico.2011.01.002"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0555-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0555-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0555-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0555-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T19:49:04Z","timestamp":1692474544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0555-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,20]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["555"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0555-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,20]]}}}