{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T13:45:09Z","timestamp":1694612709829},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,10,30]],"date-time":"2012-10-30T00:00:00Z","timestamp":1351555200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s10270-012-0291-7","type":"journal-article","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T20:33:32Z","timestamp":1351542812000},"page":"873-907","source":"Crossref","is-referenced-by-count":7,"title":["Correct-by-construction synthesis of model transformations using transformation patterns"],"prefix":"10.1007","volume":"13","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kolahdouz-Rahimi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Poernomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Terrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Zschaler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,30]]},"reference":[{"key":"291_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., Karsai, G.: Reusable idioms and patterns in graph transformation languages. In: Electronic notes in Theoretical Computer Science, pp. 181\u2013192 (2005)","DOI":"10.1016\/j.entcs.2004.12.035"},{"key":"291_CR2","unstructured":"Akehurst, D., Howells, W., McDonald-Maier, K.: Kent model transformation language. In: Model Transformations, in Practice (2005)"},{"key":"291_CR3","doi-asserted-by":"crossref","unstructured":"van Amstel, M., Bosems, S., Kurtev, I., Pires, L.F.: Performance in model transformations: experiments with ATL and QVT, ICMT 2011. In: LNCS, vol. 6707, pp. 198\u2013212. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21732-6_14"},{"key":"291_CR4","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. SoSyM 9(1) (2010)","DOI":"10.1007\/s10270-008-0110-3"},{"key":"291_CR5","unstructured":"Bezivin, J., Jouault, F., Palies, J.: Towards Model Transformation Design Patterns. University of Nantes, ATLAS group (2003)"},{"key":"291_CR6","unstructured":"Cabot, J., Clariso, R., Guerra, E., De Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283\u2013302 (2010)"},{"key":"291_CR7","volume-title":"Program Generators with XML and Java","author":"C Cleaveland","year":"2001","unstructured":"Cleaveland, C.: Program Generators with XML and Java. Prentice Hall, Englewood Cliffs (2001)"},{"key":"291_CR8","unstructured":"Cuadrado, J.S., Jouault, F., Molina, J.G., Bezivin, J.: Optimization patterns for OCL-based model transformations, MODELS 2008. In: LNCS, vol. 5421. Springer, Berlin (2008)"},{"issue":"3","key":"291_CR9","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s10270-008-0093-0","volume":"8","author":"J Cuadrado","year":"2009","unstructured":"Cuadrado, J., Molina, J.: Modularisation of model transformations through a phasing mechanism. Softw. Syst. Modell. 8(3), 325\u2013345 (2009)","journal-title":"Softw. Syst. Modell."},{"key":"291_CR10","unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches, OOPSLA 03 workshop on Generative Techniques in the context of Model-Driven Architecture, OOPSLA (2003)"},{"issue":"3","key":"291_CR11","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\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"291_CR12","doi-asserted-by":"crossref","unstructured":"Duddy, K., Gerber, A., Lawley, M., Raymond, K., Steel, J.: Model transformation: a declarative, reusable pattern approach. In: 7th International Enterprise Distributed Object Computing Conference (EDOC \u201903) (2003)","DOI":"10.1109\/EDOC.2003.1233847"},{"key":"291_CR13","unstructured":"Eclipse organisation, EMF Ecore specification (2011). http:\/\/www.eclipse.org\/emf"},{"key":"291_CR14","unstructured":"ESA, Hood Reference Manual R4 (2011). http:\/\/www.esa.int"},{"issue":"5","key":"291_CR15","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MS.2003.1231152","volume":"20","author":"R France","year":"2003","unstructured":"France, R., Chosh, S., Song, E., Kim, D.: A metamodelling approach to pattern-based model refactoring. IEEE Softw. 20(5), 52\u201358 (2003)","journal-title":"IEEE Softw."},{"key":"291_CR16","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap, FOSE \u201907. IEEE (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"291_CR17","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Menlo Park (1994)"},{"key":"291_CR18","volume-title":"Refinement Transformation Support for QVT Relational Transformations","author":"T Goldschmidt","year":"2011","unstructured":"Goldschmidt, T., Wachsmuth, G.: Refinement Transformation Support for QVT Relational Transformations. FZI, Karlsruhe (2011)"},{"key":"291_CR19","unstructured":"Van Gorp, P., Mazanek, S., Rensink, A.: Live challenge problem, TTC 2010. Malaga (2010)"},{"key":"291_CR20","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D., Paige, R., Marchi dos Santos, O.: transML: a family of languages to model model transformations, MODELS 2010. In: LNCS, vol. 6394. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_8"},{"key":"291_CR21","doi-asserted-by":"crossref","unstructured":"Iacob, M.E., Steen, M.W.A., Heerink, L.: Reusable model transformation patterns. In: Enterprise Distributed Object Computing Conference (2008)","DOI":"10.1109\/EDOCW.2008.51"},{"key":"291_CR22","doi-asserted-by":"crossref","unstructured":"Johannes, J., Zschaler, S., Fernandez, M., Castillo, A., Kolovos, D., Paige, R.: Abstracting complex languages through transformation and composition, MODELS 2009. In: LNCS, vol. 5795, pp. 546\u2013550. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_41"},{"key":"291_CR23","unstructured":"Kermeta (2010). http:\/\/www.kermeta.org"},{"key":"291_CR24","doi-asserted-by":"crossref","unstructured":"Kolahdouz-Rahimi, L., Lano, K., Pillay, S., Troya, J., Van Gorp, P.: Goal-oriented measurement of model transformation methods. Sci. Comput. Program. (2012) (submitted)","DOI":"10.1109\/CSICSSE.2011.5964000"},{"key":"291_CR25","doi-asserted-by":"crossref","unstructured":"Kolovos, D., Paige, R., Polack, F.: The Epsilon Transformation Language. In: ICMT 2008, LNCS, vol. 5063, pp. 46\u201360, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"291_CR26","doi-asserted-by":"crossref","unstructured":"Kurtev, I., Van den Berg, K., Joualt, F.: Rule-based modularisation in model transformation languages illustrated with ATL. In: Proceedings 2006 ACM Symposium on Applied Computing (SAC 06), pp. 1202\u20131209. ACM Press, New York (2006)","DOI":"10.1145\/1141277.1141563"},{"key":"291_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1494-9","volume-title":"The B Language and Method","author":"K Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method. Springer, Berlin (1996)"},{"key":"291_CR28","unstructured":"Lano, K.: A catalogue of UML model transformations (2006). http:\/\/www.dcs.kcl.ac.uk\/staff\/kcl\/tcat.pdf"},{"key":"291_CR29","volume-title":"UML 2 Semantics and Applications","year":"2009","unstructured":"Lano, K. (ed.): UML 2 Semantics and Applications. Wiley, New York (2009)"},{"key":"291_CR30","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Slicing of UML models using Model Transformations, MODELS 2010. In: LNCS, vol. 6395, pp. 228\u2013242. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16129-2_17"},{"key":"291_CR31","volume-title":"Migration case study using UML-RSDS, TTC 2010","author":"K Lano","year":"2010","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Migration case study using UML-RSDS, TTC 2010. Malaga, Spain (2010)"},{"key":"291_CR32","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Model-driven development of model transformations, ICMT (2011)","DOI":"10.1007\/978-3-642-21732-6_4"},{"key":"291_CR33","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Specification of the \u201cHello World\u201d case study, TTC (2011)"},{"key":"291_CR34","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Specification of the GMF migration case study, TTC (2011)"},{"key":"291_CR35","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Slicing techniques for UML models, JOT (2011)","DOI":"10.5381\/jot.2011.10.1.a11"},{"key":"291_CR36","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Composition of model transformations in UML-RSDS. In: Lano, K., Zschaler, S., Tratt, L. (eds.) Composition and Evolution of Model Transformations. Bentham Science Press, United Arab Emirates (2012)"},{"key":"291_CR37","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Transformation invertibility and interpretations in UML-RSDS. Dept. of Informatics, Kings College, London (2012)"},{"key":"291_CR38","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S., Clark, T.: Comparing Verification Techniques for Model Transformations. Modevva workshop, MODELS (2012)","DOI":"10.1145\/2427376.2427381"},{"key":"291_CR39","unstructured":"Mens, T., Czarnecki, K., Van Gorp, P.: A Taxonomy of Model Transformations, Dagstuhl Seminar Proceedings 04101 (2005)"},{"key":"291_CR40","unstructured":"Markovic, S., Baar, T.: Semantics of OCL Specified with QVT. Softw. Syst. Modell. 7(4), 399\u2013422 (2008)"},{"key":"291_CR41","unstructured":"OMG: Query\/View\/Transformation Specification, ptc\/05-11-01 (2005)"},{"key":"291_CR42","unstructured":"OMG: Query\/View\/Transformation Specification, annex A (2010)"},{"key":"291_CR43","unstructured":"OMG: Model-Driven Architecture (2004). http:\/\/www.omg.org\/mda\/"},{"key":"291_CR44","unstructured":"OMG: Meta Object Facility (MOF) Core Specification, OMG document formal\/06-01-01 (2006)"},{"key":"291_CR45","unstructured":"OptXware The Viatra-I Model Transformation Framework Users Guide (2010)"},{"key":"291_CR46","doi-asserted-by":"crossref","unstructured":"Orejas, F., Guerra, E., J Ehrig, de Lara H.: Correctness, completeness and termination of pattern-based model-to-model transformation. CALCO 2009, pp. 383\u2013397 (2009)","DOI":"10.1007\/978-3-642-03741-2_26"},{"key":"291_CR47","doi-asserted-by":"crossref","unstructured":"Poernomo, I.: Proofs as model transformations, ICMT (2008)","DOI":"10.1007\/978-3-540-69927-9_15"},{"key":"291_CR48","doi-asserted-by":"crossref","unstructured":"Poernomo, I., Terrell, J.: Correct-by-construction Model Transformations from Spanning tree specifications in Coq. ICFEM (2010)","DOI":"10.1007\/978-3-642-16901-4_6"},{"key":"291_CR49","doi-asserted-by":"crossref","unstructured":"Pons, C., Giandini, R., Perez, G., Baum, G.: A two-level calculus for composing hybrid QVT transformations. SCCC, pp. 105\u2013114. IEEE Press, New York (2009)","DOI":"10.1109\/SCCC.2009.14"},{"key":"291_CR50","unstructured":"Rensink, A., Kuperus, J-H.: Repotting the Geraniums: on nested graph transformation rules, proceedings of GT-VMT 2009. Electronic communications of the EASST, vol. 18 (2009)"},{"key":"291_CR51","doi-asserted-by":"crossref","unstructured":"Romeikat, R., Roser, S., Mullender, P., Bauer, B.: Translation of QVT Relations into QVT Operational Mappings. ICMT (2008)","DOI":"10.1007\/978-3-540-69927-9_10"},{"key":"291_CR52","doi-asserted-by":"crossref","unstructured":"Rose, L., Herrmannsdoerfer, M., Mazanek, S., et al.: Graph and Model Transformation Tools for Model Migration. SoSym (2012) (to appear)","DOI":"10.1007\/s10270-012-0245-0"},{"key":"291_CR53","doi-asserted-by":"crossref","unstructured":"Schurr, A.: Specification of graph translators with triple graph grammars, WG \u201994. In: LNCS, vol. 903, pp. 151\u2013163. Springer, Berlin (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"291_CR54","unstructured":"Sen, S., Moha, N., Mahe, V., Barais, O., Baudry, B., Jezequel, J.-M.: Reusable model transformations. Softw. Syst. Modell. 11(1), 111\u2013125 (2012)"},{"key":"291_CR55","unstructured":"Syriani, E., Vangheluwe, H.: De-\/re-constructing model transformation languages. Proceedings of 9th international workshop GT-VMT, Electronic Communications of EASST (2010)"},{"key":"291_CR56","unstructured":"Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model transformation by graph transformation: a comparative study. MODELS (2005)"},{"key":"291_CR57","doi-asserted-by":"crossref","unstructured":"Tisi, M., Cabot, J., Jouault, F.: Improving higher-order transformations support in ATL, ICMT 2010. In: LNCS, vol. 6142, pp. 215\u2013229. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13688-7_15"},{"key":"291_CR58","doi-asserted-by":"crossref","unstructured":"Varro, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D.-H., Geis, R., Greenyer, J., Van Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E., Weinell, E.: Transformation of UML models to CSP: a case study for graph transformation tools, AGTIVE 2007. In: LNCS, vol. 5088, pp. 540\u2013565. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-89020-1_36"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0291-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0291-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0291-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T02:31:09Z","timestamp":1562293869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0291-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,30]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["291"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0291-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,30]]}}}