{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:47Z","timestamp":1725574307111},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540249368"},{"type":"electronic","value":"9783540318477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31847-7_2","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:51:47Z","timestamp":1294429907000},"page":"24-37","source":"Crossref","is-referenced-by-count":0,"title":["From Graph Transformation to Software Engineering and Back"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"241","volume-title":"Visual Language Theory","author":"M. Andries","year":"1997","unstructured":"Andries, M., Engels, G., Rekers, J.: How to represent a visual specification. In: Marriott, K., Meyer, B. (eds.) Visual Language Theory, pp. 241\u2013255. Springer, Heidelberg (1997)"},{"key":"2_CR2","unstructured":"Baresi, L.: Formal customization of graphical notations. PhD thesis, Dipartimento di Elettronica e Informazione \u2013 Politecnico di Milano (1997) (in Italian)"},{"key":"2_CR3","first-page":"68","volume-title":"Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering","author":"L. Baresi","year":"2003","unstructured":"Baresi, L., Heckel, R., Thone, S., Varro, D.: Modeling and validation of serviceoriented architectures: application vs. style. In: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 68\u201377. ACM Press, New York (2003)"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/253228.253241","volume-title":"Proceedings of the 20th International Conference on Software Engineering","author":"L. Baresi","year":"1997","unstructured":"Baresi, L., Orso, A., Pezz\u00e8, M.: Introducing formal methods in industrial practice. In: Proceedings of the 20th International Conference on Software Engineering, pp. 56\u201366. ACM Press, New York (1997)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 402\u2013429. Springer, Heidelberg (2002)"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Wing, J., Alur, R., Cleaveland, R., Dill, D., Emerson, A., Garland, S., German, S., Guttag, J., Hall, A., Henzinger, T., Holzmann, G., Jones, C., Kurshan, R., Leveson, N., McMillan, K., Moore, J., Peled, D., Pnueli, A., Rushby, J., Shankar, N., Sifakis, J., Sistla, P., Steffen, B., Wolper, P., Woodcock, J., Zave, P.: Formal methods: State of the art and future directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Corradini, A., Dotti, F., Ribeiro, L.: A graph transformation view on the specification of applications using mobile code. In: Proceedings of the International Symposium on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Notes in Computer Science, vol. 50 (3) (2001)","DOI":"10.1016\/S1571-0661(04)00175-6"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/582128.582134","volume-title":"Proceedings of the first workshop on Self-healing systems","author":"D. Garlan","year":"2002","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the first workshop on Self-healing systems, pp. 27\u201332. ACM Press, New York (2002)"},{"key":"2_CR10","first-page":"91","volume-title":"The Future of Software Engineering","author":"D. Garland","year":"2000","unstructured":"Garland, D.: Software architecture: a roadmap. In: The Future of Software Engineering, pp. 91\u2013101. ACM Press, New York (2000)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/581352.581355","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE 2002)","author":"J. Hausmann","year":"2002","unstructured":"Hausmann, J., Heckel, R., Taentzer, G.: Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In: Proceedings of the International Conference on Software Engineering (ICSE 2002), May 2002, pp. 105\u2013155. ACM Press, New York (2002)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: ISAW 1998: Proceedings of the Third International Workshop on Software Architecture, pp. 69\u201372 (1998)","DOI":"10.1145\/288408.288426"},{"issue":"8","key":"2_CR13","first-page":"666","volume":"21","author":"C. Hoare","year":"1978","unstructured":"Hoare, C.: Communicating sequential processes. Communicat. Associat. Comput. Mach.\u00a021(8), 666\u2013677 (1978)","journal-title":"Communicat. Associat. Comput. Mach."},{"key":"2_CR14","unstructured":"Hoffmann, B., Minas, M.: A generic model for diagram syntax and semantics. In: Proc. ICALP 2000 Workshop on Graph Transformation and Visual Modelling Techniques, Geneva, Switzerland. Carleton Scientific (2000)"},{"key":"#cr-split#-2_CR15.1","unstructured":"Kemmerer, R.A., Vigna, G.: Intrusion Detection. IEEE Computer (2002);"},{"key":"#cr-split#-2_CR15.2","unstructured":"Special publication on Security and Privacy"},{"issue":"1","key":"2_CR16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer\u00a036(1), 41\u201350 (2003)","journal-title":"IEEE Computer"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/545186.545191","volume":"5","author":"M. Koch","year":"2002","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: A graph based formalism for RBAC. ACM Transactions on Information and System Security (TISSEC)\u00a05(3), 332\u2013365 (2002)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"Kuske, S.: A formal semantics of UML state machines based on structured graph transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 241. Springer, Heidelberg (2001)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/239098.239105","volume-title":"Sigsoft","author":"D. M\u00e9tayer Le","year":"1996","unstructured":"Le M\u00e9tayer, D.: Software architecture styles as graph grammars. In: Sigsoft, pp. 15\u201323. ACM Press, New York (1996)"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/940071.940110","volume-title":"Proceedings of ESEC\/FSE 2003","author":"S. McCamant","year":"2003","unstructured":"McCamant, S., Ernst, M.: Predicting problems caused by component upgrades. In: Proceedings of ESEC\/FSE 2003, pp. 287\u2013296. ACM Press, New York (2003)"},{"key":"2_CR21","unstructured":"Mens, T., Van Eetvelde, N., Janssen, D., Demeyer, S.: Formalising refactorings with graph transformations. Journal of Software Maintenance and Evolution, 1001\u20131025 (2004)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Mens, T., Sc\u00fcrr, A., Taenzer, G.: Proceedings of the Workshop on Graph-Based Tools. ENTCS (2002)","DOI":"10.1007\/3-540-45832-8_33"},{"key":"2_CR23","unstructured":"OMG. Meta object facility (MOF) specification (September 1999)"},{"key":"2_CR24","unstructured":"OMG. Unified Modeling Language (UML), version 1.5. OMG Standard (2003)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/566172.566182","volume-title":"Proceedings of the international symposium on Software testing and analysis","author":"A. Orso","year":"2002","unstructured":"Orso, A., Liang, D., Harrold, M., Lipton, R.: Gamma system: continuous evolution of software after deployment. In: Proceedings of the international symposium on Software testing and analysis, Roma, Italy, pp. 65\u201369. ACM Press, New York (2002)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Pavlopoulou, C., Young, M.: Residual test coverage monitoring. In: International Conference on Software Engineering, pp. 277\u2013284 (1999)","DOI":"10.1145\/302405.302637"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T.W. Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences\u00a05, 560\u2013595 (1971)","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR28","unstructured":"Sch\u00fcrr, A. : Specification of graph translators with triple graph grammars. In: Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol.\u00a0904, p. 228\u2013253. Springer, Heidelberg (1994)"},{"key":"2_CR29","series-title":"ENTCS","first-page":"57","volume-title":"Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D.: Towards symbolic analysis of visual modelling languages. In: Bottoni, P., Minas, M. (eds.) Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, Barcelona, Spain, October 11-12. ENTCS, vol.\u00a072, pp. 57\u201370. Elsevier, Amsterdam (2002)"},{"key":"2_CR30","unstructured":"W3C. SVG: Scalable Vector Graphics (SVG) version 1.2. W3C (May 2004), http:\/\/www.w3.org\/TR\/2004\/WD-SVG12-20040510\/"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Software and Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31847-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:50:59Z","timestamp":1637117459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31847-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249368","9783540318477"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31847-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}