{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:17:09Z","timestamp":1759033029661},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"tdm","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":[[2019,2]]},"DOI":"10.1007\/s10270-017-0617-6","type":"journal-article","created":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T01:39:45Z","timestamp":1503279585000},"page":"249-278","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Change propagation and bidirectionality in internal transformation DSLs"],"prefix":"10.1007","volume":"18","author":[{"given":"Georg","family":"Hinkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Burger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"617_CR1","unstructured":"Acar, U.A.: Self-adjusting computation. Ph.D. thesis, Citeseer (2005)"},{"key":"617_CR2","doi-asserted-by":"crossref","unstructured":"Acar, U.A., Ahmed, A., Blume, M.: Imperative self-adjusting computation. In: ACM SIGPLAN Notices, vol.\u00a043, pp. 309\u2013322. ACM (2008)","DOI":"10.1145\/1328438.1328476"},{"key":"617_CR3","unstructured":"Anjorin, A., Lauder, M., Patzina, S., Sch\u00fcrr, A.: emoflon: Leveraging emf and professional case tools. In: 3. Workshop Methodische Entwicklung von Modellierungswerkzeugen (MEMWe2011), Lecture Notes in Informatics (2011)"},{"key":"617_CR4","volume-title":"TraceContract: A Scala DSL for Trace Analysis","author":"H Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K.: TraceContract: A Scala DSL for Trace Analysis. Springer, Berlin (2011)"},{"key":"617_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82, 3\u201322 (2009). doi: 10.1016\/j.jss.2008.03.066","journal-title":"J. Syst. Softw."},{"key":"617_CR6","doi-asserted-by":"crossref","unstructured":"Bergmann, G.: Translating OCL to graph patterns. In: Model-Driven Engineering Languages and Systems, pp. 670\u2013686. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_41"},{"issue":"3","key":"617_CR7","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. Softw. Syst. Model. 11(3), 431\u2013461 (2012). doi: 10.1007\/s10270-011-0197-9","journal-title":"Softw. Syst. Model."},{"key":"617_CR8","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Leijen, D., Sadowski, C., Yi, J., Ball, T.: Two for the price of one: a model for parallel and incremental computation. In: ACM SIGPLAN Notices, vol.\u00a046, pp. 427\u2013444. ACM (2011)","DOI":"10.1145\/2048066.2048101"},{"issue":"9","key":"617_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/583852.581482","volume":"37","author":"M Carlsson","year":"2002","unstructured":"Carlsson, M.: Monads for incremental computing. ACM SIGPLAN Not. 37(9), 26\u201335 (2002)","journal-title":"ACM SIGPLAN Not."},{"issue":"01","key":"617_CR10","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1017\/S0956796814000033","volume":"24","author":"Y Chen","year":"2014","unstructured":"Chen, Y., Dunfield, J., Hammer, M.A., Acar, U.A.: Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24(01), 56\u2013112 (2014)","journal-title":"J. Funct. Program."},{"key":"617_CR11","volume-title":"Categories for Types","author":"RL Crole","year":"1993","unstructured":"Crole, R.L.: Categories for Types. Cambridge University Press, Cambridge (1993)"},{"key":"617_CR12","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Molina, J.G., Tortosa, M.M.: Rubytl: a practical, extensible transformation language. In: Model Driven Architecture\u2014Foundations and Applications, pp. 158\u2013172. Springer, Berlin (2006)","DOI":"10.1007\/11787044_13"},{"key":"617_CR13","doi-asserted-by":"publisher","unstructured":"Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Generative and Transformational Techniques in Software Engineering III\u2014International Summer School, GTTSE 2009, Braga, Portugal, 6\u201311 July 2009. Revised papers, pp. 92\u2013165 (2009). doi: 10.1007\/978-3-642-18023-1_3","DOI":"10.1007\/978-3-642-18023-1_3"},{"issue":"6","key":"617_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2011.10.1.a6","volume":"10","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1\u201325 (2011). doi: 10.5381\/jot.2011.10.1.a6","journal-title":"J. Object Technol."},{"key":"617_CR15","doi-asserted-by":"publisher","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6981, pp. 304\u2013318. Springer, Berlin (2011). doi: 10.1007\/978-3-642-24485-8_22","DOI":"10.1007\/978-3-642-24485-8_22"},{"issue":"1","key":"617_CR16","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/1047659.1040325","volume":"40","author":"JN Foster","year":"2005","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. SIGPLAN Not. 40(1), 233\u2013246 (2005). doi: 10.1145\/1047659.1040325","journal-title":"SIGPLAN Not."},{"key":"617_CR17","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424","author":"JN Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. (2007). doi: 10.1145\/1232420.1232424","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"617_CR18","volume-title":"Domain-Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional, Boston (2010)"},{"key":"617_CR19","volume-title":"Domain Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M., Parsons, R.: Domain Specific Languages, 1st edn. Addison-Wesley, Reading (2010)","edition":"1"},{"key":"617_CR20","doi-asserted-by":"crossref","unstructured":"George, L., Wider, A., Scheidgen, M.: Type-Safe model transformation languages as internal DSLs in Scala. In: Theory and Practice of Model Transformations, pp. 160\u2013175. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30476-7_11"},{"key":"617_CR21","volume-title":"Efficient Model Synchronization of Large-Scale Models, 28","author":"H Giese","year":"2009","unstructured":"Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models, 28. Universit\u00e4tsverlag Potsdam, Potsdam (2009)"},{"key":"617_CR22","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Model Driven Engineering Languages and Systems, pp. 543\u2013557. Springer, Berlin (2006)","DOI":"10.1007\/11880240_38"},{"key":"617_CR23","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 4199, pp. 543\u2013557. Springer, Berlin (2006)","DOI":"10.1007\/11880240_38"},{"issue":"1","key":"617_CR24","doi-asserted-by":"publisher","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. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"617_CR25","doi-asserted-by":"crossref","unstructured":"Hammer, M.A., Acar, U.A., Chen, Y.: Ceal: a c-based language for self-adjusting computation. In: ACM Sigplan Notices, vol.\u00a044, pp. 25\u201337. ACM (2009)","DOI":"10.1145\/1542476.1542480"},{"key":"617_CR26","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent model synchronization with conflict resolution based on triple graph grammars. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 7212, pp. 178\u2013193. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-28872-2_13"},{"key":"617_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0450-0","author":"S Hidaka","year":"2015","unstructured":"Hidaka, S., Tisi, M., Cabot, J., Hu, Z.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. (2015). doi: 10.1007\/s10270-014-0450-0","journal-title":"Softw. Syst. Model."},{"key":"617_CR28","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. Electron. Commun. EASST 57 (2013). doi: 10.14279\/tuj.eceasst.57.865","DOI":"10.14279\/tuj.eceasst.57.865"},{"key":"617_CR29","unstructured":"Hinkel, G.: An approach to maintainable model transformations using an internal DSL. Master\u2019s thesis, Karlsruhe Institute of Technology (2013)"},{"key":"617_CR30","unstructured":"Hinkel, G.: An NMF solution to the Java refactoring case. In: Rose, L., Horn, T., Krikava, F. (eds.) Proceedings of the 8th Transformation Tool Contest, a Part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, CEUR Workshop Proceedings, vol. 1524, pp. 95\u201399. CEUR-WS.org (2015)"},{"key":"617_CR31","doi-asserted-by":"publisher","unstructured":"Hinkel, G.: Change propagation in an internal model transformation language. In: Kolovos, D., Wimmer, M. (eds.) Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L\u2019Aquila, Italy, 20\u201321 July 2015. Proceedings, pp. 3\u201317. Springer, Cham (2015). doi: 10.1007\/978-3-319-21155-8_1","DOI":"10.1007\/978-3-319-21155-8_1"},{"key":"617_CR32","unstructured":"Hinkel, G.: NMF: A modeling framework for the .NET platform. Technical report, Karlsruhe Institute of Technology, Karlsruhe (2016). http:\/\/nbn-resolving.org\/urn:nbn:de:swb:90-537082"},{"key":"617_CR33","unstructured":"Hinkel, G., Goldschmidt, T.: Tool support for model transformations: on solutions using internal languages. In: Modellierung 2016 (2016)"},{"key":"617_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0578-9","author":"G Hinkel","year":"2017","unstructured":"Hinkel, G., Goldschmidt, T., Burger, E., Reussner, R.: Using internal domain-specific languages to inherit tool support and modularity for model transformations. Softw. Syst. Model. (2017). doi: 10.1007\/s10270-017-0578-9","journal-title":"Softw. Syst. Model."},{"key":"617_CR35","doi-asserted-by":"publisher","unstructured":"Hinkel, G., Goldschmidt, T., Happe, L.: An NMF solution for the flowgraphs case at the TTC 2013. In: Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19\u201320 June 2013, pp. 37\u201342 (2013). doi: 10.4204\/EPTCS.135.5","DOI":"10.4204\/EPTCS.135.5"},{"key":"617_CR36","doi-asserted-by":"publisher","unstructured":"Hinkel, G., Goldschmidt, T., Happe, L.: An NMF solution for the Petri nets to state charts case study at the TTC 2013. In: Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19\u201320 June, 2013, pp. 95\u2013100 (2013). doi: 10.4204\/EPTCS.135.12","DOI":"10.4204\/EPTCS.135.12"},{"key":"617_CR37","doi-asserted-by":"crossref","unstructured":"Hinkel, G., Groenda, H., Vannucci, L., Denninger, O., Cauli, N., Ulbrich, S.: A domain-specific language (DSL) for integrating neuronal networks in robot control. In: 2015 Joint MORSE\/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering (2015)","DOI":"10.1145\/2802059.2802060"},{"key":"617_CR38","unstructured":"Hinkel, G., Happe, L.: Using component frameworks for model transformations by an internal DSL. In: Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems Co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), CEUR Workshop Proceedings, vol. 1281, pp. 6\u201315. CEUR-WS.org (2014)"},{"key":"617_CR39","unstructured":"Hinkel, G., Happe, L.: An NMF solution to the TTC train benchmark case. In: Rose, L., Horn, T., Krikava, F. (eds.) Proceedings of the 8th Transformation Tool Contest, a Part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, CEUR Workshop Proceedings, vol. 1524, pp. 142\u2013146. CEUR-WS.org (2015)"},{"key":"617_CR40","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Edit lenses. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201912, pp. 495\u2013508. ACM, New York (2012). doi: 10.1145\/2103656.2103715","DOI":"10.1145\/2103656.2103715"},{"key":"617_CR41","doi-asserted-by":"crossref","unstructured":"Horn, T.: Model querying with FunnyQT. In: Theory and Practice of Model Transformations, pp. 56\u201357. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38883-5_7"},{"key":"617_CR42","unstructured":"Johnson, M., Rosebrugh, R.D.: Unifying set-based, delta-based and edit-based lenses. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, Co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, 8 Apr 2016, pp. 1\u201313 (2016). http:\/\/ceur-ws.org\/Vol-1571\/paper_13.pdf"},{"key":"617_CR43","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Satellite Events at the MoDELS 2005 Conference, pp. 128\u2013138. Springer, Berlin (2006)","DOI":"10.1007\/11663430_14"},{"key":"617_CR44","doi-asserted-by":"crossref","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: Theory and Practice of Model Transformations: ICMT 2010, pp. 123\u2013137. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13688-7_9"},{"key":"617_CR45","doi-asserted-by":"publisher","unstructured":"Ko, H.S., Zan, T., Hu, Z.: Bigul: A formally verified core language for putback-based bidirectional programming. In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM \u201916, pp. 61\u201372. ACM, New York (2016). doi: 10.1145\/2847538.2847544","DOI":"10.1145\/2847538.2847544"},{"key":"617_CR46","doi-asserted-by":"publisher","unstructured":"Kramer, M.E.: Specification languages for preserving consistency between models of different languages. Ph.D. thesis, Karlsruhe Institute of Technology (KIT), Karlsruhe (2017). doi: 10.5445\/IR\/1000069284 . http:\/\/nbn-resolving.org\/urn:nbn:de:swb:90-692845","DOI":"10.5445\/IR\/1000069284"},{"key":"617_CR47","doi-asserted-by":"crossref","unstructured":"K\u0159ikava, F., Collet, P., France, R.B.: Sigma: Scala internal domain-specific languages for model manipulations. In: Model-Driven Engineering Languages and Systems, pp. 569\u2013585. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11653-2_35"},{"key":"617_CR48","doi-asserted-by":"publisher","unstructured":"Lauder, M., Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Efficient model synchronization with precedence triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Graph Transformations, Lecture Notes in Computer Science, vol. 7562, pp. 401\u2013415. Springer, Berlin (2012). doi: 10.1007\/978-3-642-33654-6_27","DOI":"10.1007\/978-3-642-33654-6_27"},{"key":"617_CR49","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511755460","volume-title":"Sets for Mathematics","author":"FW Lawvere","year":"2003","unstructured":"Lawvere, F.W., Rosebrugh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2003)"},{"key":"617_CR50","doi-asserted-by":"publisher","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. Electron. Commun. EASST 67 (2014). doi: 10.14279\/tuj.eceasst.67.939","DOI":"10.14279\/tuj.eceasst.67.939"},{"key":"617_CR51","doi-asserted-by":"crossref","unstructured":"Meyerovich, L.A., Rabkin, A.S.: Empirical analysis of programming language adoption. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, pp. 1\u201318. ACM (2013)","DOI":"10.1145\/2509136.2509515"},{"issue":"1","key":"617_CR52","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10664-012-9196-x","volume":"18","author":"P Mohagheghi","year":"2013","unstructured":"Mohagheghi, P., Gilani, W., Stefanescu, A., Fernandez, M.A.: An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. Empir. Softw. Eng. 18(1), 89\u2013116 (2013)","journal-title":"Empir. Softw. Eng."},{"key":"617_CR53","doi-asserted-by":"publisher","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: Proceedings of the 22Nd International Conference on Software Engineering, ICSE \u201900, pp. 742\u2013745. ACM, New York (2000). doi: 10.1145\/337180.337620","DOI":"10.1145\/337180.337620"},{"key":"617_CR54","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (2011). http:\/\/www.omg.org\/spec\/QVT\/1.1\/PDF\/"},{"key":"617_CR55","unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (ptc\/07-07-07) (2007). http:\/\/www.omg.org\/docs\/ptc\/07-07-07.pdf"},{"key":"617_CR56","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Graph-Theoretic Concepts in Computer Science, pp. 151\u2013163. Springer, Berlin (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"617_CR57","doi-asserted-by":"crossref","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation the heart and soul of model-driven software development. Technical report (2003)","DOI":"10.1109\/MS.2003.1231150"},{"key":"617_CR58","doi-asserted-by":"crossref","unstructured":"Staron, M.: Adopting model driven software development in industry\u2014a case study at two companies. In: Model Driven Engineering Languages and Systems, pp. 57\u201372. Springer, Berlin (2006)","DOI":"10.1007\/11880240_5"},{"key":"617_CR59","doi-asserted-by":"publisher","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J.A. (eds.) Generative and Transformational Techniques in Software Engineering II, Lecture Notes in Computer Science, vol. 5235, pp. 408\u2013424. Springer, Berlin (2008). doi: 10.1007\/978-3-540-88643-3_10","DOI":"10.1007\/978-3-540-88643-3_10"},{"issue":"1","key":"617_CR60","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in qvt: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010). doi: 10.1007\/s10270-008-0109-9","journal-title":"Softw. Syst. Model."},{"issue":"Part 1","key":"617_CR61","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\u00fas, \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(Part 1), 80\u201399 (2015). doi: 10.1016\/j.scico.2014.01.004","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"617_CR62","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10270-009-0134-3","volume":"9","author":"D Wagelaar","year":"2010","unstructured":"Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Softw. Syst. Model. 9(3), 285\u2013309 (2010)","journal-title":"Softw. Syst. Model."},{"key":"617_CR63","unstructured":"Wider, A.: Implementing a bidirectional model transformation language as an internal DSL in scala. In: Proceedings of the Workshops of the EDBT\/ICDT 2014 Joint Conference, CEUR Workshop Proceedings, vol. 1133, pp. 63\u201370. CEUR (2014). http:\/\/ceur-ws.org\/Vol-1133\/paper-10.pdf"},{"key":"617_CR64","unstructured":"Z\u00fcndorf, A., George, T., Lindel, S., Norbisrath, U.: Story driven modeling library (SDMLib): an inline DSL for modeling and model transformations, the Petrinet-Statechart case. EPTCS (2013)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0617-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0617-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0617-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T12:22:27Z","timestamp":1570018947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0617-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":64,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["617"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0617-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"17 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 July 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 August 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}