{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T13:56:37Z","timestamp":1764251797676,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,12,16]],"date-time":"2022-12-16T00:00:00Z","timestamp":1671148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,16]],"date-time":"2022-12-16T00:00:00Z","timestamp":1671148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100007434","name":"Ag\u00eancia Nacional de Inova\u00e7\u00e3o","doi-asserted-by":"publisher","award":["GOLEM Lisboa-01- 0247-Feder-045917"],"award-info":[{"award-number":["GOLEM Lisboa-01- 0247-Feder-045917"]}],"id":[{"id":"10.13039\/501100007434","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["GOLEM Lisboa-01- 0247-Feder-045917","PTDC\/CCI-INF\/32081\/2017","UIDB\/04516\/2020"],"award-info":[{"award-number":["GOLEM Lisboa-01- 0247-Feder-045917","PTDC\/CCI-INF\/32081\/2017","UIDB\/04516\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s10270-022-01066-1","type":"journal-article","created":{"date-parts":[[2022,12,16]],"date-time":"2022-12-16T09:03:57Z","timestamp":1671181437000},"page":"1645-1663","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["OSTRICH: a rich template language for low-code development (extended version)"],"prefix":"10.1007","volume":"22","author":[{"given":"Hugo","family":"Louren\u00e7o","sequence":"first","affiliation":[]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Costa\u00a0Seco","sequence":"additional","affiliation":[]},{"given":"Joana","family":"Parreira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,16]]},"reference":[{"key":"1066_CR1","unstructured":"Atlas Group. Atlas transformation language. https:\/\/wiki.eclipse.org\/ATL\/User_Guide"},{"key":"1066_CR2","unstructured":"Bracha, G.: Generics in the Java programming language (2004). https:\/\/www.oracle.com\/technetwork\/java\/javase\/generics-tutorial-159168.pdf"},{"key":"1066_CR3","doi-asserted-by":"crossref","unstructured":"Caires, L., Toninho, B.: Refinement kinds: type-safe programming with practical type-level computation. In: Proceedings of the ACM on Programming Languages, 3(OOPSLA), October 2019. UID\/CEC\/04516\/2019 PTDC\/EEICTP\/4293\/2014","DOI":"10.1145\/3360557"},{"key":"1066_CR4","unstructured":"Cardelli, L.: Phase distinctions in type theory (1988). https:\/\/www.microsoft.com\/en-us\/research\/publication\/phase-distinctions-in-type-theory\/"},{"issue":"4","key":"1066_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17(4), 471\u2013523 (1985)","journal-title":"ACM Comput. Surv."},{"key":"1066_CR6","doi-asserted-by":"crossref","unstructured":"Caron, O., Carr\u00e9, B., Muller, A., Vanwormhoudt, G.: An OCL formulation of UML2 template binding. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (Eds) UML 2004\u2014The Unified Modeling Language. Modeling Languages and Applications, pp. 27\u201340. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30187-5_3"},{"key":"1066_CR7","unstructured":"Cheney, J., Hinze, R.: First-class phantom types. Technical report. Cornell University (2003)"},{"key":"1066_CR8","doi-asserted-by":"crossref","unstructured":"Cuccuru, A., Radermacher, A., G\u00e9rard, S., Terrier, F.: Constraining type parameters of UML 2 templates with substitutable classifiers. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MODELS \u201909, pp. 644\u2013649. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_51"},{"key":"1066_CR9","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, vol. 45, pp. 1\u201317 (2003)"},{"issue":"3","key":"1066_CR10","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555\u2013604 (2001)","journal-title":"J. ACM"},{"issue":"3","key":"1066_CR11","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s10270-011-0221-0","volume":"12","author":"J de Lara","year":"2013","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. Softw. Syst. Model. 12(3), 453\u2013474 (2013)","journal-title":"Softw. Syst. Model."},{"key":"1066_CR12","doi-asserted-by":"crossref","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: Use: a uml-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1), 27\u201334 (2007) (Special issue on Experimental Software and Toolkits)","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"1066_CR13","unstructured":"Handlebars-minimal templating on steroids (2021). https:\/\/handlebarsjs.com\/. Last visited in 11 May 2021"},{"key":"1066_CR14","unstructured":"Jetbrains. Jetbrains meta programming system (2020). http:\/\/github.com\/JetBrains\/MPS"},{"key":"1066_CR15","doi-asserted-by":"crossref","unstructured":"Kiselyov, O.: The design and implementation of BER MetaOCaml-system description. In: Codish, M., Sumii, E. (eds.) Functional and Logic Programming\u201412th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4\u20136, 2014. Proceedings, vol. 8475 of Lecture Notes in Computer Science, pp. 86\u2013102. Springer (2014)","DOI":"10.1007\/978-3-319-07151-0_6"},{"issue":"12","key":"1066_CR16","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1109\/TSE.2004.104","volume":"30","author":"BA Kitchenham","year":"2004","unstructured":"Kitchenham, B.A., Mendes, E.: Software productivity measurement using multiple size measures. IEEE Trans. Softw. Eng. 30(12), 1023\u20131035 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1066_CR17","volume-title":"Abstraction and Specification in Program Development","author":"B Liskov","year":"1986","unstructured":"Liskov, B., Guttag, J.: Abstraction and Specification in Program Development. MIT Press, Cambridge (1986)"},{"key":"1066_CR18","doi-asserted-by":"crossref","unstructured":"Louren\u00e7o, H., Ferreira, C., Seco, J.C.: OSTRICH\u2014a type-safe template language for low-code development. In: 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10\u201315, 2021, pp. 216\u2013226. IEEE (2021)","DOI":"10.1109\/MODELS50736.2021.00030"},{"key":"1066_CR19","doi-asserted-by":"crossref","unstructured":"Louren\u00e7o, H., Eug\u00e9nio, R.: TrueChange\u2122 under the hood: how we check the consistency of large models (almost) instantly. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 362\u2013369 (2019)","DOI":"10.1109\/MODELS-C.2019.00056"},{"key":"1066_CR20","doi-asserted-by":"crossref","unstructured":"Louren\u00e7o, H., Tavares, J., Eug\u00e9nio, R., Louren\u00e7o, M., Sim\u00f5es, T.: LUV is not the answer: continuous delivery of a model driven development platform. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (2020)","DOI":"10.1145\/3417990.3419502"},{"key":"1066_CR21","unstructured":"Mustache-logic-less templates (2021). https:\/\/mustache.github.io\/. Last visited in 11 May 2021"},{"key":"1066_CR22","volume-title":"Code Complete\u2014A Practical Handbook of Software Construction","author":"S McConnell","year":"2004","unstructured":"McConnell, S.: Code Complete\u2014A Practical Handbook of Software Construction, 2nd edn. Microsoft Press (2004)","edition":"2"},{"key":"1066_CR23","unstructured":"Mendix. Page templates (2021). https:\/\/docs.mendix.com\/refguide\/page-templates"},{"issue":"5","key":"1066_CR24","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10664-007-9040-x","volume":"12","author":"P Mohagheghi","year":"2007","unstructured":"Mohagheghi, P., Conradi, R.: Quality, productivity and economic benefits of software reuse: a review of industrial studies. Empir. Softw. Eng. 12(5), 471\u2013516 (2007)","journal-title":"Empir. Softw. Eng."},{"key":"1066_CR25","unstructured":"Modeling language specification version 2.5.1 (2017). https:\/\/www.omg.org\/spec\/UML. Last visited in 09 May 2021"},{"key":"1066_CR26","unstructured":"OutSystems. OutSystems screen templates (2020). https:\/\/success.outsystems.com\/Documentation\/11\/Developing_an_Application\/Design_UI\/Screen_Templates"},{"key":"1066_CR27","unstructured":"OutSystems. Platform overview (2021). https:\/\/www.outsystems.com\/platform\/"},{"key":"1066_CR28","doi-asserted-by":"crossref","unstructured":"Parr, TJ.: Enforcing strict model-view separation in template engines. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds) Proceedings of the 13th International Conference on World Wide Web, WWW 2004, New York, NY, USA, May 17\u201320, 2004, pp. 224\u2013233. ACM (2004)","DOI":"10.1145\/988672.988703"},{"key":"1066_CR29","doi-asserted-by":"crossref","unstructured":"Pech, V., Shatalin, A., Voelter, M.: JetBrains MPS as a tool for extending Java. In: Pl\u00fcmicke, M., Binder, W. (eds) Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Stuttgart, Germany, September 11\u201313, 2013, pp. 165\u2013168. ACM (2013)","DOI":"10.1145\/2500828.2500846"},{"key":"1066_CR30","doi-asserted-by":"crossref","unstructured":"Perez\u00a0De Rosso, S., Jackson, D., Archie, M., Lao, C., McNamara, B.A. III.: Declarative assembly of web applications from predefined concepts. In: Masuhara, H., Petricek, T. (eds) Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, Athens, Greece, October 23\u201324, 2019, pp. 79\u201393. ACM (2019)","DOI":"10.1145\/3359591.3359728"},{"key":"1066_CR31","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681700017X","volume":"27","author":"JC Seco","year":"2017","unstructured":"Seco, J.C., Ferreira, P., Louren\u00e7o, H.: Capability-based localization of distributed and heterogeneous queries. J. Funct. Program. 27, e26 (2017)","journal-title":"J. Funct. Program."},{"key":"1066_CR32","doi-asserted-by":"crossref","unstructured":"Sheard, T., Jones, S.P.: Template meta-programming for haskell. In: Proceedings of the 2002 Haskell Workshop, Pittsburgh, pp. 1\u201316 (2002)","DOI":"10.1145\/581690.581691"},{"key":"1066_CR33","series-title":"Eclipse Series","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Eclipse Series, 2nd edn. Addison-Wesley, Upper Saddle River (2009)","edition":"2"},{"key":"1066_CR34","doi-asserted-by":"crossref","unstructured":"Vanwormhoudt, G., llon, M., Caron, O., Carr\u00e9, B.: Template based model engineering in UML. In: Syriani, E., Sahraoui, H.A., de\u00a0Lara, J., Abrah\u00e3o, S. (eds) MODELS \u201920: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18\u201323 October, 2020, pp. 47\u201356. ACM (2020)","DOI":"10.1145\/3365438.3410988"},{"issue":"2","key":"1066_CR35","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-015-0463-3","volume":"16","author":"G Vanwormhoudt","year":"2017","unstructured":"Vanwormhoudt, G., Caron, O., Carr\u00e9, B.: Aspectual templates in UML-enhancing the semantics of UML templates in OCL. Softw. Syst. Model. 16(2), 469\u2013497 (2017)","journal-title":"Softw. Syst. Model."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01066-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-022-01066-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01066-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T02:06:13Z","timestamp":1695607573000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-022-01066-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,16]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["1066"],"URL":"https:\/\/doi.org\/10.1007\/s10270-022-01066-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2022,12,16]]},"assertion":[{"value":"16 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 September 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}