{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:23Z","timestamp":1772163923237,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9]]},"DOI":"10.1145\/1081706.1081767","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"377-380","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A refinement calculus for software components and architectures"],"prefix":"10.1145","author":[{"given":"Marco Antonio","family":"Barbosa","sequence":"first","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36578-8_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39656-7_2"},{"key":"e_1_3_2_1_4_1","first-page":"35","volume-title":"A coinductive calculus of component connectors","author":"Arbab F.","year":"2003","unstructured":"F. Arbab and J. Rutten . A coinductive calculus of component connectors . pages 35 -- 56 . Springer Lect . Notes Comp. Sci. (2755), 2003 .]] F. Arbab and J. Rutten. A coinductive calculus of component connectors. pages 35--56. Springer Lect. Notes Comp. Sci. (2755), 2003.]]"},{"key":"e_1_3_2_1_5_1","first-page":"28","volume-title":"LNCS","volume":"1608","author":"Backhouse R.","year":"1999","unstructured":"R. Backhouse , P. Jansson , J. Jeuring , and L. Meertens . Generic programming --- an introduction . In LNCS , volume 1608 , pages 28 -- 115 . Springer-Verlag , 1999 . Revised version of lecture notes for AFP'98.]] R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming --- an introduction. In LNCS, volume 1608, pages 28--115. Springer-Verlag, 1999. Revised version of lecture notes for AFP'98.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647099.717166"},{"key":"e_1_3_2_1_7_1","first-page":"397","volume-title":"FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems","author":"Barbosa L. S.","year":"2000","unstructured":"L. S. Barbosa . Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors , FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems , pages 397 -- 417 . Kluwer Academic Publishers , September 2000 .]] L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems, pages 397--417. Kluwer Academic Publishers, September 2000.]]"},{"issue":"8","key":"e_1_3_2_1_8_1","first-page":"891","article-title":"Towards a Calculus of State-based Software Components","volume":"9","author":"Barbosa L. S.","year":"2003","unstructured":"L. S. Barbosa . Towards a Calculus of State-based Software Components . Journal of Universal Computer Science , 9 ( 8 ): 891 -- 909 , August 2003 .]] L. S. Barbosa. Towards a Calculus of State-based Software Components. Journal of Universal Computer Science, 9(8):891--909, August 2003.]]","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_9_1","volume-title":"State-based components made generic","author":"Barbosa L. S.","year":"2003","unstructured":"L. S. Barbosa and J. N. Oliveira . State-based components made generic . In H. P. Gumm, editor, CMCS'03, Elect. Notes in Theor. Comp. Sci., volume 82 .1. Elsevier , 2003 .]] L. S. Barbosa and J. N. Oliveira. State-based components made generic. In H. P. Gumm, editor, CMCS'03, Elect. Notes in Theor. Comp. Sci., volume 82.1. Elsevier, 2003.]]"},{"issue":"7","key":"e_1_3_2_1_10_1","first-page":"808","volume":"10","author":"Barbosa M.","year":"2004","unstructured":"M. Barbosa and L. Barbosa . A Relational Model for Component Interconnection. Journal of Universal Computer Science , 10 ( 7 ): 808 -- 823 , July 2004 .]] M. Barbosa and L. Barbosa. A Relational Model for Component Interconnection. Journal of Universal Computer Science, 10(7):808--823, July 2004.]]","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_11_1","first-page":"53","volume-title":"Specifying software connectors","author":"Barbosa M. A.","year":"2004","unstructured":"M. A. Barbosa and L. S. Barbosa . Specifying software connectors . In K. Araki and Z. Liu, editors, 1st International Colloquium on Theorectical Aspects of Computing (ICTAC'04), pages 53 -- 68 , Guiyang, China, September 2004 . Springer Lect . Notes Comp. Sci. (3407).]] M. A. Barbosa and L. S. Barbosa. Specifying software connectors. In K. Araki and Z. Liu, editors, 1st International Colloquium on Theorectical Aspects of Computing (ICTAC'04), pages 53--68, Guiyang, China, September 2004. Springer Lect. Notes Comp. Sci. (3407).]]"},{"key":"e_1_3_2_1_12_1","first-page":"17","volume-title":"Proc. 8th Brazilian Symposium on Programming Languages","author":"Barbosa M. A.","year":"2004","unstructured":"M. A. Barbosa and L. S. Barbosa . Towards a relational model for component interconnection. In R. Lins, C. Braga, and F. Chalub, editors , Proc. 8th Brazilian Symposium on Programming Languages , pages 17 -- 30 , Niteroi, Brasil , May 2004 .]] M. A. Barbosa and L. S. Barbosa. Towards a relational model for component interconnection. In R. Lins, C. Braga, and F. Chalub, editors, Proc. 8th Brazilian Symposium on Programming Languages, pages 17--30, Niteroi, Brasil, May 2004.]]"},{"key":"e_1_3_2_1_13_1","series-title":"Series in Computer Science","volume-title":"The Algebra of Programming","author":"Bird R.","year":"1997","unstructured":"R. Bird and O. Moor . The Algebra of Programming . Series in Computer Science . Prentice-Hall International , 1997 .]] R. Bird and O. Moor. The Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997.]]"},{"key":"e_1_3_2_1_14_1","series-title":"Series F: Computer and System Sciences","volume-title":"The Easy Way","author":"Broy M.","year":"1993","unstructured":"M. Broy . (Inter-) Action Refinement : The Easy Way , volume 118 of Series F: Computer and System Sciences . Springer NATO ASI Series , 1993 .]] M. Broy. (Inter-)Action Refinement: The Easy Way, volume 118 of Series F: Computer and System Sciences. Springer NATO ASI Series, 1993.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/268999.269004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"Derrick J.","year":"2001","unstructured":"J. Derrick and E. Boiten . Refinement in Z and Object-Z: Foundations and Advanced Applications . FACIT. Springer-Verlag , 2001 .]] J. Derrick and E. Boiten. Refinement in Z and Object-Z: Foundations and Advanced Applications. FACIT. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Third International Summer School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures (SFM","author":"Garlan D.","year":"2003","unstructured":"D. Garlan . Formal modeling and analysis of software architecture: Components, connectors and events . In M. Bernardo and P. Inverardi, editors, Third International Summer School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures (SFM 2003 ). Springer Lect . Notes Comp. Sci, Tutorial, (2804), Bertinoro, Italy, September 2003.]] D. Garlan. Formal modeling and analysis of software architecture: Components, connectors and events. In M. Bernardo and P. Inverardi, editors, Third International Summer School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures (SFM 2003). Springer Lect. Notes Comp. Sci, Tutorial, (2804), Bertinoro, Italy, September 2003.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"Advances in Software Engineering and Knowledge Engineering (volume I)","author":"Garlan D.","year":"1993","unstructured":"D. Garlan and M. Shaw . An introduction to software architecture . In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering (volume I) . World Scientific Publishing Co. , 1993 .]] D. Garlan and M. Shaw. An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering (volume I). World Scientific Publishing Co., 1993.]]"},{"key":"e_1_3_2_1_19_1","volume-title":"Symposium on Software Reusability. IEEE","author":"Goguen J.","year":"1996","unstructured":"J. Goguen . Parametrised programming and software architectures . In Symposium on Software Reusability. IEEE , 1996 .]] J. Goguen. Parametrised programming and software architectures. In Symposium on Software Reusability. IEEE, 1996.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"e_1_3_2_1_21_1","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs B.","year":"1997","unstructured":"B. Jacobs and J. Rutten . A tutorial on (co)algebras and (co)induction . EATCS Bulletin , 62 : 222 -- 159 , 1997 .]] B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin, 62:222--159, 1997.]]","journal-title":"EATCS Bulletin"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00122417"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of PDPTA'2001","author":"Liu Z.","year":"2001","unstructured":"Z. Liu , H. Jifeng , and X. Li . Towards a formal use of uml for software requirement analysis . In Proceedings of PDPTA'2001 , USA, 2001 .]] Z. Liu, H. Jifeng, and X. Li. Towards a formal use of uml for software requirement analysis. In Proceedings of PDPTA'2001, USA, 2001.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003561"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27815-3_38"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647538.729707"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195403"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385972"},{"key":"e_1_3_2_1_30_1","first-page":"329","volume-title":"Advances in Computers --- The Engineering of Large Systems","author":"Papadopoulos G.","year":"1998","unstructured":"G. Papadopoulos and F. Arbab . Coordination models and languages . In Advances in Computers --- The Engineering of Large Systems , volume 46 , pages 329 -- 400 . 1998 .]] G. Papadopoulos and F. Arbab. Coordination models and languages. In Advances in Computers --- The Engineering of Large Systems, volume 46, pages 329--400. 1998.]]"},{"key":"e_1_3_2_1_31_1","first-page":"96","volume-title":"Refinement of pipe-and-filter architectures","author":"Philipps J.","year":"1999","unstructured":"J. Philipps and B. Rumpe . Refinement of pipe-and-filter architectures . In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99, Proceedings of the World Congress on Formal Methods in the Development of Computing System, pages 96 -- 115 . Springer Lect . Notes Comp. Sci. (1708), 1999 .]] J. Philipps and B. Rumpe. Refinement of pipe-and-filter architectures. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99, Proceedings of the World Congress on Formal Methods in the Development of Computing System, pages 96--115. Springer Lect. Notes Comp. Sci. (1708), 1999.]]"},{"key":"e_1_3_2_1_32_1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"d. Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"P.","year":"1998","unstructured":"W.- P. d. Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison , volume 47 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 1998 .]] W.-P. d. Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison, volume 47 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1998.]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"e_1_3_2_1_34_1","volume-title":"A Reference Manual","author":"Spivey J. M.","year":"1992","unstructured":"J. M. Spivey . The Z Notation : A Reference Manual ( 2 nd ed). Series in Computer Science. Prentice-Hall International , 1992 .]] J. M. Spivey. The Z Notation: A Reference Manual (2nd ed). Series in Computer Science. Prentice-Hall International, 1992.]]","edition":"2"},{"key":"e_1_3_2_1_35_1","first-page":"229","volume-title":"Proc. Int. Conf. on Category Theory and Computer Science (CTCS'04)","volume":"122","author":"Sun M.","year":"2005","unstructured":"M. Sun , B. K. Aichernig , L. S. Barbosa , and Z. Naixiao . A coalgebraic semantic framework for component based development in UML. In L. Birkedal, editor , Proc. Int. Conf. on Category Theory and Computer Science (CTCS'04) , volume 122 , pages 229 -- 245 . Elect. Notes in Theor. Comp. Sci., Elsevier , 2005 .]] M. Sun, B. K. Aichernig, L. S. Barbosa, and Z. Naixiao. A coalgebraic semantic framework for component based development in UML. In L. Birkedal, editor, Proc. Int. Conf. on Category Theory and Computer Science (CTCS'04), volume 122, pages 229--245. Elect. Notes in Theor. Comp. Sci., Elsevier, 2005.]]"},{"key":"e_1_3_2_1_36_1","first-page":"164","volume-title":"Proc. of 2nd IEEE Int. Conf. on Software Engineering and Formal Methods","author":"Sun M.","year":"2004","unstructured":"M. Sun , Z. Naixiao , and L. S. Barbosa . On semantics and refinement of UML statecharts: A coalgebraic view. In J. Cuellar and Z. Liu, editors , Proc. of 2nd IEEE Int. Conf. on Software Engineering and Formal Methods , pages 164 -- 173 , Beijing, China , September 2004 . IEEE Computer Society Press.]] M. Sun, Z. Naixiao, and L. S. Barbosa. On semantics and refinement of UML statecharts: A coalgebraic view. In J. Cuellar and Z. Liu, editors, Proc. of 2nd IEEE Int. Conf. on Software Engineering and Formal Methods, pages 164--173, Beijing, China, September 2004. IEEE Computer Society Press.]]"}],"event":{"name":"ESEC\/FSE05: Joint 10th European Software Engineering Conference 2005","location":"Lisbon Portugal","acronym":"ESEC\/FSE05","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081767","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081706.1081767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:37Z","timestamp":1750249117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081767"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":35,"alternative-id":["10.1145\/1081706.1081767","10.1145\/1081706"],"URL":"https:\/\/doi.org\/10.1145\/1081706.1081767","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1095430.1081767","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9]]},"assertion":[{"value":"2005-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}