{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:45:14Z","timestamp":1769971514733,"version":"3.49.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319420639","type":"print"},{"value":"9783319420646","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-42064-6_12","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T10:03:01Z","timestamp":1466676181000},"page":"173-188","source":"Crossref","is-referenced-by-count":39,"title":["Automatically Deriving the Specification of Model Editing Operations from Meta-Models"],"prefix":"10.1007","author":[{"given":"Timo","family":"Kehrer","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]},{"given":"Michaela","family":"Rindt","sequence":"additional","affiliation":[]},{"given":"Udo","family":"Kelter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"key":"12_CR1","unstructured":"Accompanying material for this paper (2015). http:\/\/pi.informatik.uni-siegen.de\/projects\/SiLift\/icmt2016\/index.php"},{"key":"12_CR2","unstructured":"Altmanninger, K., Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Why model versioning research is needed? An experience report. In: Proceedings of the MoDSE-MCCM 2009 Workshop@ MoDELS, vol. 9 (2009)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Rouquette, N., Haugen, \u00d8., Petriu, D.C. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10270-011-0199-7","volume":"11","author":"E Biermann","year":"2012","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227\u2013250 (2012)","journal-title":"Softw. Syst. Model."},{"key":"12_CR5","series-title":"Synthesis Lectures on Software Engineering","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02546-4","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering. Morgan & Claypool Publishers, San Rafael (2012)"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"B\u00fcrdek, J., Kehrer, T., Lochau, M., Reuling, D., Kelter, U., Sch\u00fcrr, A.: Reasoning about product-line evolution using complex feature models differences. Autom. Softw. Eng., 1\u201347 (2015). doi: 10.1007\/s10515-015-0185-3","DOI":"10.1007\/s10515-015-0185-3"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Meta-model-based test generation for model transformations: an algorithm and a tool. In: 17th International Symposium on Software Reliability Engineering, pp. 85\u201394. IEEE (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"12_CR8","unstructured":"Eclipse Modeling Project (EMP) (2015). http:\/\/eclipse.org\/modeling"},{"key":"12_CR9","unstructured":"Ecore Tools - Graphical Modeling for Ecore (2015). http:\/\/www.eclipse.org\/ecoretools"},{"key":"12_CR10","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer New York Inc., Secaucus (2006)"},{"issue":"4","key":"12_CR11","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Softw. Syst. Model. 8(4), 479\u2013500 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"12_CR12","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1007\/s10270-013-0380-2","volume":"14","author":"L F\u00fcrst","year":"2015","unstructured":"F\u00fcrst, L., Mernik, M., Mahnic, V.: Converting metamodels to graph grammars: doing without advanced graph grammar features. Softw. Syst. Model. 14(3), 1297\u20131317 (2015)","journal-title":"Softw. Syst. Model."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Haber, A., H\u00f6lldobler, K., Kolassa, C., Look, M., Rumpe, B., M\u00fcller, K., Schaefer, I.: Engineering delta modeling languages. In: Proceedings of the 17th International Software Product Line Conference, pp. 22\u201331. ACM (2013)","DOI":"10.1145\/2491627.2491632"},{"issue":"3","key":"12_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"12_CR15","unstructured":"Hoffmann, B., Minas, M.: Generating instance graphs from class diagrams with adaptive star grammars. In: ECEASST, vol. 39 (2011)"},{"key":"12_CR16","unstructured":"IBM: Rational Software Architect (2015). http:\/\/www-03.ibm.com\/software\/products\/en\/ratisoftarch"},{"key":"12_CR17","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"12_CR18","unstructured":"Kehrer, T.: Calculation and propagation of model changes based on user-level edit operations. Ph.D. thesis, University of Siegen (2015)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Reuling, D.: Workspace updates of visual models. In: ACM\/IEEE International Conference on Automated Software Engineering (ASE), pp. 827\u2013830. ACM (2014)","DOI":"10.1145\/2642937.2648623"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: Consistency-preserving edit scripts in model versioning. In: 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 191\u2013201. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693079"},{"issue":"2","key":"12_CR21","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/j.jss.2012.09.037","volume":"86","author":"P Langer","year":"2013","unstructured":"Langer, P., Wimmer, M., Brosch, P., Herrmannsd\u00f6rfer, M., Seidl, M., Wieland, K., Kappel, G.: A posteriori operation detection in evolving software models. J. Syst. Softw. 86(2), 551\u2013566 (2013)","journal-title":"J. Syst. Softw."},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/11877028_7","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"T Mens","year":"2006","unstructured":"Mens, T.: On the use of graph transformations for model refactoring. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219\u2013257. Springer, Heidelberg (2006)"},{"key":"12_CR23","unstructured":"No Magic, MagicDraw (2015). http:\/\/www.nomagic.com\/products\/magicdraw.html"},{"key":"12_CR24","unstructured":"Object Management Group: UML 2.4.1 superstructure specification. OMG Document Number: formal\/2011-08-06 (2011)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-319-21145-9_10","volume-title":"Graph Transformation","author":"H Radke","year":"2015","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints focusing on set operations. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 155\u2013170. Springer, Heidelberg (2015)"},{"key":"12_CR26","unstructured":"Rindt, M., Kehrer, T., Kelter, U.: Automatic generation of consistency-preserving edit operations for MDE tools. In: Demonstrations Track of the ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS), CEUR Workshop Proceedings, vol. 1255 (2014)"},{"key":"12_CR27","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: DeltaEcore-a model-based delta language generation framework. In: Modellierung, pp. 81\u201396 (2014)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Selonen, P., Kettunen, M.: Metamodel-based inference of inter-model correspondence. In: 11th European Conference on Software Maintenance and Reengineering (CSMR), pp. 71\u201380. IEEE (2007)","DOI":"10.1109\/CSMR.2007.31"},{"key":"12_CR29","unstructured":"Taentzer, G.: Instance generation from type graphs with arbitrary multiplicities. In: Electronic Communications of the EASST, vol. 47 (2012)"},{"key":"12_CR30","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42064-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T00:11:21Z","timestamp":1692403881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42064-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420639","9783319420646"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42064-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}