{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T05:27:45Z","timestamp":1740634065860,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161667"},{"type":"electronic","value":"9783642161674"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16167-4_64","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:58:23Z","timestamp":1286971103000},"page":"501-508","source":"Crossref","is-referenced-by-count":0,"title":["Consistency Analysis of Dynamic Evolution of Software Architectures Using Constraint Hypergraph Grammars"],"prefix":"10.1007","author":[{"given":"Hongzhen","family":"Xu","sequence":"first","affiliation":[]},{"given":"Bin","family":"Tang","sequence":"additional","affiliation":[]},{"given":"Ying","family":"Gui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"64_CR1","unstructured":"Mens, T., Buckley, J., Zenger, M., Rashid, A.: Towards a taxonomy of software evolution. In: Proceedings of the International Workshop on Unanticipated Software Evolution, pp. 309\u2013326 (2003)"},{"issue":"5","key":"64_CR2","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1360\/03yf0192","volume":"47","author":"H. Gang","year":"2004","unstructured":"Gang, H., Hong, M., Fuqing, Y.: Runtime software architecture based on reflective middleware. Science in China Ser. F Information Sciences\u00a047(5), 555\u2013576 (2004)","journal-title":"Science in China Ser. F Information Sciences"},{"key":"64_CR3","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Hussein, M.: Software reconfiguration patterns for dynamic evolution of software architectures. In: Proceedings of the Fourth Working IEEE\/IFIP Conference on Software Architecture, pp. 79\u201388 (2004)","DOI":"10.1109\/WICSA.2004.1310692"},{"key":"64_CR4","unstructured":"Miladi, M.N., Jmaiel, M., Kacem, M.H.: A UML profile and a fujaba plugin for modelling dynamic software architectures. In: Proceedings of the Workshop on Model-Driven Software Evolution, pp. 20\u201326 (2007)"},{"key":"64_CR5","doi-asserted-by":"crossref","unstructured":"Kacem, M.H., Kacem, A.H., Jmaiel, M., Drira, K.: Describing dynamic software architectures using an extended UML model. In: Proceedings of Symposium on Applied Computing, pp. 1245\u20131249 (2006)","DOI":"10.1145\/1141277.1141569"},{"key":"64_CR6","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 3\u201314 (1996)","DOI":"10.1145\/250707.239104"},{"key":"64_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"issue":"4","key":"64_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1013886.1007514","volume":"29","author":"F. Oquendo","year":"2004","unstructured":"Oquendo, F.: \u03c0-ADL: an architecture description language based on the higher-order typed \u03c0-calculus for specifying dynamic and mobile software architectures. ACM Sigsoft Software Engineering Notes\u00a029(4), 1\u201314 (2004)","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"64_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11499909_6","volume-title":"Reliable Software Technology \u2013 Ada-Europe 2005","author":"T. Vergnaud","year":"2005","unstructured":"Vergnaud, T., Pautet, L., Kordon, F.: Using the AADL to describe distributed applications from middleware to software components. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol.\u00a03555, pp. 67\u201378. Springer, Heidelberg (2005)"},{"issue":"7","key":"64_CR10","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 Transactions on Software Engineering\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"64_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2008.04.073","volume":"213","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Bucchiarone, A., Gnesi, S., Melgratti, H.: Modelling dynamic software architectures using typed graph grammars. Electronic Notes in Theoretical Computer Science\u00a0213(1), 39\u201353 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"8","key":"64_CR12","doi-asserted-by":"publisher","first-page":"1881","DOI":"10.3724\/SP.J.1001.2008.01881","volume":"19","author":"X.X. Ma","year":"2008","unstructured":"Ma, X.X., Cao, C., Yu, P., Zhou, Y.: A supporting environment based on graph grammar for dynamic software architectures. Journal of Software\u00a019(8), 1881\u20131892 (2008)","journal-title":"Journal of Software"},{"key":"64_CR13","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Pelliccione, P., Vattani, C., Runge, O.: Self-Repairing systems modeling and verification using AGG. In: Proceedings of the Joint Working IEEE\/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp. 181\u2013190 (2009)","DOI":"10.1109\/WICSA.2009.5290804"},{"key":"64_CR14","doi-asserted-by":"crossref","unstructured":"Aguirre, N., Maibaum, T.: A temporal logic approach to the specification of reconfigurable component-based systems. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, pp. 271\u2013278 (2002)","DOI":"10.1109\/ASE.2002.1115028"},{"key":"64_CR15","doi-asserted-by":"crossref","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and Refinement of Dynamic Software Architectures. In: Proceedings of the TC2 First Working IFIP Conference on Software Architecture, pp. 107\u2013126 (1999)","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"64_CR16","doi-asserted-by":"crossref","unstructured":"Xu, H.Z., Zeng, G.S.: Description and verification of dynamic software architectures for distributed systems. Journal of Software\u00a05(7), 721\u2013728","DOI":"10.4304\/jsw.5.7.721-728"}],"container-title":["Lecture Notes in Computer Science","Information Computing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16167-4_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:15:41Z","timestamp":1740593741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16167-4_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161667","9783642161674"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16167-4_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}