{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:55:28Z","timestamp":1773773728962,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s10270-008-0095-y","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T14:24:47Z","timestamp":1214835887000},"page":"479-500","source":"Crossref","is-referenced-by-count":62,"title":["Generating instance models from meta models"],"prefix":"10.1007","volume":"8","author":[{"given":"Karsten","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Jochen Malte","family":"K\u00fcster","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,1]]},"reference":[{"key":"95_CR1","unstructured":"IBM Rational Software Architect V7.0. Available at http:\/\/www.ibm.com\/software\/awdtools\/architect\/swarchitect\/index.html"},{"key":"95_CR2","unstructured":"OMONDO EclipseUML 3.2.0 Studio. Available at http:\/\/www.omondo.com"},{"key":"95_CR3","unstructured":"The Alloy Analyzer 4.0 http:\/\/alloy.mit.edu\/"},{"key":"95_CR4","unstructured":"XSL transformations (XSLT), version 1.0. Available at http:\/\/www.w3.org\/TR\/xslt"},{"key":"95_CR5","unstructured":"GXL http:\/\/www.gupro.de\/GXL (2005)"},{"key":"95_CR6","unstructured":"XMI\u2013XML metadata interchange, version 2.0 (2005)"},{"key":"95_CR7","unstructured":"AGG Homepage. http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"95_CR8","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":"95_CR9","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: Engels, G. et al. (ed.) Proceedings ACM\/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, vol. 4735 of Lecture Notes in Computer Science, pp. 436\u2013450. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"95_CR10","doi-asserted-by":"crossref","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-Steffens, T. (eds.) Proceedings of Fundamental Aspects of Software Engineering, vol. 2984, pp. 214\u2013228. Springer, Heidelberg, LNCS (2004)","DOI":"10.1007\/978-3-540-24721-0_16"},{"key":"95_CR11","unstructured":"Boger, M., Sturm, T., Schildhauer, E., Graham, E.: Poseidon for UML Users Guide. Gentleware AG, (2003) Available under http:\/\/www.gentleware.com"},{"issue":"9","key":"95_CR12","doi-asserted-by":"crossref","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. Inf. Softw. Technol. 39(9), 617\u2013625 (1997)","journal-title":"Inf. Softw. Technol."},{"key":"95_CR13","doi-asserted-by":"crossref","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based testing of reactive systems, advanced lectures (The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004), vol. 3472 of Lecture Notes in Computer Science. Springer, Heidelberg (2005)","DOI":"10.1007\/b137241"},{"key":"95_CR14","doi-asserted-by":"crossref","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, vol. 1: foundations, pp. 163\u2013246. World Scientific, Singapore (1997)","DOI":"10.1142\/9789812384720_0003"},{"key":"95_CR15","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1142\/9789812384720_0005","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations","author":"B. Courcelle","year":"1997","unstructured":"Courcelle B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg, G.(eds) Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations, pp. 313\u2013400. World Scientific, New-Jersey London (1997)"},{"key":"95_CR16","doi-asserted-by":"crossref","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.) Proceedings of Fundamental Approaches to Software Engineering (FASE), vol. 2984 of Lecture Notes in Computer Science, pp. 214\u2013228. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"95_CR17","unstructured":"Ehrig, H., Ehrig K., Habel, A., Pennemann, K.-H.: Constraints and application conditions: From graphs to high-level structures. In: Parisi-Presicce, F., Bottoni, P., Engels, G. (eds.) Proceedings of 2nd International Conference on Graph Transformation (ICGT\u201904), LNCS 3256, pp. 287\u2013303. Rome, Italy, (2004) Springer, Heidelberg"},{"key":"95_CR18","volume-title":"Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)"},{"key":"95_CR19","unstructured":"Ehrig, K., K\u00fcster, J., Taentzer, G., Winkelmann, J.: Automatically Generating Instances of Meta Models. Technical Report 2005\u201309, Technical University of Berlin, Department of Computer Science (2005)"},{"key":"95_CR20","doi-asserted-by":"crossref","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G., Winkelmann, J.: Generating instance models from meta models. In: Gorrieri, R., Wehrheim, H. (eds.) Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, 14\u201316 June 2006, Proceedings, vol. 4037 of LNCS, pp. 156\u2013170. Springer, Heidelberg (2006)","DOI":"10.1007\/11768869_13"},{"key":"95_CR21","doi-asserted-by":"crossref","unstructured":"Fu, K.S., Booth, T.L.: Grammatical Inference: Introduction and Survey. IEEE Trans Syst Man Cybern SMC-5:95\u2013111, 409\u2013423 (1975)","DOI":"10.1109\/TSMC.1975.5409159"},{"issue":"4","key":"95_CR22","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla M., Bohling J., Richters M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw Syst Model 4(4), 386\u2013398 (2005)","journal-title":"Softw Syst Model"},{"key":"95_CR23","doi-asserted-by":"crossref","unstructured":"Hartman, A., Nagin, K.: The AGEDIS tools for model based testing. In: Nunes, N.J., Selic, B., da Silva, A., \u00c1lvarez, J. (eds.) UML satellite activities, revised selected papers. vol. 3297 of Lecture Notes in Computer Science, pp. 277\u2013280. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31797-5_33"},{"issue":"2","key":"95_CR24","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"95_CR25","doi-asserted-by":"crossref","unstructured":"Jeltsch, E., Kreowski, H.-J.: Grammatical inference based on hyperedge replacement. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Proceedings of 4th International Workshop on Graph Grammars and their Application to Computer Science, vol. 532 of Lecture Notes in Computer Science, pp. 461\u2013474. Springer, Heidelberg (1991)","DOI":"10.1007\/BFb0017406"},{"issue":"11","key":"95_CR26","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai G., Agrawal A., Shi F., Sprinkle J.: On the use of graph transformation in the formal specification of model interpreters. J. Univers. Comput. Sci. 9(11), 1296\u20131321 (2003)","journal-title":"J. Univers. Comput. Sci."},{"key":"95_CR27","doi-asserted-by":"crossref","unstructured":"Kirshin, A., Dotan, D., Hartman, A.: A UML simulator based on a generic model execution engine. In: K\u00fchne, T. (ed.) MoDELS Workshops, vol. 4364 of Lecture Notes in Computer Science, pp. 324\u2013326. Springer, Heidelberg (2006)","DOI":"10.1007\/978-3-540-69489-2_40"},{"issue":"3","key":"95_CR28","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J.M. K\u00fcster","year":"2006","unstructured":"K\u00fcster J.M.: Definition and validation of model transformations. Softw. Syst. Model. (SoSyM) 5(3), 233\u2013259 (2006)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"95_CR29","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of model transformations\u2014first experiences using a white box approach. In: K\u00fchne, T. (ed.) MoDELS Workshops, vol. 4364 of Lecture Notes in Computer Science, pp. 193\u2013204. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-69489-2_24"},{"key":"95_CR30","doi-asserted-by":"crossref","unstructured":"Maraee, A., Balaban, M.: Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) Model Driven Architecture\u2014Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, 11\u201315 June 2007, Proceedings, vol. 4530 of Lecture Notes in Computer Science, pp. 17\u201331. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72901-3_2"},{"key":"95_CR31","doi-asserted-by":"crossref","unstructured":"Mens, T.: On the use of graph transformations for model refactoring. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) Generative and Transformational Techniques in Software Engineering, vol. 4143 of Lecture Notes in Computer Science, pp. 219\u2013257. Springer, Heidelberg (2006)","DOI":"10.1007\/11877028_7"},{"key":"95_CR32","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation analysis testing for model transformation. In: Rensink, A., Warmer, J. (eds.) Model Driven Architecture\u2014Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, 10-13 July 2006. Proceedings, vol. 4066 of LNCS, pp. 376\u2013390. Springer, Heidelberg (2006)","DOI":"10.1007\/11787044_28"},{"issue":"3","key":"95_CR33","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C. Nebut","year":"2006","unstructured":"Nebut C., Fleurey F., Le Traon Y., J\u00e9z\u00e9quel J.-M.: Automatic test generation: a use case driven approach. IEEE Trans. Softw. Eng. 32(3), 140\u2013155 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"95_CR34","unstructured":"Object Management Group. MDA Guide Version 1.0.1 (2003)"},{"key":"95_CR35","unstructured":"Object Management Group (OMG). UML 2.0 Superstructure Final Adopted Specification. OMG document pts\/03-08-02 (2003)"},{"key":"95_CR36","unstructured":"Object Management Group (OMG). OCL 2.0 specification. OMG document ptc\/2005-06-06 (2005)"},{"key":"95_CR37","doi-asserted-by":"crossref","unstructured":"Rensink, A., Taentzer, G.: Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of Fundamental Approaches to Software Engineering (FASE), pp. 64\u201379. LNCS 3442, Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"95_CR38","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J., Nagl, M., Boehlen, B. (eds.) Application of Graph Transformations with Industrial Relevance (AGTIVE\u201903), pp. 446\u2013456. LNCS 3062, Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"95_CR39","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by petri nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) Graph Transformations, 3rd International Conference, vol. 4178 of LNCS, pp. 260\u2013274. Springer, Heidelberg (2006)","DOI":"10.1007\/11841883_19"},{"key":"95_CR40","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., K\u00fcster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. In: Proceedings of the 5th International Workshop on Graph Transformations and Visual Modeling Techniques (GT-VMT\u201906), pp. 153\u2013164 (2006)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0095-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0095-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0095-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T01:12:01Z","timestamp":1684458721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0095-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["95"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0095-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}