{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T03:40:01Z","timestamp":1747539601355,"version":"3.40.5"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319152004"},{"type":"electronic","value":"9783319152011"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15201-1_10","type":"book-chapter","created":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T14:31:11Z","timestamp":1422714671000},"page":"147-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modelling and Verifying Smell-Free Architectures with the Archery Language"],"prefix":"10.1007","author":[{"given":"Alejandro","family":"Sanchez","sequence":"first","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2007.2","volume":"24","author":"M Aberdour","year":"2007","unstructured":"Aberdour, M.: Achieving quality in open-source software. Softw. IEEE 24(1), 58\u201364 (2007)","journal-title":"Softw. IEEE"},{"key":"10_CR2","unstructured":"Barbosa, L.S., Henriquez, P.R., Sanchez, A.: Towards rigorous analysis of open source software. In: Proceedings of the 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2011, University of Oslo (2011)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/11787006_46","volume-title":"Automata, Languages and Programming","author":"PA Bonatti","year":"2006","unstructured":"Bonatti, P.A., Lutz, C., Murano, A., Vardi, M.Y.: The complexity of enriched $$\\mu $$-calculi. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4052, pp. 540\u2013551. Springer, Heidelberg (2006)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bowman, I.T., Holt, R.C., Brewster, N.V.: Linux as a case study: its extracted software architecture. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 555\u2013563. ACM, New York (1999)","DOI":"10.1145\/302405.302691"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Garcia, J., Popescu, D., Edwards, G., Medvidovic, N.: Identifying architectural bad smells. In: Proceedings of the 2009 European Conference on Software Maintenance and Reengineering, CSMR 2009, pp. 255\u2013258. IEEE Computer Society, Washington, DC (2009)","DOI":"10.1109\/CSMR.2009.59"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-02351-4_10","volume-title":"Architectures for Adaptive Software Systems","author":"J Garcia","year":"2009","unstructured":"Garcia, J., Popescu, D., Edwards, G., Medvidovic, N.: Toward a catalogue of architectural bad smells. In: Mirandola, R., Gorton, I., Hofmeister, C. (eds.) QoSA 2009. LNCS, vol. 5581, pp. 146\u2013162. Springer, Heidelberg (2009)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proceedings of the 22Nd International Conference on Software Engineering, ICSE 2000, pp. 178\u2013187. ACM, New York (2000)","DOI":"10.1145\/337180.337201"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Sanchez, A., Barbosa, L.S., Riesco, D.: A language for behavioural modelling of architectural patterns. In: Proceedings of the Third Workshop on Behavioural Modelling, BM-FA 2011, pp. 17\u201324. ACM, New York (2011)","DOI":"10.1145\/1993956.1993959"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-35743-5_19","volume-title":"Formal Aspects of Component Software","author":"A Sanchez","year":"2012","unstructured":"Sanchez, A., Barbosa, L.S., Riesco, D.: Bigraphical modelling of architectural patterns. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 313\u2013330. Springer, Heidelberg (2012)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Sanchez, A., Barbosa, L.S., Riesco, D.: Verifying bigraphical models of architectural reconfigurations (short paper). In: Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, UK. IEEE (2013)","DOI":"10.1109\/TASE.2013.25"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Sanchez, A., Barbosa, L.S., Riesco, D.: Specifying structural constraints of architectural patterns in the ARCHERY language. In: Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2014 (ICNAAM 2014): Symposium on Computer Languages, Implementations and Tools (SCLIT). AIP Proceedings (2014, to appear)","DOI":"10.1063\/1.4912561"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1016\/j.scico.2014.02.026","volume":"98","author":"A Sanchez","year":"2014","unstructured":"Sanchez, A., Oliveira, N., Barbosa, L.S., Henriques, P.: A perspective on architectural re-engineering. Sci. Comput. Program. 98, 764\u2013784 (2014)","journal-title":"Sci. Comput. Program."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Tatebe, O., Morita, Y., Matsuoka, S., Soda, N., Sekiguchi, S.: Grid datafarm architecture for petascale data intensive computing. In: 2nd IEEE\/ACM International Symposium on Cluster Computing and the Grid, May 2002, pp. 102\u2013102 (2002)","DOI":"10.1109\/CCGRID.2002.1017117"},{"key":"10_CR14","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"RN Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley, Chichester (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15201-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T03:09:13Z","timestamp":1747537753000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15201-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319152004","9783319152011"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15201-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}