{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:46:31Z","timestamp":1764053191096},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_28","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T21:46:10Z","timestamp":1222033570000},"page":"386-400","source":"Crossref","is-referenced-by-count":20,"title":["Formal Definition of MOF 2.0 Metamodel Components and Composition"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Weisem\u00f6ller","sequence":"first","affiliation":[]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., Sch\u00fcrr, A.: Formalizing Model Transformation Rules for UML\/MOF 2. IET Software Journal (accepted for publication, 2007)","DOI":"10.1049\/iet-sen:20070076"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11813040_18","volume-title":"FM 2006: Formal Methods","author":"N. Amlio","year":"2006","unstructured":"Amlio, N., Stepney, S., Polack, F.: A Formal Template Language Enabling Metaproof. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 252\u2013267. Springer, Heidelberg (2006)"},{"key":"28_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer, Heidelberg (1990)"},{"key":"28_CR4","unstructured":"Emerson, M., Sztipanovits, J.: Techniques for metamodel composition. In: OOPSLA \u2013 6th Workshop on Domain Specific Modeling, pp. 123\u2013139 (October 2006)"},{"key":"28_CR5","unstructured":"Krahn, H., Rumpe, B., V\u00f6lkel, S.: Efficient Editor Generation for Compositional DSLs in Eclipse. In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (DSM 2007), Montreal, Quebec, Canada (2007)"},{"key":"28_CR6","unstructured":"Object Management Group, Inc. Unified Modeling Language: Infrastructure(July 2005), http:\/\/doc.omg.org\/formal\/2005-07-05.pdf"},{"key":"28_CR7","unstructured":"Object Management Group, Inc. Unified Modeling Language: Superstructure (July 2005), http:\/\/doc.omg.org\/formal\/2005-07-04.pdf"},{"key":"28_CR8","unstructured":"Object Management Group, Inc. Meta Object Facility (MOF) Core Specification (January 2006), http:\/\/doc.omg.org\/formal\/2006-01-01.pdf"},{"key":"28_CR9","unstructured":"Object Management Group, Inc. Object Constraint Language (May 2006), http:\/\/doc.omg.org\/formal\/06-05-01.pdf"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, Technische Universit\u00e4t Berlin (1996)","DOI":"10.1007\/3-540-61228-9_95"},{"key":"28_CR11","unstructured":"Winter, A.: Referenz-Metaschema f\u00fcr visuelle Modellierungssprachen. Deutscher Universit\u00e4tsverlag, Wiesbaden, Dissertation (in german), Institut f\u00fcr Informatik. Universit\u00e4t Koblenz-Landau (2000)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T21:27:31Z","timestamp":1684531651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}