{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:50Z","timestamp":1725484610737},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_7","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:17:36Z","timestamp":1180491456000},"page":"40-55","source":"Crossref","is-referenced-by-count":6,"title":["Exogenous and Endogenous Extensions of Architectural Types"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bernardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Franz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/226241.226244","volume":"4","author":"G.D. Abowd","year":"1995","unstructured":"G.D. Abowd, R. Allen, D. Garlan, \u201cFormalizing Style to Understand Descriptions of Software Architecture\u201d, in ACM Trans. on Software Engineering and Methodology 4:319\u2013364, 1995","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen, D. Garlan, \u201cA Formal Basis for Architectural Connection\u201d, in ACM Trans. on Software Engineering and Methodology 6:213\u2013249, 1997","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"7_CR3","unstructured":"R. Allen, D. Garlan, \u201cA Case Study in Architectural Modelling: The AEGIS System\u201d, in Proc. of IWSSD-8, 1998"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"M. Bernardo, P. Ciancarini, L. Donatiello, \u201cOn the Formalization of Architectural Types with Process Algebras\u201d, in Proc. of FSE-8, 2000","DOI":"10.1145\/355045.355064"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"M. Bernardo, P. Ciancarini, L. Donatiello, \u201cDetecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems\u201d, in Proc. of WICSA 2001","DOI":"10.1109\/WICSA.2001.948411"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1109\/32.385969","volume":"21","author":"T.R. Dean","year":"1995","unstructured":"T.R. Dean, J.R. Cordy, \u201cA Syntactic Theory of Software Architecture\u201d, in IEEE Trans. on Software Engineering 21:302\u2013313, 1995","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR7","unstructured":"R. Milner, \u201cCommunication and Concurrency\u201d, Prentice Hall, 1989"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"M. Moriconi, X. Qian, R.A. Riemenschneider, \u201cCorrect Architecture Refinement\u201d, in IEEE Trans. on Software Engineering 21:356\u2013372, 1995","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"D.E. Perry, A.L. Wolf, \u201cFoundations for the Study of Software Architecture\u201d, in ACM SIGSOFT Software Engineering Notes 17:40\u201352, 1992","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"7_CR10","unstructured":"M. Shaw, D. Garlan, \u201cSoftware Architecture: Perspectives on an Emerging Discipline\u201d, Prentice Hall, 1996"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:22:34Z","timestamp":1550362954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}