{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:37:35Z","timestamp":1725831455458},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240114"},{"type":"electronic","value":"9783319240121"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24012-1_9","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T18:01:22Z","timestamp":1444154482000},"page":"112-127","source":"Crossref","is-referenced-by-count":2,"title":["Model-Driven Engineering Based on Attribute Grammars"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Calegari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Kent, S.: Model driven engineering. In: Proceedings of Integrated Formal Methods, pp. 286\u2013298 (2002)","DOI":"10.1007\/3-540-47884-1_16"},{"key":"9_CR2","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification. Specification Version 2.0, Object Management Group (2003)"},{"key":"9_CR3","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation. Final Adopted Specification Version 1.1, Object Management Group (2009)"},{"key":"9_CR4","unstructured":"Kurtev, I., B\u00e9zivin, J., Aksit, M.: Technological spaces: an initial appraisal. In: CoopIS, DOA 2002 Federated Conferences, Industrial Track (2002)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1016\/j.scico.2014.05.007","volume":"96","author":"RF Paige","year":"2014","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.A.C.: A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96, 396\u2013416 (2014)","journal-title":"Sci. Comput. Program."},{"key":"9_CR6","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theor. 2(2) , 127\u2013145 (1968). Correction: Math. Syst. Theor. 5(1), 95\u201396 (1971)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-540-45242-3_42","volume-title":"Object-Oriented Information Systems","author":"M Dehayni","year":"2003","unstructured":"Dehayni, M., F\u00e9raud, L.: An approach of model transformation based on attribute grammars. In: Masood, A., L\u00e9onard, M., Pigneur, Y., Patel, S. (eds.) OOIS 2003. LNCS, vol. 2817, pp. 412\u2013423. Springer, Heidelberg (2003)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/10704973_4","volume-title":"Adv. Funct. Program.","author":"S Swierstra","year":"1999","unstructured":"Swierstra, S., Alcocer, P.A., Saraiva, J.: Designing and implementing combinator languages. In: Swierstra, S., Oliveira, J., Henriques, P. (eds.) Adv. Funct. Program. Lecture Notes in Computer Science, vol. 1608, pp. 150\u2013206. Springer, Heidelberg (1999)"},{"key":"9_CR9","unstructured":"OMG: Object Constraint Language. Formal Specification Version 2.4, Object Management Group (2014)"},{"issue":"7","key":"9_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/74818.74830","volume":"24","author":"HH Vogt","year":"1989","unstructured":"Vogt, H.H., Swierstra, S.D., Kuiper, M.F.: Higher order attribute grammars. SIGPLAN Not. 24(7), 131\u2013145 (1989)","journal-title":"SIGPLAN Not."},{"key":"9_CR11","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: Deriving a textual notation from a metamodel. In: Proceedings of Workshop on Milestones, Models and Mappings for Model-Driven Architecture. Volume WP06-02, ISSN1574-0846 of CTITSeries. (2006)"},{"key":"9_CR12","unstructured":"Alanen, M., Porres, I.: A relation between context-free grammars and meta object facility metamodels. Technical Report 606, Turku Centre for Computer Science (2003)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Grammes, R., Gotzhein, R.: Towards the harmonisation of UML and SDL. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M., (eds.) Proceedings of Formal Techniques for Networked and Distributed Systems 2004, Madrid Spain, 27\u201330 September 2004, pp. 61\u201378. Springer (2004)","DOI":"10.1007\/978-3-540-30232-2_5"},{"issue":"1","key":"9_CR14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/s11704-012-2902-4","volume":"6","author":"H Zhu","year":"2012","unstructured":"Zhu, H.: An institution theory of formal meta-modelling in graphically extended bnf. Front. Comput. Sci. 6(1), 40\u201356 (2012)","journal-title":"Front. Comput. Sci."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-19440-5_3","volume-title":"Software Language Engineering","author":"C B\u00fcrger","year":"2011","unstructured":"B\u00fcrger, C., Karol, S., Wende, C., A\u00dfmann, U.: Reference attribute grammars for metamodel semantics. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 22\u201341. Springer, Heidelberg (2011)"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.scico.2005.06.005","volume":"68","author":"E Magnusson","year":"2007","unstructured":"Magnusson, E., Hedin, G.: Circular reference attributed grammars - their evaluation and applications. Sci. Comput. Program. 68(1), 21\u201337 (2007)","journal-title":"Sci. Comput. Program."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2013.02.002","volume":"292","author":"D Calegari","year":"2013","unstructured":"Calegari, D., Szasz, N.: Verification of model transformations: a survey of the state-of-the-art. Electr. Notes Theor. Comput. Sci. 292, 5\u201325 (2013)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Baars, A.I., Swierstra, S.D., Viera, M.: Typed transformations of typed abstract syntax. In: TLDI 2009: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, pp. 15\u201326. ACM, New York (2009)","DOI":"10.1145\/1481861.1481865"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24012-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T15:53:52Z","timestamp":1718121232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24012-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240114","9783319240121"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24012-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}