{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T00:22:16Z","timestamp":1771546936704,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T00:00:00Z","timestamp":1522195200000},"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-018-0666-5","type":"journal-article","created":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T04:09:09Z","timestamp":1522210149000},"page":"367-383","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Incremental execution of model-to-text transformations using property access traces"],"prefix":"10.1007","volume":"18","author":[{"given":"Babajide","family":"Ogunyomi","sequence":"first","affiliation":[]},{"given":"Louis M.","family":"Rose","sequence":"additional","affiliation":[]},{"given":"Dimitrios S.","family":"Kolovos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"key":"666_CR1","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-01648-6_6","volume-title":"Models in Software Engineering","author":"P Mohagheghi","year":"2009","unstructured":"Mohagheghi, P., et al.: MDE adoption in industry: challenges and success criteria. In: Chaudron, M.R.V. (ed.) Models in Software Engineering, vol. 5421, pp. 54\u201359. Springer, Berlin (2009)"},{"key":"666_CR2","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Scalability: the holy grail of Model Driven Engineering. In: ChaMDE 2008 Workshop Proceedings, pp. 10\u201314 (2008)"},{"key":"666_CR3","doi-asserted-by":"crossref","unstructured":"Ogunyomi, B., Rose, L.M., Kolovos, D.S.: Property access traces for source incremental model-to-text transformation. In: Modelling Foundations and Applications\u201411th European Conference, Held as Part of STAF, L\u2019Aquila, Italy, July 20-24. pp. 187\u2013202 (2015)","DOI":"10.1007\/978-3-319-21151-0_13"},{"key":"666_CR4","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA \u201903 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)"},{"issue":"3","key":"666_CR5","doi-asserted-by":"publisher","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":"666_CR6","unstructured":"Ogunyomi, B.: Incremental model-to-text transformation (qualifying dissertation). Technical report (2013)"},{"key":"666_CR7","doi-asserted-by":"crossref","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: The Epsilon Generation Language. In: Proc. ECMDA-FA, volume 5095 of LNCS, pp. 1\u201316. Springer (2008)","DOI":"10.1007\/978-3-540-69100-6_1"},{"issue":"2","key":"666_CR8","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"666_CR9","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2016","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing Ltd, Birmingham (2016)","edition":"2"},{"key":"666_CR10","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Abid, S.B., Paige, R.F., Polack, F.A.C., Botterweck, G.: Taming EMF and GMF using model transformation. In: Model Driven Engineering Languages and Systems, pp. 211\u2013225. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_15"},{"key":"666_CR11","volume-title":"EMF: Eclipse Model. Framew.","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, Ed, Paternostro, M.: EMF: Eclipse Model. Framew., 2nd edn. Pearson Education, London (2008)","edition":"2"},{"key":"666_CR12","volume-title":"The SPIN model checker: primer and reference manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN model checker: primer and reference manual, vol. 1003. Addison-Wesley Reading, Boston (2004)"},{"key":"666_CR13","volume-title":"The Formal Specification Language mCRL2","author":"JF Groote","year":"2007","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Yaroslav, Van Weerdenburg, Muck: The Formal Specification Language mCRL2. Citeseer, Princeton (2007)"},{"key":"666_CR14","doi-asserted-by":"crossref","unstructured":"Ogunyomi, B., Rose, L.M., Kolovos, D.S.: On the use of signatures for source incremental model-to-text transformation. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfr\u00e1n, E. (eds.) MoDELS, vol. 8767 of LNCS, pp. 84\u201398. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11653-2_6"},{"key":"666_CR15","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings of MoDELS, LNCS, pp. 321\u2013335. Springer, Berlin (2006)","DOI":"10.1007\/11880240_23"},{"key":"666_CR16","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, pp. 543\u2013557. Springer, Berlin (2006)","DOI":"10.1007\/11880240_38"},{"key":"666_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-69927-9_8","volume-title":"Theory and Practice of Model Transformations","author":"I R\u00e1th","year":"2008","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.) Theory and Practice of Model Transformations, pp. 107\u2013121. Springer, Berlin (2008)"},{"key":"666_CR18","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/978-3-642-17322-6_24","volume-title":"Graph Transformations and Model-driven Engineering","author":"H Giese","year":"2010","unstructured":"Giese, H., Hildebrandt, S., Neumann, S.: Model synchronization at work: keeping SysML and AUTOSAR Models Consistent. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-driven Engineering, pp. 555\u2013579. Springer, Berlin (2010)"},{"key":"666_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"Charles L Forgy","year":"1982","unstructured":"Forgy, Charles L.: Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell. 19, 17\u201337 (1982)","journal-title":"Artif. Intell."},{"issue":"3","key":"666_CR20","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)","journal-title":"Softw. Syst. Model."},{"key":"666_CR21","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-13688-7_9","volume-title":"Theory and Practice of Model Transformations","author":"F Jouault","year":"2010","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: Tratt, L., Gogolla, M. (eds.) Theory and Practice of Model Transformations, pp. 123\u2013137. Springer, Berlin (2010)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-0666-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0666-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0666-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T00:13:09Z","timestamp":1553731989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-0666-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,28]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["666"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-0666-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,28]]},"assertion":[{"value":"29 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 January 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 March 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}