{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:42Z","timestamp":1762458882767},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_3","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:51:47Z","timestamp":1294429907000},"page":"38-63","source":"Crossref","is-referenced-by-count":7,"title":["Flexible Interconnection of Graph Transformation Modules"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Cherchago","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-540-30203-2_22","volume-title":"Graph Transformations","author":"A. Cherchago","year":"2004","unstructured":"Cherchago, A., Heckel, R.: Specification matching of web services using conditional graph transformation rules. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 304\u2013318. Springer, Heidelberg (2004)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-61228-9_79","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The category of typed graph grammars and their adjunction with categories of derivations. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 56\u201374. Springer, Heidelberg (1996)"},{"issue":"3,4","key":"3_CR3","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 26(3,4), 241\u2013266 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR4","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. vol. 1: Foundations, pp. 163\u2013245. World Scientific, Singapore (1997), Preprint available as Tech. Rep. 96\/17, Univ. of Pisa, http:\/\/www.di.unipi.it\/TR\/TRengl.html"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_84","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H. Ehrig","year":"1996","unstructured":"Ehrig, H., Engels, G.: Pragmatic and semantic aspects of a module concept for graph transformation systems. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073. Springer, Heidelberg (1996)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages, and Tools. World Scientific, Singapore (1999)","DOI":"10.1142\/4180"},{"key":"3_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of algebraic specification 2: module specifications and constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 2: module specifications and constraints. Springer, Heidelberg (1990)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"3_CR9","unstructured":"Gro\u00dfe\u2013Rhode, M., Parisi Presicce, F., Simeoni, M.: Concrete spatial refinement construction for graph transformation systems. Technical Report SI 97\/10, Universit\u2018a di Roma La Sapienza, Dip. Scienze dell\u2019Informazione (1997)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-48483-3_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Gro\u00dfe-Rhode","year":"1999","unstructured":"Gro\u00dfe-Rhode, M., Simeoni, M., Parisi Presicce, F.: Refinements and modules for typed graph transformation systems. In: Fiadeiro, J.L. (ed.) WADT 1998. LNCS, vol.\u00a01589, pp. 138\u2013151. Springer, Heidelberg (1999)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/BFb0055805","volume-title":"Mathematical Foundations of Computer Science 1998","author":"M. Gro\u00dfe-Rhode","year":"1998","unstructured":"Gro\u00dfe-Rhode, M., Parisi-Presicce, F., Simeoni, M.: Spatial and temporal refinement of typed graph transformation systems. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, p. 553. Springer, Heidelberg (1998)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-48483-3_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Gro\u00dfe-Rhode","year":"1999","unstructured":"Gro\u00dfe-Rhode, M., Parisi Presicce, F., Simeoni, M.: Refinements and modules for typed graph transformation systems. In: Fiadeiro, J.L. (ed.) WADT 1998. LNCS, vol.\u00a01589, pp. 138\u2013151. Springer, Heidelberg (1999)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-540-46464-8_26","volume-title":"Theory and Application of Graph Transformations","author":"M. Gro\u00dfe-Rhode","year":"2000","unstructured":"Gro\u00dfe-Rhode, M., Parisi Presicce, F., Simeoni, M.: Refinements of graph transformation systems via rule expressions. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 368\u2013382. Springer, Heidelberg (2000)"},{"issue":"3,4","key":"3_CR14","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"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Lohmann, M.: Model-based discovery of web services. In: Proc. International Conference on Web Services, San Diego, USA (July 2004)","DOI":"10.1109\/ICWS.2004.1314754"},{"key":"3_CR16","unstructured":"Heckel, R.: Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, TU Berlin (1998)"},{"issue":"6","key":"3_CR17","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"Heckel, R., Corradini, A., Ehrig, H., L\u00f6we, M.: Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science\u00a06(6), 613\u2013648 (1996)","journal-title":"Math. Struc. in Comp. Science"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures 9(1) (January 2001), See also TR 97-07 at http:\/\/www.cs.tu-berlin.de\/cs\/ifb\/TechnBerichteListe.html","DOI":"10.1023\/A:1008734426504"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Heckel, R., Engels, G., Ehrig, H., Taentzer, G.: Classification and comparison of modularity concepts for graph transformation systems. In: Ehrig, et al. (eds.) [6], pp. 669\u2013690","DOI":"10.1142\/9789812815149_0017"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Heckel, R., Engels, G., Ehrig, H., Taentzer, G.: A view-based approach to system modelling based on open graph transformation systems. In: Ehrig et al. (eds.) [6], pp. 639\u2013667","DOI":"10.1142\/9789812815149_0016"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-61228-9_81","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H.-J. Kreowski","year":"1996","unstructured":"Kreowski, H.-J., Kuske, S.: On the interleaving semantics of transformation units - a step into GRACE. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 89\u2013106. Springer, Heidelberg (1996)"},{"key":"3_CR22","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall International, Englewood Cliffs (1988)"},{"key":"3_CR23","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin (1996)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-540-46464-8_28","volume-title":"Theory and Application of Graph Transformations","author":"A. Sch\u00fcrr","year":"2000","unstructured":"Sch\u00fcrr, A., Winter, A.J.: UML packages for PROgrammed Graph REwrite Systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 396\u2013410. Springer, Heidelberg (2000)"},{"issue":"2","key":"3_CR25","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/210134.210179","volume":"4","author":"A.M. Zaremski","year":"1995","unstructured":"Zaremski, A.M., Wing, J.M.: Signature matching: a tool for using software libraries. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a04(2), 146\u2013170 (1995)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Zaremski, A.M., Wing, J.M.: Specification matching of software components. In: Proc. SIGSOFT 1995 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering. vol. 20(4), ACM SIGSOFT Software Engineering Notes, October 1995, pp. 6\u201317. Also CMU-CS-95-127 (March 1995)","DOI":"10.1145\/222124.222135"}],"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_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:51:05Z","timestamp":1637117465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31847-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249368","9783540318477"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31847-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}