{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:51Z","timestamp":1725494511299},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341755"},{"type":"electronic","value":"9783642341762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34176-2_8","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:56:59Z","timestamp":1349071019000},"page":"81-88","source":"Crossref","is-referenced-by-count":18,"title":["AGG 2.0 \u2013 New Features for Specifying and Analyzing Algebraic Graph Transformations"],"prefix":"10.1007","author":[{"given":"Olga","family":"Runge","sequence":"first","affiliation":[]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Biermann, E., Ehrig, K., Ermel, C., Hurrelmann, J.: Generation of simulation views for domain specific modeling languages based on the Eclipse Modeling Framework. In: Automated Software Engineering (ASE 2009), pp. 625\u2013629. IEEE Press (2009)","DOI":"10.1109\/ASE.2009.46"},{"key":"8_CR3","unstructured":"Budapest University of Technology and Economics: Visual Modeling and Transformation System (VMTS) (2010), \n                    \n                      http:\/\/www.aut.bme.hu\/Portal\/Vmts.aspx"},{"key":"8_CR4","unstructured":"Eclipse Consortium: VIATRA2 (Visual Automated Model Transformations) Framework (2011), \n                    \n                      http:\/\/www.eclipse.org\/gmt\/VIATRA2\/"},{"key":"8_CR5","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer (2006)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-12029-9_10","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal Analysis and Verification of Self-Healing Systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 139\u2013153. Springer, Heidelberg (2010)"},{"key":"8_CR7","unstructured":"Fujaba Development Group: Fujaba Tool Suite (2011), \n                    \n                      http:\/\/www.fujaba.de\/"},{"key":"8_CR8","unstructured":"Golas, U., Biermann, E., Ehrig, H., Ermel, C.: A visual interpreter semantics for statecharts based on amalgamated graph transformation. In: Echahed, R., Habel, A., Mosbah, M. (eds.) Selected Papers of International Workshop on Graph Computation Models (GCM 2010). ECEASST, vol.\u00a039 (2011)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science\u00a019, 1\u201352 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Proc. Int. Workshop on Model Driven Interoperability, pp. 22\u201331. ACM (2010)","DOI":"10.1145\/1866272.1866277"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-00593-0_4","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Jurack","year":"2009","unstructured":"Jurack, S., Lambers, L., Mehner, K., Taentzer, G., Wierse, G.: Object Flow Definition for Refined Activity Diagrams. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 49\u201363. Springer, Heidelberg (2009)"},{"key":"8_CR12","unstructured":"Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universit\u00e4t Berlin (2009)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A\u00a0Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-15928-2_12","volume-title":"Graph Transformations","author":"G. Taentzer","year":"2010","unstructured":"Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict Detection for Model Versioning Based on Graph Modifications. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 171\u2013186. Springer, Heidelberg (2010)"},{"key":"8_CR15","unstructured":"TFS-Group, TU Berlin: AGG 2.0 (2011), \n                    \n                      http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"8_CR16","unstructured":"Universit\u00e4t Karlsruhe: Graph Rewrite Generator, GrGen (2010), \n                    \n                      http:\/\/www.info.uni-karlsruhe.de\/software.php\/id=7"},{"key":"8_CR17","unstructured":"University of Twente: Graphs for Object-Oriented Verification (GROOVE) (2011), \n                    \n                      http:\/\/groove.cs.utwente.nl\/"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34176-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:47:11Z","timestamp":1620132431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34176-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341755","9783642341762"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34176-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}