{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:49:32Z","timestamp":1743018572601,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540348931"},{"type":"electronic","value":"9783540348955"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11768869_13","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:32:10Z","timestamp":1148549530000},"page":"156-170","source":"Crossref","is-referenced-by-count":19,"title":["Generating Instance Models from Meta Models"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Jochen M.","family":"K\u00fcster","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]},{"given":"Jessica","family":"Winkelmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"The Alloy Analyzer - 3.0 Beta (2000), \n                    \n                      http:\/\/alloy.mit.edu\/"},{"key":"13_CR2","unstructured":"Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical Report TUCS No 606, TUCS Turku Center for Computer Science (March 2003)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, Springer, Heidelberg (2004)"},{"issue":"9","key":"13_CR4","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/S0950-5849(97)00017-7","volume":"39","author":"A.S. Boujarwah","year":"1997","unstructured":"Boujarwah, A.S., Saleh, K.: Compiler test case generation methods: a survey and assessment. Information and Software Technology\u00a039(9), 617\u2013625 (1997)","journal-title":"Information and Software Technology"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph transformation: Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph transformation: Foundations, vol.\u00a01, pp. 163\u2013246. World Scientific, Singapore (1997)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Termination Criteria for Model Transformation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 214\u2013228. Springer, Heidelberg (2004)"},{"key":"13_CR7","unstructured":"Ehrig, K., K\u00fcster, J., Taentzer, G., Winkelmann, J.: Automatically Generating Instances of Meta\u00a0Models. Technical Report 2005\u201309, Technical University of Berlin, Dept. of Computer Science (November 2005)"},{"key":"13_CR8","unstructured":"Ehrig, K., K\u00fcster, J., Taentzer, G., Winkelmann, J.: Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars. In: Proc (GT-VMT) (2006), A preliminary version of the proceedings is available at: \n                    \n                      http:\/\/hobbit.inf.mit.bme.hu\/GT-VMT2006\/ProceedingsGTVMT2006.pdf"},{"issue":"95\u2013111","key":"13_CR9","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1109\/TSMC.1975.5408432","volume":"SMC-5","author":"K.S. Fu","year":"1975","unstructured":"Fu, K.S., Booth, T.L.: Grammatical Inference: Introduction and Survey. IEEE Transcations on Systems, Man, and Cybernetics\u00a0SMC-5(95\u2013111), 409\u2013423 (1975)","journal-title":"IEEE Transcations on Systems, Man, and Cybernetics"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling (to appear, 2005)","DOI":"10.1007\/s10270-005-0089-y"},{"key":"13_CR11","unstructured":"Hartman, A., Nagin, K.: Model Driven Testing - AGEDIS Architecture, Interfaces, and Tools. In: Proceedings 1st European Conference on Model-Driven Software Engineering (2003)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/BFb0017406","volume-title":"Graph Grammars and Their Application to Computer Science","author":"E. Jeltsch","year":"1991","unstructured":"Jeltsch, E., Kreowski, H.-J.: Grammatical Inference Based on Hyperedge Replacement. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 461\u2013474. Springer, Heidelberg (1991)"},{"key":"13_CR13","unstructured":"Object Management Group. MDA Guide Version 1.0.1 (June 2003)"},{"key":"13_CR14","unstructured":"Object Management Group (OMG). UML 2.0 Superstructure Final Adopted Specification. OMG document pts\/03-08-02 (August 2003)"},{"key":"13_CR15","unstructured":"Object Management Group (OMG). OCL 2.0 Specification. OMG document ptc\/2005-06-06 (June 2005)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31984-9_6","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Rensink","year":"2005","unstructured":"Rensink, A., Taentzer, G.: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 64\u201379. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768869_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T18:07:41Z","timestamp":1552327661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768869_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540348931","9783540348955"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11768869_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}