{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:51Z","timestamp":1725558951122},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253273"},{"type":"electronic","value":"9783540319597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31959-7_1","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T18:17:02Z","timestamp":1278526622000},"page":"1-27","source":"Crossref","is-referenced-by-count":6,"title":["Behavior-Preserving Refinement Relations Between Dynamic Software Architectures"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Th\u00f6ne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-46852-8_3","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"M. Abi-Antoun","year":"1999","unstructured":"Abi-Antoun, M., Medvidovic, N.: Enabling the refinement of a software architecture into a design. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 17\u201331. Springer, Heidelberg (1999)"},{"issue":"5","key":"1_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/167049.167055","volume":"18","author":"G.D. Abowd","year":"1993","unstructured":"Abowd, G.D., Allen, R., Garlan, D.: Using style to understand descriptions of software architectures. ACM Software Engineering Notes\u00a018(5), 9\u201320 (1993)","journal-title":"ACM Software Engineering Notes"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/940071.940082","volume-title":"Proc. European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE 2003","author":"L. Baresi","year":"2003","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: Application vs. style. In: Proc. European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE 2003, pp. 68\u201377. ACM Press, New York (2003)"},{"unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-based modeling and refinement of service-oriented architectures. Technical Report TR-RI-04-250, University of Paderborn (2004), ftp:\/\/ftp.upb.de\/doc\/techreports\/Informatik\/tr-ri-04-250.pdf","key":"1_CR4"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1109\/WICSA.2004.1310699","volume-title":"Proc. 4 th Working IEEE\/IFIP Conference on Software Architecture, 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: Proc. 4 th Working IEEE\/IFIP Conference on Software Architecture, WICSA 2004, pp. 155\u2013164. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/ICSE.2003.1201199","volume-title":"Proc. ICSE 2003 \u2013 Int. Conference on Software Engineering","author":"D. Batory","year":"2003","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. In: Proc. ICSE 2003 \u2013 Int. Conference on Software Engineering, pp. 187\u2013197. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"1_CR7","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier Science, Amsterdam (2001)"},{"unstructured":"Bolusset, T., Oquendo, F.: Formal refinement of software architectures based on rewriting logic. In: Proc. RCS 2002 Int. Workshop on Refinement of Critical Systems (2002), www-lsr.imag.fr\/zb2002\/","key":"1_CR8"},{"key":"1_CR9","series-title":"IFIP Conference Proceedings","first-page":"107","volume-title":"Proc. WICSA1, First Working IFIP Conference on Software Architecture","author":"C. Canal","year":"1999","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Proc. WICSA1, First Working IFIP Conference on Software Architecture. IFIP Conference Proceedings, vol.\u00a0140, pp. 107\u2013126. Kluwer, Dordrecht (1999)"},{"issue":"3,4","key":"1_CR10","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(3,4), 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR11","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation; basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. Foundations, World Scientific, Singapore (1997)"},{"unstructured":"Denford, M., O\u2019Neill, T., Leaney, J.: Architecture-based design of computer based systems. In: Proc. StraW 2003, Int. Workshop From Software Requirements to Architectures (2003), http:\/\/www.se.uwaterloo.ca\/~straw03\/","key":"1_CR12"},{"key":"1_CR13","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02, Applications, Languages and Tools. World Scientific, Singapore (1999)"},{"key":"1_CR14","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 Computer Society Press, Los Alamitos (1973)"},{"unstructured":"Andrews, T., et al.: Specification: Business Process Execution Language for Web Services Version 1.1. BEA, IBM, Microsoft, SAP AG and Siebel Systems (2003), http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/","key":"1_CR15"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/243327.243607","volume-title":"Proc. ISAW-2, 2nd Int. Software Architecture Workshop on SIGSOFT 1996","author":"D. Garlan","year":"1996","unstructured":"Garlan, D.: Style-based refinement for software architecture. In: Proc. ISAW-2, 2nd Int. Software Architecture Workshop on SIGSOFT 1996, pp. 72\u201375. ACM Press, New York (1996)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1016\/B978-044482830-9\/50034-5","volume-title":"Handbook of Process Algebra","author":"R. Gorrieri","year":"2001","unstructured":"Gorrieri, R., Rensink, A.: Action refinement. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 1047\u20131147. Elsevier, Amsterdam (2001)"},{"key":"1_CR18","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., Presicce, F.P., 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, pp. 553\u2013561. Springer, Heidelberg (1998)"},{"unstructured":"Object\u00a0Management Group. The UML website, http:\/\/www.uml.org","key":"1_CR19"},{"key":"1_CR20","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. Struct. in Computer Science\u00a06, 613\u2013648 (1996)","journal-title":"Math. Struct. in Computer Science"},{"unstructured":"Hirsch, D.: Graph transformation models for software architecture styles. PhD thesis, Departamento de Computaci\u00f3n, Universidad de Buenos Aires (2003)","key":"1_CR21"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44685-0_9","volume-title":"CONCUR 2001 - Concurrency Theory","author":"D. Hirsch","year":"2001","unstructured":"Hirsch, D., Montanari, U.: Synchronized hyperedge replacement with name mobility. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 121\u2013136. Springer, Heidelberg (2001)"},{"issue":"5","key":"1_CR23","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR24","series-title":"ACM Software Engineering Notes","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/239098.239105","volume-title":"Proc. 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"D. M\u00e9tayer Le","year":"1996","unstructured":"Le M\u00e9tayer, D.: Software architecture styles as graph grammars. In: Proc. 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Software Engineering Notes, vol.\u00a0216, pp. 15\u201323. ACM Press, New York (1996)"},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct architecture refinement. IEEE Transactions on Software Engineering\u00a021(4), 356\u2013372 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Object Management Group. Model-Driven Architecture, http:\/\/www.omg.org\/mda\/","key":"1_CR26"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-45221-8_8","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"\u00c1. Schmidt","year":"2003","unstructured":"Schmidt, \u00c1., Varr\u00f3, D.: CheckVML: A tool for model checking visual modeling languages. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 92\u201395. Springer, Heidelberg (2003)"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"1_CR30","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-46464-8_13","volume-title":"Theory and Application of Graph Transformations","author":"G. Taentzer","year":"2000","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 179\u2013193. Springer, Heidelberg (2000)"},{"key":"1_CR32","series-title":"ENTCS","first-page":"57","volume-title":"Proc. GT-VMT 2002 - Int. Workshop on Graph Transformation and Visual Modeling Techniques","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D.: Towards symbolic analysis of visual modeling languages. In: Proc. GT-VMT 2002 - Int. Workshop on Graph Transformation and Visual Modeling Techniques. ENTCS, vol.\u00a072, pp. 57\u201370. Elsevier, Amsterdam (2002)"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M. Wermelinger","year":"2002","unstructured":"Wermelinger, M., Fiadero, J.L.: A graph transformation approach to software architecture reconfiguration. Science of Computer Programming\u00a044(2), 133\u2013155 (2002)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"1_CR34","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: Program development by stepwise refinement. Communications of the ACM\u00a014(4), 221\u2013227 (1971)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31959-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:31:47Z","timestamp":1605760307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31959-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253273","9783540319597"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31959-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}