{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:06Z","timestamp":1725512226146},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_33","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"389-399","source":"Crossref","is-referenced-by-count":2,"title":["Pushout: A Mathematical Model of Architectural Merger"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Solomon","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1109\/WICSA.2004.1310699","volume-title":"Proc. WICSA 2004: 4th Working International IEEE\/IFIP Conference on Software Architecture","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., et al.: Style-Based Refinement of Dynamic Software Architectures. In: Proc. WICSA 2004: 4th Working International IEEE\/IFIP Conference on Software Architecture, pp. 155\u2013164. IEEE Computer Society, Los Alamitos (2004)"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/978-3-540-24769-2_2","volume-title":"Software Architecture","author":"M. Caporuscio","year":"2004","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Formal Analysis of Architectural Patterns. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 10\u201324. Springer, Heidelberg (2004)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Dashofy, E.M., van der Hoek, A., Taylor, R.N.: Towards architecture-based self-healing systems. In: Proceedings of the first workshop on Self-healing systems, Charleston, South Carolina, pp. 21\u201326 (2002)","DOI":"10.1145\/582128.582133"},{"issue":"10","key":"33_CR4","first-page":"1408","volume":"10","author":"M. Denford","year":"2004","unstructured":"Denford, M., et al.: Architectural Abstraction as Transformation of Poset Labelled Graphs. Journal of Universal Computer Science (Special Issue on Formal Specification of Computer Based Systems)\u00a010(10), 1408\u20131428 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"33_CR5","volume-title":"UML Distilled","author":"M. Fowler","year":"2000","unstructured":"Fowler, M., Scott, K.: UML Distilled, 2nd edn. Addison Wesley Longman. Inc., Amsterdam (2000)","edition":"2"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Kazman, R., et al.: Scenario-Based Analysis of Software Architecture. IEEE Software, 47\u201355 (November 1996)","DOI":"10.1109\/52.542294"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Fahmy, H., Holt, R.C.: Software Architecture Transformations. In: ICSM 2000: International Conference on Software Maintenance, San Jose, CA (Oct. 2000)","DOI":"10.1109\/ICSM.2000.883020"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Fahmy, H., Holt, R.C.: Using Graph Rewriting to Specify Software Architectural Transformations. In: 15th IEEE International Conference on Automated Software Engineering (ASE\u201900), p. 187 (2000)","DOI":"10.1109\/ASE.2000.873663"},{"key":"33_CR9","first-page":"47","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"issue":"1","key":"33_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"33_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/BFb0014312","volume-title":"Algebraic Methodology and Software Technology","author":"A.E. Haxthausen","year":"1996","unstructured":"Haxthausen, A.E., Nickl, F.: Pushouts of Order-Sorted Algebraic Specifications. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 132\u2013148. Springer, Heidelberg (1996)"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Describing Software Architecture Styles Using Graph Grammars. IEEE Transactions on Software Engineering\u00a024(7) (1998)","DOI":"10.1109\/32.708567"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Moriconi, M., Qian, X.: Correctness and Composition of Software Architectures. In: Proceedings, ACM SIGSOFT\u201994, Symposium on Foundations of Software Engineering, New Orleans, Louisiana, December 1994, pp. 164\u2013174 (1994)","DOI":"10.1145\/193173.195403"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Niu, N., Easterbrook, S., Sabetzadeh, M.: A Category-theoretic Approach to Syntactic Software Merging. In: 21st IEEE International Conference on Software Maintenance, pp. 197\u2013206 (2005)","DOI":"10.1109\/ICSM.2005.6"},{"key":"33_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/3-540-18771-5_72","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"F. Parisi-Presicce","year":"1987","unstructured":"Parisi-Presicce, F., Ehrig, H., Montanari, U.: Graph rewriting with unification and composition. In: Ehrig, H., et al. (eds.) Graph Grammars 1986. LNCS, vol.\u00a0291, pp. 496\u2013514. Springer, Heidelberg (1987)"},{"key":"33_CR16","unstructured":"Google Groups Discussion Forum: comp.mail.eudora.ms-windows"},{"key":"33_CR17","unstructured":"The Attributed Graph Grammar System: http:\/\/tfs.cs.tu-berlin.de\/agg\/index.html Last Modified: 30 January 2006"},{"key":"33_CR18","unstructured":"Carnegie Mellon University, Software Engineering Institute, http:\/\/www.sei.cmu.edu\/architecture\/adl.html Last Modified: 31 August 2005."}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:04Z","timestamp":1605762664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_33","relation":{},"subject":[]}}