{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:32Z","timestamp":1725494492838},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341755"},{"type":"electronic","value":"9783642341762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34176-2_4","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T01:56:59Z","timestamp":1349056619000},"page":"19-34","source":"Crossref","is-referenced-by-count":5,"title":["A Graph Transformation-Based Semantics for Deep Metamodelling"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Rossini","sequence":"first","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Adrian","family":"Rutle","sequence":"additional","affiliation":[]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Aschauer, T., Dauenhauer, G., Pree, W.: Multi-level modeling for industrial automation systems. In: EUROMICRO 2009, pp. 490\u2013496. IEEE Computer Society (2009)","DOI":"10.1109\/SEAA.2009.46"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s10270-008-0103-2","volume":"8","author":"T. Asikainen","year":"2009","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T.: Nivel: A metamodelling language with a formal semantics. Software and Systems Modeling\u00a08(4), 521\u2013549 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"6","key":"4_CR3","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TSE.2009.31","volume":"35","author":"C. Atkinson","year":"2009","unstructured":"Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Transactions on Software Engineering\u00a035(6), 742\u2013755 (2009)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/643120.643123","volume":"12","author":"C. Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Rearchitecting the UML infrastructure. ACM Transactions on Modeling and Computer Simulation\u00a012(4), 290\u2013321 (2002)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C. Atkinson","year":"2008","unstructured":"Atkinson, C., K\u00fchne, T.: Reducing accidental complexity in domain models. Software and Systems Modeling\u00a07(3), 345\u2013359 (2008)","journal-title":"Software and Systems Modeling"},{"key":"4_CR6","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice-Hall (1995)"},{"key":"4_CR7","unstructured":"Clark, T., Sammut, P., Willans, J.: Applied Metamodelling: A Foundation for Language Driven Development, 2nd edn., Ceteva (2008)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Mathematics of Generic Specifications for Model Management I and II. In: Encyclopedia of Database Technologies and Applications, pp. 351\u2013366. Information Science Reference (2005)","DOI":"10.4018\/978-1-59140-560-3.ch061"},{"key":"4_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-44590-0_30","volume-title":"Theory and Application of Diagrams","author":"Z. Diskin","year":"2000","unstructured":"Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal Arrow Foundations for Visual Modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol.\u00a01889, pp. 345\u2013360. Springer, Heidelberg (2000)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. In: Proc. of the 2nd Workshop on Applied and Computational Category Theory (ACCAT 2007). ENTCS, vol.\u00a0203(6), pp. 19\u201341. Elsevier (2008)","DOI":"10.1016\/j.entcs.2008.10.041"},{"key":"4_CR11","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (March 2006)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1093\/comjnl\/bxl052","volume":"50","author":"R. Gitzel","year":"2007","unstructured":"Gitzel, R., Ott, I., Schader, M.: Ontological extension to the MOF metamodel as a basis for code generation. Computer Journal\u00a050(1), 93\u2013115 (2007)","journal-title":"Computer Journal"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/s10270-005-0099-9","volume":"5","author":"C. Gonzalez-Perez","year":"2006","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Software and Systems Modeling\u00a05(1), 72\u201390 (2006)","journal-title":"Software and Systems Modeling"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1007\/978-3-540-87875-9_58","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Gutheil","year":"2008","unstructured":"Gutheil, M., Kennel, B., Atkinson, C.: A Systematic Approach to Connectors in a Multi-level Modeling Environment. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 843\u2013857. Springer, Heidelberg (2008)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Schreiber, D.: Can programming be liberated from the two-level style? Multi-level programming with DeepJava. In: OOPSLA 2007: 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 229\u2013244. ACM (2007)","DOI":"10.1145\/1297027.1297044"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13953-6_1","volume-title":"Objects, Models, Components, Patterns","author":"J. Lara de","year":"2010","unstructured":"de Lara, J., Guerra, E.: Deep Meta-modelling with MetaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol.\u00a06141, pp. 1\u201320. Springer, Heidelberg (2010)"},{"key":"4_CR17","unstructured":"Rossini, A.: Diagram Predicate Framework Meets Model Versioning and Deep Metamodelling. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2011)"},{"issue":"7","key":"4_CR18","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.jlap.2009.10.003","volume":"79","author":"A. Rossini","year":"2010","unstructured":"Rossini, A., Rutle, A., Lamo, Y., Wolter, U.: A formalisation of the copy-modify-merge approach to version control in MDE. Journal of Logic and Algebraic Programming\u00a079(7), 636\u2013658 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"4_CR19","unstructured":"Rutle, A.: Diagram Predicate Framework: A Formal Approach to MDE. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2010)"},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.jlap.2012.03.006","volume":"81","author":"A. Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming\u00a081(4), 422\u2013457 (2012)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"4_CR21","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0., 2nd edn. Addison-Wesley Professional (2008)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34176-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T21:54:21Z","timestamp":1557266061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34176-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341755","9783642341762"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34176-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}