{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:49Z","timestamp":1761611269727},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232070"},{"type":"electronic","value":"9783540302032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30203-2_27","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T14:59:27Z","timestamp":1285081167000},"page":"383-398","source":"Crossref","is-referenced-by-count":17,"title":["Translating Java Code to Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Lu\u00eds","family":"Dotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Foss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"The AGG website, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-28644-8_6","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P. Baldan","year":"2004","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: Verifying Finite-State Graph Grammars: an Unfolding-Based Approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 83\u201398. Springer, Heidelberg (2004)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-49019-1_6","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Unfolding and event structure semantics for graph grammars. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 73\u201389. Springer, Heidelberg (1999)"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45832-8_4","volume-title":"Graph Transformation","author":"P. Baldan","year":"2002","unstructured":"Baldan, P., K\u00f6nig, B.: Approximating the behaviour of graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 14\u201329. Springer, Heidelberg (2002)"},{"key":"27_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026, 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"27_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-0-387-35520-7_3","volume-title":"Formal Methods for Open Object-based Systems IV","author":"F. Dotti","year":"2000","unstructured":"Dotti, F., Ribeiro, L.: Specification of mobile code systems using graph grammars. In: Formal Methods for Open Object-based Systems IV, pp. 45\u201364. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"27_CR7","series-title":"Applications, Languages, and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages, and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"27_CR8","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and comparison with Double Pushout Approach. In: Rozenberg [24]"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"27_CR10","series-title":"ENTCS","volume-title":"Proc. of MFPS 2001","author":"F. Gadducci","year":"2001","unstructured":"Gadducci, F., Montanari, U.: A Concurrent Graph Semantics for Mobile Ambients. In: Proc. of MFPS 2001. ENTCS, vol.\u00a045, Elsevier Science, Amsterdam (2001)"},{"key":"27_CR11","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Sun Microsystems, Inc. (2000), http:\/\/java.sun.com\/docs\/books\/jls\/"},{"issue":"3\/4","key":"27_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3\/4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"27_CR13","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1017\/S0960129501003425","volume":"11","author":"A. Habel","year":"2001","unstructured":"Habel, A., M\u00fcller, J., Plump, D.: Double-Pushout Graph Transformation Revisited. Mathematical Structures in Computer Science\u00a011(5), 637\u2013688 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF02088293","volume":"22","author":"D. Janssens","year":"1989","unstructured":"Janssens, D., Rozenberg, G.: Actor grammars. Mathematical Systems Theory\u00a022, 75\u2013107 (1989)","journal-title":"Mathematical Systems Theory"},{"key":"27_CR16","first-page":"33","volume-title":"Proc. of IS-CORE 1994","author":"M. Korff","year":"1995","unstructured":"Korff, M.: True Concurrency Semantics for Single Pushout Graph Transformations with Applications to Actor Systems. In: Proc. of IS-CORE 1994, pp. 33\u201350. World Scientific, Singapore (1995)"},{"key":"27_CR17","first-page":"185","volume-title":"Term Graph Rewriting: Theory and Practice","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Term Graph Rewriting: Theory and Practice, pp. 185\u2013199. John Wiley, Chichester (1993)"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theoretical Computer Science\u00a0109, 181\u2013224 (1993)","journal-title":"Theoretical Computer Science"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-39958-2_2","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A.P. L\u00fcdtke Ferreira","year":"2003","unstructured":"L\u00fcdtke Ferreira, A.P., Ribeiro, L.: Towards Object-Oriented Graphs and Grammars. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 16\u201331. Springer, Heidelberg (2003)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Plump, D.: Term graph rewriting. In: Ehrig et al. [7], ch. 1, pp. 3\u201362","DOI":"10.1142\/9789812815149_0001"},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"6","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\u00a06, 560\u2013659 (1971)","journal-title":"Journal of Computer and System Sciences"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BFb0025735","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"T.W. Pratt","year":"1979","unstructured":"Pratt, T.W.: Definition of Programming Language Semantics using Grammars for Hierarchical Graphs. In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 389\u2013400. Springer, Heidelberg (1979)"},{"key":"27_CR23","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, Technische Universit\u00e4t Berlin (1996)"},{"key":"27_CR24","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"27_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"key":"27_CR26","doi-asserted-by":"crossref","first-page":"407","DOI":"10.3233\/FI-1996-263409","volume":"26","author":"A. Wagner","year":"1996","unstructured":"Wagner, A., Gogolla, M.: Defining Operational Behaviour of Object Specifications by Attributed Graph Transformations. Fundamenta Informaticae\u00a026, 407\u2013431 (1996)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30203-2_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:54:49Z","timestamp":1619999689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30203-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232070","9783540302032"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30203-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}