@InProceedings{granstrom:LIPIcs.TYPES.2011.28, author = {Granstr\"{o}m, Johan G.}, title = {{A new approach to the semantics of model diagrams}}, booktitle = {18th International Workshop on Types for Proofs and Programs (TYPES 2011)}, pages = {28--40}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-49-1}, ISSN = {1868-8969}, year = {2013}, volume = {19}, editor = {Danielsson, Nils Anders and Nordstr\"{o}m, Bengt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.28}, URN = {urn:nbn:de:0030-drops-38980}, doi = {10.4230/LIPIcs.TYPES.2011.28}, annote = {Keywords: model diagram, modelling, metamodelling, semantics, compositionality, self-description, metacircularity, reflexivity, universal model, MOF, UML} }