{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T12:22:15Z","timestamp":1791116535993,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540686767","type":"print"},{"value":"9783540686798","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_4","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"37-56","source":"Crossref","is-referenced-by-count":14,"title":["Graph-Based Design and Analysis of Dynamic Software Architectures"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Bucchiarone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.entcs.2004.01.013","volume":"108","author":"N. Aguirre","year":"2004","unstructured":"Aguirre, N., Maibaum, T.S.E.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. Electr. Notes Theor. Comput. Sci.\u00a0108, 69\u201381 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Garlan","year":"1998","unstructured":"Garlan, D., Allen, R.B., Douence, R.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol.\u00a01382, Springer, Heidelberg (1998)"},{"key":"4_CR3","first-page":"155","volume-title":"Proceedings of WICSA 2004","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-based refinement of dynamic software architectures. In: Proceedings of WICSA 2004, pp. 155\u2013166. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11841883_22","volume-title":"Graph Transformations","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Spoletini, P.: On the use of Alloy to analyze graph transformation systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"4_CR5","series-title":"ENTCS","volume-title":"Proceedings of GTVC 2007","author":"R. Bruni","year":"2007","unstructured":"Bruni, R., Bucchiarone, A., Gnesi, S., Melgratti, H.: Modelling dynamic software architectures using typed graph grammars. In: Proceedings of GTVC 2007. ENTCS, Elsevier, Amsterdam (to appear)"},{"key":"4_CR6","volume-title":"Proceedings of WRLA 2008","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U.: Hierarchical design rewriting with Maude. In: Proceedings of WRLA 2008, Elsevier, Amsterdam (to appear, 2008)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","first-page":"186","volume-title":"Proceedings of TGC 2007","author":"R. Bruni","year":"2007","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Service oriented architectural design. In: TGC 2007. LNCS, vol.\u00a04912, pp. 186\u2013203. Springer, Heidelberg (2007)"},{"key":"4_CR8","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Style based reconfigurations of software architectures. Technical Report TR-07-17, Dipartimento di Informatica, Universit\u00e0 di Pisa (2007)"},{"key":"4_CR9","unstructured":"Bucchiarone, A., Galeotti, J.P.: Dynamic software architectures verification using DynAlloy. In: Proceedings of GT-VMT 2008 (to appear, 2008)"},{"key":"4_CR10","series-title":"IFIP Conference Proceedings","first-page":"107","volume-title":"Proceedings of WICSA 1999","author":"C. Canal","year":"1999","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Proceedings of WICSA 1999. IFIP Conference Proceedings, vol.\u00a0140, pp. 107\u2013126. Kluwer, Dordrecht (1999)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/3-540-45465-9_51","volume-title":"Automata, Languages and Programming","author":"L. Cardelli","year":"2002","unstructured":"Cardelli, L., Gardner, P., Ghelli, G.: A spatial logic for querying graphs. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, pp. 597\u2013610. Springer, Heidelberg (2002)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/BFb0000097","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"I. Castellani","year":"1983","unstructured":"Castellani, I., Montanari, U.: Graph grammars for distributed systems. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds.) Graph Grammars 1982. LNCS, vol.\u00a0153, pp. 20\u201338. Springer, Heidelberg (1983)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"4_CR14","volume-title":"Documenting Software Architectures: Views and Beyond","author":"P. Clements","year":"2002","unstructured":"Clements, P., Garlan, D., Bass, L., Stafford, J., Nord, R., Ivers, J., Little, R.: Documenting Software Architectures: Views and Beyond. Pearson Education, London (2002)"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1142\/9789812384720_0005","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"B. Courcelle","year":"1997","unstructured":"Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 313\u2013400. World Scientific, Singapore (1997)"},{"issue":"2\/3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/0022-0000(87)90032-8","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P., Montanari, U.: Concurrent histories: A basis for observing distributed systems. J. Comput. Syst. Sci.\u00a034(2\/3), 422\u2013461 (1987)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/23005.24038","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. J. ACM\u00a034(2), 411\u2013449 (1987)","journal-title":"J. ACM"},{"key":"4_CR18","unstructured":"Dynamic Software Architectures for Global Computing Systems, \n                    \n                      http:\/\/fmt.isti.cnr\/~antonio"},{"key":"4_CR19","first-page":"247","volume-title":"Handbook of Graph Grammars","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation - Part II: Single pushout approach and comparison with double pushout approach. In: Handbook of Graph Grammars, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"4_CR20","unstructured":"Endler, M.: A language for implementing generic dynamic reconfigurations of distributed programs. In: Proceedings of BSCN 1994, pp. 175\u2013187 (1994)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G.L. Ferrari","year":"2006","unstructured":"Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"key":"4_CR22","first-page":"442","volume-title":"Proceedings of ICSE 2005","author":"M. Frias","year":"2005","unstructured":"Frias, M., Galeotti, J., Pombo, C.L., Aguirre, N.: DynAlloy: Upgrading Alloy with actions. In: ICSE 2005, pp. 442\u2013450. ACM Press, New York (2005)"},{"issue":"2","key":"4_CR23","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0304-3975(01)00362-0","volume":"285","author":"F. Gadducci","year":"2002","unstructured":"Gadducci, F., Montanari, U.: Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci.\u00a0285(2), 319\u2013358 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR24","unstructured":"Habel, A.: Hyperedge Replacement: Grammars and Languages. Springer-Verlag New York, Inc., Secaucus, NJ, USA (1992)"},{"key":"4_CR25","series-title":"IFIP Conference Proceedings","volume-title":"WICSA 1999","author":"D. Hirsch","year":"1999","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Modeling software architectures and styles with graph grammars and constraint solving. In: WICSA 1999. IFIP Conference Proceedings, vol.\u00a0140, Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2004.02.059","volume":"109","author":"D. Hirsch","year":"2004","unstructured":"Hirsch, D., Montanari, U.: Shaped hierarchical architectural design. Electronic Notes on Theoretical Computer Science\u00a0109, 97\u2013109 (2004)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"4_CR27","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006)"},{"key":"4_CR28","unstructured":"Java\/A, \n                    \n                      http:\/\/www.pst.ifi.lmu.de\/Research\/current-projects\/java-a\/"},{"key":"4_CR29","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge (2003)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-75132-8_13","volume-title":"Software Architecture","author":"C. Jerad","year":"2007","unstructured":"Jerad, C., Barkaoui, K., Grissa-Touzi, A.: Hierarchical verification in Maude of LfP software architectures. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol.\u00a04758, pp. 156\u2013170. Springer, Heidelberg (2007)"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1145\/1141277.1141569","volume-title":"Proceedings of SAC 2006","author":"M.H. Kacem","year":"2006","unstructured":"Kacem, M.H., Kacem, A.H., Jmaiel, M., Drira, K.: Describing dynamic software architectures using an extended UML model. In: Proceedings of SAC 2006, pp. 1245\u20131249. ACM, New York (2006)"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1147249.1147259","volume-title":"Proceedings of ROSATEA 2006","author":"J.S. Kim","year":"2006","unstructured":"Kim, J.S., Garlan, D.: Analyzing architectural styles with Alloy. In: Proceedings of ROSATEA 2006, pp. 70\u201380. ACM Press, New York (2006)"},{"key":"4_CR33","unstructured":"K\u00f6nig, B., Montanari, U., Gardner, P. (eds.): Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, IBFI, Schloss Dagstuhl, Germany, June 6-11, 2004. Dagstuhl Seminar Proceedings, vol.\u00a004241 (2004), \n                    \n                      http:\/\/www.dagstuhl.de\/04241\/"},{"issue":"3","key":"4_CR34","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1093\/logcom\/exi015","volume":"15","author":"N. Mart\u00ed-Oliet","year":"2005","unstructured":"Mart\u00ed-Oliet, N., Pita, I., Fiadeiro, J.L., Meseguer, J., Maibaum, T.S.E.: A verification logic for rewriting logic. J. Log. Comput.\u00a015(3), 317\u2013352 (2005)","journal-title":"J. Log. Comput."},{"issue":"1","key":"4_CR35","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"4_CR36","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","volume":"373","author":"J. Meseguer","year":"2007","unstructured":"Meseguer, J., Rosu, G.: The rewriting logic semantics project. TCS\u00a0373(3), 213\u2013237 (2007)","journal-title":"TCS"},{"issue":"7","key":"4_CR37","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D.L. M\u00e9tayer","year":"1998","unstructured":"M\u00e9tayer, D.L.: Describing software architecture styles using graph grammars. IEEE Trans. Software Eng.\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR38","unstructured":"Sensoria Project, \n                    \n                      http:\/\/sensoria.fast.de\/"},{"key":"4_CR39","volume-title":"Software Architectures: Perspectives on an emerging discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architectures: Perspectives on an emerging discipline. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:41:08Z","timestamp":1558266068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}