{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:47Z","timestamp":1725549167633},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120282"},{"type":"electronic","value":"9783642120299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_4","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:56:48Z","timestamp":1268009808000},"page":"44-58","source":"Crossref","is-referenced-by-count":3,"title":["Reusing Model Transformations While Preserving Properties"],"prefix":"10.1007","author":[{"given":"Ethan K.","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Balasubramanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and Systems Modeling (2008) 5634","DOI":"10.1007\/s10270-008-0105-0"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-02655-3_7","volume-title":"Software Composition","author":"E.K. Jackson","year":"2009","unstructured":"Jackson, E.K., Seifert, D., Dahlweid, M., Santen, T., Bj\u00f8rner, N., Schulte, W.: Specifying and composing non-functional requirements in model-based development. In: Bergel, A., Fabry, J. (eds.) Software Composition. LNCS, vol.\u00a05634, pp. 72\u201389. Springer, Heidelberg (2009)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"issue":"3","key":"4_CR4","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":"4_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci.\u00a0152, 125\u2013142 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45104-8_41","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2000","unstructured":"Taentzer, G.: AGG: A tool environment for algebraic graph transformation. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 481\u2013488. Springer, Heidelberg (2000)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: Model-driven engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"issue":"3-4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.jvlc.2004.01.005","volume":"15","author":"J. Lara de","year":"2004","unstructured":"de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput.\u00a015(3-4), 309\u2013330 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"4_CR9","unstructured":"Ehrig, H., Ehrig, K., Ermel, C.: Evolution of model transformations by model refactoring. In: Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2009 (2009)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Levendovszky, T., Balasubramanian, D., Narayanan, A., Karsai, G.: A novel approach to semi-automated evolution of dsml model transformation. In: 2nd International Conference on Software Language Engineering, SLE (2009)","DOI":"10.1007\/978-3-642-12107-4_4"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF01211391","volume":"4","author":"L. Meertens","year":"1992","unstructured":"Meertens, L.: Paramorphisms. Formal Aspects of Computing\u00a04, 413\u2013424 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Meijer, E., Fokkinga, M.M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: FPCA, pp. 124\u2013144 (1991)","DOI":"10.1007\/3540543961_7"},{"issue":"1-3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0167-6423(95)00022-4","volume":"26","author":"K. Achatz","year":"1996","unstructured":"Achatz, K., Schulte, W.: Massive parallelization of divide-and-conquer algorithms over powerlists. Sci. Comput. Program.\u00a026(1-3), 59\u201378 (1996)","journal-title":"Sci. Comput. Program."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.entcs.2008.04.041","volume":"211","author":"A. Narayanan","year":"2008","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. Electr. Notes Theor. Comput. Sci.\u00a0211, 191\u2013200 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Journal of Software and Systems Modeling"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-87405-8_14","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2008","unstructured":"Ehrig, H., Ermel, C.: Semantical correctness and completeness of model transformations using graph and rule transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 194\u2013210. Springer, Heidelberg (2008)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-78743-3_26","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Bisztray","year":"2008","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Verification of architectural refactorings by rule extraction. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 347\u2013361. Springer, Heidelberg (2008)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2009.03.011","volume":"236","author":"D. Bisztray","year":"2009","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositionality of model transformations. Electr. Notes Theor. Comput. Sci.\u00a0236, 5\u201319 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR19","unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C.P., Karsai, G.: The Graph Rewriting and Transformation Language: GReAT. ECEASST\u00a01 (2006)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-540-87405-8_29","volume-title":"Graph Transformations","author":"J. Lara de","year":"2008","unstructured":"de Lara, J., Guerra, E.: Pattern-based model-to-model transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 426\u2013441. Springer, Heidelberg (2008)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00434-6_5","volume-title":"Software Language Engineering","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with maude. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 54\u201373. Springer, Heidelberg (2009)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Gregorio, S.D., Marco, A.D.: Using atl for transformations in software performance engineering: a step ahead of java-based transformations? In: WOSP, pp. 127\u2013132 (2008)","DOI":"10.1145\/1383559.1383575"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Gr\u00f6nniger, H., Krahn, H., Rumpe, B., Schindler, M., V\u00f6lkel, S.: Monticore: a framework for the development of textual domain specific languages. In: ICSE Companion, pp. 925\u2013926 (2008)","DOI":"10.1145\/1370175.1370190"},{"key":"4_CR24","unstructured":"Comon, H., Dauchet, M., Gilleron, R., L\u00f6ding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications, http:\/\/www.grappa.univ-lille3.fr\/tata (2007) (release October 12, 2007)"},{"issue":"4","key":"4_CR25","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1137\/0202019","volume":"2","author":"J.E. Hopcroft","year":"1973","unstructured":"Hopcroft, J.E., Karp, R.M.: An n5\/2 algorithm for maximum matchings in bipartite graphs. SIAM J. Comput.\u00a02(4), 225\u2013231 (1973)","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:55Z","timestamp":1606186015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}