{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T05:12:11Z","timestamp":1789189931928,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415326","type":"print"},{"value":"9783642415333","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_2","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"18-34","source":"Crossref","is-referenced-by-count":18,"title":["Generic Model Assist"],"prefix":"10.1007","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bastian","family":"Ulke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"AtlanMod Ecore Metamodel Zoo, \n                    \n                      http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Ecore"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML\/OCL models using constraint programming. In: Proc. of ASE, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"2_CR3","unstructured":"CHOCO Team choco: an Open Source Java Constraint Programming Library (Research Report 10-02-INFO, Ecole des Mines de Nantes, 2010)"},{"key":"2_CR4","unstructured":"Eclipse, \n                    \n                      http:\/\/www.eclipse.org"},{"key":"2_CR5","unstructured":"EMF Metamodel Version 2.8.1, \n                    \n                      www.eclipse.org\/modeling\/emf"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: Proc. of ICSE, pp. 381\u2013390 (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsis-tencies in UML design models. In: Proc. of ASE, pp. 99\u2013108 (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-75209-7_4","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Hessellund","year":"2007","unstructured":"Hessellund, A., Czarnecki, K., W\u0105sowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 46\u201360. Springer, Heidelberg (2007)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Hill, J.H.: Measuring and reducing modeling effort in domain-specific modeling languages with examples. In: Proc. of ECBS, pp. 120\u2013129 (2011)","DOI":"10.1109\/ECBS.2011.22"},{"key":"2_CR10","unstructured":"IBM Rational Software Architect, \n                    \n                      http:\/\/www-01.ibm.com\/software\/rational\/products\/swarchitect\/"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-87875-9_31","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Janota","year":"2008","unstructured":"Janota, M., Kuzina, V., W\u0105sowski, A.: Model construction with external constraints: An interactive journey from semantics to syntax. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 431\u2013445. Springer, Heidelberg (2008)"},{"key":"2_CR12","series-title":"LNCS","first-page":"170","volume-title":"MODELS 2013","author":"T. Kuschke","year":"2013","unstructured":"Kuschke, T., M\u00e4der, P., Rempel, P.: Recommending auto-completions for software modeling activities. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol.\u00a08107, pp. 170\u2013186. Springer, Heidelberg (2013)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Mazanek, S., Maier, S., Minas, M.: Auto-completion for diagram editors based on graph grammars. In: Proc. of VL\/HCC, pp. 242\u2013245 (2008)","DOI":"10.1109\/VLHCC.2008.4639094"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-69489-2_18","volume-title":"Models in Software Engineering","author":"A. Nechypurenko","year":"2007","unstructured":"Nechypurenko, A., Wuchner, E., White, J., Schmidt, D.C.: Applying model intelligence frameworks for deployment problem in real-time and embedded systems. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 143\u2013151. Springer, Heidelberg (2007)"},{"key":"2_CR15","unstructured":"Object Management Group Unified Modeling Language Superstructure Version 2.3, \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.3\/Superstructure"},{"key":"2_CR16","unstructured":"Object Management Group Object Constraint Language Version 2.2, \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"2_CR17","unstructured":"http:\/\/www.openmodels.org"},{"key":"2_CR18","unstructured":"Papyrus UML Editor, \n                    \n                      http:\/\/www.eclipse.org\/papyrus\/"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Pati, T., Feiock, D.C., Hill, J.H.: Proactive modeling: auto-generating models from their semantics and constraints. In: Proc. of DSM, pp. 7\u201312 (2012)","DOI":"10.1145\/2420918.2420921"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-31491-9_13","volume-title":"Modelling Foundations and Applications","author":"J. Pinna Puissant","year":"2012","unstructured":"Pinna Puissant, J., Van Der Straeten, R., Mens, T.: Badger: A regression planner to resolve design model inconsistencies. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 146\u2013161. Springer, Heidelberg (2012)"},{"key":"2_CR21","unstructured":"ReMoDD, \n                    \n                      http:\/\/www.cs.colostate.edu\/remodd"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-69073-3_27","volume-title":"Models in Software Engineering","author":"S. Sen","year":"2008","unstructured":"Sen, S., Baudry, B., Vangheluwe, H.: Domain-specific model editors with model completion. In: Giese, H. (ed.) MODELS 2008. LNCS, vol.\u00a05002, pp. 259\u2013270. Springer, Heidelberg (2008)"},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1177\/0037549709340530","volume":"86","author":"S. Sen","year":"2010","unstructured":"Sen, S., Baudry, B., Vangheluwe, H.: Towards domain-specific model editors with automatic model completion. Simulation\u00a086(2), 109\u2013126 (2010)","journal-title":"Simulation"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-22655-7_13","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2011","unstructured":"Steimann, F., Kollee, C., von Pilgrim, J.: A refactoring constraint language and its application to Eiffel. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 255\u2013280. Springer, Heidelberg (2011)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-24485-8_32","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Steimann","year":"2011","unstructured":"Steimann, F.: Constraint-based model refactoring. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 440\u2013454. Springer, Heidelberg (2011)"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-642-31057-7_24","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2012","unstructured":"Steimann, F., von Pilgrim, J.: Constraint-based refactoring with foresight. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 535\u2013559. Springer, Heidelberg (2012)"},{"key":"2_CR27","unstructured":"Steimann, F.: From well-formedness to meaning preservation: Model refactoring for almost free. SoSyM (in print)"},{"issue":"3","key":"2_CR28","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1961204.1961205","volume":"33","author":"F. Tip","year":"2011","unstructured":"Tip, F., Fuhrer, R.M., Kiezun, A., Ernst, M.D., Balaban, I., De Sutter, B.: Refactoring using type constraints. ACM Trans. Program. Lang. Syst.\u00a033(3), 9 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR29","unstructured":"Visual Studio, \n                    \n                      http:\/\/www.microsoft.com\/visualstudio\/"},{"key":"2_CR30","unstructured":"Woolf, B.: Null Object. In: Pattern Languages of Program Design, vol.\u00a03. Addison-Wesley (1998)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model incon-sistency fixing. In: Proc. of ESEC\/SIGSOFT FSE, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:48:11Z","timestamp":1558079291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}