{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:36Z","timestamp":1725549516485},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253044"},{"type":"electronic","value":"9783540318620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31862-0_6","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:28:55Z","timestamp":1268400535000},"page":"52-67","source":"Crossref","is-referenced-by-count":7,"title":["Specifying Software Connectors"],"prefix":"10.1007","author":[{"given":"Marco Antonio","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"6_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 connection. ACM TOSEM\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F. Arbab","year":"2003","unstructured":"Arbab, F.: Abstract behavior types: A foundation model for components and their composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 33\u201370. Springer, Heidelberg (2003)"},{"key":"#cr-split#-6_CR4.1","doi-asserted-by":"crossref","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors, CWI Tech. Rep. SEN-R0216. CWI, Amsterdam (2002);","DOI":"10.1007\/978-3-540-40020-2_2"},{"key":"#cr-split#-6_CR4.2","unstructured":"To appear in the proceedings of WADT 2002"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/978-0-387-35520-7_20","volume-title":"FMOODS - Formal Methods for Open Object-Oriented Distributed Systems","author":"L.S. Barbosa","year":"2000","unstructured":"Barbosa, L.S.: Components as processes: An exercise in coalgebraic modeling. In: Smith, S.F., Talcott, C.L. (eds.) FMOODS - Formal Methods for Open Object-Oriented Distributed Systems, September 2000, pp. 397\u2013417. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"8","key":"6_CR6","first-page":"891","volume":"9","author":"L.S. Barbosa","year":"2003","unstructured":"Barbosa, L.S.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science\u00a09(8), 891\u2013909 (2003)","journal-title":"Journal of Universal Computer Science"},{"issue":"7","key":"6_CR7","first-page":"808","volume":"10","author":"M.A. Barbosa","year":"2004","unstructured":"Barbosa, M.A., Barbosa, L.S.: A Relational Model for Component Interconnection. Journal of Universal Computer Science\u00a010(7), 808\u2013823 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"6_CR8","first-page":"189","volume-title":"Foundations of Component-Based Systems","author":"K. Bergner","year":"2000","unstructured":"Bergner, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M.: A Formal Model for Componentware. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 189\u2013210. Cambridge University Press, Cambridge (2000)"},{"key":"6_CR9","series-title":"Series in Computer Science","volume-title":"The algebra of programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., Moor, O.: The algebra of programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M.: Semantics of finite and infinite networks of communicating agents. Distributed Computing\u00a02 (1987)","DOI":"10.1007\/BF01786252"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Costa, G., Reggio, G.: Specification of abstract dynamic data types: A temporal logic approach. Theor. Comp. Sci.\u00a0173(2) (1997)","DOI":"10.1016\/S0304-3975(96)00165-X"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","first-page":"505","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"J. Fiadeiro","year":"1997","unstructured":"Fiadeiro, J., 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)"},{"issue":"35","key":"6_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"2","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carrier, N.: Coordination languages and their significance. Communication of the ACM\u00a02(35), 97\u2013107 (1992)","journal-title":"Communication of the ACM"},{"key":"6_CR14","unstructured":"Grimes, R.: Profissional dcom programming. Wrox Press (1997)"},{"key":"6_CR15","unstructured":"Jifeng, H., Zhiming, L., Xiaoshan, L.: A contract-oriented approach to component-based programming. In: Liu, Z. (ed.) Proc. of FACS 2003, Formal Approaches to Component Software, Pisa (September 2003)"},{"key":"6_CR16","volume-title":"Applying entreprise javabeans: Component-based development for the j2ee platform","author":"V. Matena","year":"2000","unstructured":"Matena, V., Stearns, B.: Applying entreprise javabeans: Component-based development for the j2ee platform. Addison-Wesley, Reading (2000)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-27815-3_38","volume-title":"Algebraic Methodology and Software Technology","author":"S. Meng","year":"2004","unstructured":"Meng, S., Barbosa, L.S.: On refinement of generic state-based software components. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 506\u2013520. Springer, Heidelberg (2004)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-540-39656-7_14","volume-title":"Formal Methods for Components and Objects","author":"O. Nierstrasz","year":"2003","unstructured":"Nierstrasz, O., Achermann, F.: A calculus for modeling software components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 339\u2013360. Springer, Heidelberg (2003)"},{"key":"6_CR19","first-page":"3","volume-title":"Component-oriented software technology","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O., Dami, L.: Object-Oriented Software Composition. In: Nierstrasz, O., Tsichritzis, D. (eds.) Component-oriented software technology, pp. 3\u201328. Prentice-Hall International, Englewood Cliffs (1995)"},{"key":"6_CR20","volume-title":"Jini in a nutshell","author":"S. Oaks","year":"2000","unstructured":"Oaks, S., Wong, H.: Jini in a nutshell. O\u2019Reilly and Associates, Sebastopol (2000)"},{"key":"6_CR21","first-page":"329","volume":"46","author":"G. Papadopoulos","year":"1998","unstructured":"Papadopoulos, G., Arbab, F.: Coordination models and languages, Advances in Computers. The Engineering of Large Systems\u00a046, 329\u2013400 (1998)","journal-title":"The Engineering of Large Systems"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Rutten, J.: Elements of stream calculus (an extensive exercise in coinduction), Tech. report. CWI, Amsterdam (2001)","DOI":"10.1016\/S1571-0661(04)80972-1"},{"key":"6_CR23","first-page":"13","volume-title":"Software Architectures - Advances and Applications","author":"J.-G. Schneider","year":"1999","unstructured":"Schneider, J.-G., Nierstrasz, O.: Components, scripts, glue. In: Barroca, L., Hall, J., Hall, P. (eds.) Software Architectures - Advances and Applications, pp. 13\u201325. Springer, Heidelberg (1999)"},{"key":"6_CR24","volume-title":"CORBA: Fundamentals and programming","author":"R. Siegel","year":"1997","unstructured":"Siegel, R.: CORBA: Fundamentals and programming. John Wiley & Sons Inc., Chichester (1997)"},{"key":"6_CR25","volume-title":"Component software, beyond object-oriented programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component software, beyond object-oriented programming. Addison-Wesley, Reading (1998)"},{"issue":"5","key":"6_CR26","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"Wermelinger, M., Fiadeiro, J.: Connectors for mobile programs. IEEE Trans. on Software Eng.\u00a024(5), 331\u2013341 (1998)","journal-title":"IEEE Trans. on Software Eng."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31862-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:30:04Z","timestamp":1605760204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31862-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253044","9783540318620"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31862-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}