{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:22:07Z","timestamp":1737091327085,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_10","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"201-220","source":"Crossref","is-referenced-by-count":6,"title":["A Compositional Approach to Connector Construction"],"prefix":"10.1007","author":[{"given":"Ant\u00f3nia","family":"Lopes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Wermelinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3):213\u2013249, July 1997.","journal-title":"ACM TOSEM"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"G. Denker, J. Meseguer and C. Talcott, \u201cRewriting semantics of meta-objects and composable distributed services\u201d, Internal report, Computer Science Laboratory, SRI International, 1999.","DOI":"10.1016\/S1571-0661(05)80132-X"},{"key":"10_CR4","unstructured":"J.L. Fiadeiro, A. Lopes and M. Wermelinger, "A Mathematical Semantics for Architectural Connectors". Submitted for publication (available at http:\/\/www.fiadeiro.org\/jose\/papers )"},{"key":"10_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48483-3","volume-title":"AMAST\u201998","author":"J.L. Fiadeiro","year":"1999","unstructured":"J.L. Fiadeiro and A. Lopes, "Algebraic Semantics of Coordination, or what is in a signature?", in AMAST\u201998, A. Haeberer (ed), LNCS 1548, Springer-Verlag 1999."},{"key":"10_CR6","series-title":"Lect Notes Comput Sci","first-page":"505","volume-title":"TAPSOFT\u201997","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and A. Lopes, "Semantics of Architectural Connectors", in TAPSOFT\u201997, LNCS 1214, Springer-Verlag 1997, 505\u2013519."},{"key":"10_CR7","unstructured":"N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996."},{"key":"10_CR8","unstructured":"D. Garlan, "Higher-Order Connectors", Presented at the Workshop on Compositional Software Architectures, Monterey, CA, January 6\u20137, 1998."},{"key":"10_CR9","unstructured":"D. Garlan and B. Spitznagel, "Toward compositional construction of complex connectors", Proceedings of the Eighth International Symposium on the Foundations of Software Engineering (FSE-8), November 2000."},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S. Katz","year":"1993","unstructured":"S. Katz, "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2):337\u2013356, 1993.","journal-title":"ACM TOPLAS"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"N. Mehta, N. Medvidovic and S. Phadke, "Towards a taxonomy of software connectors", Proc. of 22nd International Conference on Software Engineering, ACM Press, 2000, 178\u2013187.","DOI":"10.1145\/337180.337201"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"M. Wermelinger, A. Lopes and J.L. Fiadeiro, "Superposing Connectors", in Proc. 10th International Workshop on Software Specification and Design, IEEE Computer Society Press 2000, 87\u201394. (also available at http:\/\/ctp.di.fct.unl.pt\/~mw\/proj\/fast\/index.html )","DOI":"10.1109\/IWSSD.2000.891129"},{"issue":"5","key":"10_CR13","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"M. Wermelinger and J. L. Fiadeiro, "Connectors for mobile programs", IEEE Trans. on Software Eng., 24(5):331\u2013341, May 1998.","journal-title":"IEEE Trans. on Software Eng."},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-48166-4_24","volume-title":"Software Engineering-ESEC\/FSE\u201999","author":"M. Wermelinger","year":"1999","unstructured":"M. Wermelinger and J.L. Fiadeiro, "Algebraic Software Architecture Reconfiguration", in Software Engineering-ESEC\/FSE\u201999, LNCS 1687, pp. 393\u2013409, Springer-Verlag 1999."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"M. Wermelinger, A. Lopes and J.L. Fiadeiro, "A Graph Based Architectural (Re)configuration Language", Proc. ESEC\/FSE\u201901, ACM Press, 2001. In print.","DOI":"10.1145\/503209.503213"}],"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\/3-540-45645-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:48:22Z","timestamp":1737053302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}