{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:50Z","timestamp":1725557810867},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201946"},{"type":"electronic","value":"9783540451914"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45191-4_5","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:19:15Z","timestamp":1277317155000},"page":"178-221","source":"Crossref","is-referenced-by-count":21,"title":["Chapter 5. A Mathematical Semantics for Architectural Connectors"],"prefix":"10.1007","author":[{"given":"J. L.","family":"Fiadeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Lopes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wermelinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/3-540-46852-8_40","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"L.F. Andrade","year":"1999","unstructured":"Andrade, L.F., Fiadeiro, J.L.: Interconnecting Objects via Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 566\u2013583. Springer, Heidelberg (1999)"},{"key":"5_CR3","first-page":"1","volume-title":"Practical Foundations of Business and System Specifications","author":"L. Andrade","year":"2003","unstructured":"Andrade, L., Fiadeiro, J.L.: Service-Oriented Business and System Specification: Beyond Object-orientation. In: Kilov, H., Baclwaski, K. (eds.) Practical Foundations of Business and System Specifications, pp. 1\u201323. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45263-X_22","volume-title":"Coordination Languages and Models","author":"L.F. Andrade","year":"2000","unstructured":"Andrade, L.F., Fiadeiro, J.L., Gouveia, J., Lopes, A., Wermelinger, M.: Patterns for Coordination. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 317\u2013322. Springer, Heidelberg (2000)"},{"issue":"1","key":"5_CR5","first-page":"55","volume":"16","author":"J.P. Ban\u00e2tre","year":"1993","unstructured":"Ban\u00e2tre, J.P., Le M\u00e9tayer, D.: Programming by Multiset Transformation. Communications ACM\u00a016(1), 55\u201377 (1993)","journal-title":"Communications ACM"},{"key":"5_CR6","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison Wesley, Reading (1998)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bosch, J.: Superimposition: A Component Adaptation Technique. Information and Software Technology (1999)","DOI":"10.1016\/S0950-5849(99)00007-5"},{"key":"5_CR8","volume-title":"Parallel Program Design - A Foundation","author":"K. Chandy","year":"1988","unstructured":"Chandy, K., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley, Reading (1988)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/222124.222141","volume-title":"Proc. 3rd Symp. on Foundations of Software Engineering","author":"J.L. Fiadeiro","year":"1995","unstructured":"Fiadeiro, J.L., Maibaum, T.: Interconnecting Formalisms: supporting modularity, reuse and incrementality. In: Kaiser, G.E. (ed.) Proc. 3rd Symp. on Foundations of Software Engineering, pp. 72\u201380. ACM Press, New York (1995)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/IWSSD.1996.501146","volume-title":"Proc. 8th International Workshop on Software Specification and Design","author":"J.L. Fiadeiro","year":"1996","unstructured":"Fiadeiro, J.L., Maibaum, T.: A Mathematical Toolbox for the Software Architect. In: Kramer, J., Wolf, A. (eds.) Proc. 8th International Workshop on Software Specification and Design, pp. 46\u201355. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design. Science of Computer Programming\u00a028, 111\u2013138 (1997)","journal-title":"Science of Computer Programming"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","first-page":"505","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"J.L. Fiadeiro","year":"1997","unstructured":"Fiadeiro, J.L., Lopes, A.: Semantics of Architectural Connectors. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 505\u2013519. Springer, Heidelberg (1997)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-49253-4_22","volume-title":"Algebraic Methodology and Software Technology","author":"J.L. Fiadeiro","year":"1998","unstructured":"Fiadeiro, J.L., Lopes, A.: Algebraic Semantics of Coordination, or what is in a signature? In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, p. 293. Springer, Heidelberg (1998)"},{"key":"5_CR14","volume-title":"Interacting Processes","author":"N. Francez","year":"1996","unstructured":"Francez, N., Forman, I.: Interacting Processes. Addison-Wesley, Reading (1996)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM\u00a035(2), 97\u2013107 (1992)","journal-title":"Communications ACM"},{"key":"5_CR16","unstructured":"Goguen, J.: Categorical Foundations for General Systems Theory. In: Pichler, F., Trappl, R. (eds.) Advances in Cybernetics and Systems Research, Transcripta Books, pp. 121\u2013130 (1973)"},{"key":"5_CR17","first-page":"159","volume-title":"Software Reusability","author":"J. Goguen","year":"1989","unstructured":"Goguen, J.: Principles of Parametrised Programming. In: Biggerstaff, Perlis (eds.) Software Reusability, pp. 159\u2013225. Addison-Wesley, Reading (1989)"},{"key":"5_CR18","volume-title":"Symposium on Software Reusability","author":"J. Goguen","year":"1996","unstructured":"Goguen, J.: Parametrised Programming and Software Architecture. In: Symposium on Software Reusability, IEEE, Los Alamitos (1996)"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"issue":"2","key":"5_CR20","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S. Katz","year":"1993","unstructured":"Katz, S.: A Superimposition Control Construct for Distributed Systems. ACM TOPLAS\u00a015(2), 337\u2013356 (1993)","journal-title":"ACM TOPLAS"},{"key":"5_CR21","unstructured":"Lopes, A.: N\u00e3o-determinismo e Composicionalidade na Especifica\u00e7\u00e3o de Sistemas Reactivos, PhD Thesis (in Portuguese), Universidade de Lisboa (January 1999)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-49020-3_10","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Lopes","year":"1999","unstructured":"Lopes, A., Fiadeiro, J.L.: Using explicit state to describe architectures. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol.\u00a01577, pp. 144\u2013160. Springer, Heidelberg (1999)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-45719-4_29","volume-title":"Algebraic Methodology and Software Technology","author":"A. Lopes","year":"2002","unstructured":"Lopes, A., Fiadeiro, J.L.: Revising the Categorical Approach to Systems. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 426\u2013440. Springer, Heidelberg (2002)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45645-7_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Lopes","year":"2002","unstructured":"Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Compositional Approach to Connector Construction. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 201\u2013220. Springer, Heidelberg (2002)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., Sloman, M.: Constructing Distributed Systems in Conic. IEEE TOSE\u00a015(6) (1989)","DOI":"10.1109\/32.24720"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/193173.195403","volume-title":"Proc. Second Symposium on the Foundations of Software Engineering","author":"M. Moriconi","year":"1994","unstructured":"Moriconi, M., Qian, X.: Correctness and Composition of Software Architectures. In: Proc. Second Symposium on the Foundations of Software Engineering, pp. 164\u2013174. ACM Press, New York (1994)"},{"issue":"4","key":"5_CR27","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-57208-2_7","volume-title":"CONCUR\u201993","author":"V. Sassone","year":"1993","unstructured":"Sassone, V., Nielsen, M., Winskel, G.: A Classification of Models for Concurrency. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 82\u201396. Springer, Heidelberg (1993)"},{"issue":"5","key":"5_CR29","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"Wermelinger, M., Fiadeiro, J.L.: Connectors for Mobile Programs. IEEE Transactions on Software Engineering\u00a024(5), 331\u2013341 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/IWSSD.1998.667928","volume-title":"Proc. 9th International Workshop on Software Specification and Design","author":"M. Wermelinger","year":"1998","unstructured":"Wermelinger, M., Fiadeiro, J.L.: Towards an Algebra of Architectural Connectors: a Case Study on Synchronisation for Mobility. In: Proc. 9th International Workshop on Software Specification and Design, pp. 135\u2013142. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","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":"Wermelinger, M., Fiadeiro, J.L.: Algebraic Software Architecture Reconfiguration. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 393\u2013409. Springer, Heidelberg (1999)"},{"key":"5_CR32","first-page":"87","volume-title":"Proc. 10th International Workshop on Software Specification and Design","author":"M. Wermelinger","year":"2000","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: Superposing Connectors. In: Proc. 10th International Workshop on Software Specification and Design, pp. 87\u201394. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/503209.503213","volume-title":"ESEC\/FSE 2001","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: Gruhn, V. (ed.) ESEC\/FSE 2001, pp. 21\u201332. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Generic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45191-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:52:59Z","timestamp":1559199179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45191-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201946","9783540451914"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45191-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}