A relational model for component interconnection

Journal of Universal Computer Science

Volumn 10, Issue 7, 2004, Pages 808-823

  Barbosa, Marco Antonio ^a   Barbosa, Luís Soares ^a  

^a UNIVERSITY OF MINHO   (Portugal)

Author keywords

Coalgebra; Coordination models; Relations

Indexed keywords

EID: 23844529532     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (21)

1. [Allen and Garlan, 1997] Allen, R. and Garlan, D. (1997). A formal basis for architectural connection. ACM TOSEM, 6(3):213-249.
2. [Arbab, 2003] Arbab, F. (2003). Abstract behaviour types: a foundation model for components and their composition. In de Boer, F. S., Bonsangue, M., Graf, S., and de Roever, W.-P., editors, Proc. First International Symposium on Formal Methods for Components and Objects (FMCO'02), pages 33-70. Springer Lect. Notes Comp. Sci. (2852).
3. [Arbab and Rutten, 2002] Arbab, F. and Rutten, J. (2002). A coinductive calculus of component connectors. CWI Tech. Rep. SEN-R0216, CWI, Amsterdam. To appear in the proceedings of WADT'02.
4. [Backhouse and Hoogendijk, 1993] Backhouse, R. C. and Hoogendijk, P. F. (1993). Elements of a relational theory of datatypes. In Möller, B., Partsch, H., and Schuman, S., editors, Formal Program Development, pages 7-42. Springer Lect. Notes Comp. Sci. (755).
5. [Barbosa, 2003] Barbosa, L. S. (2003). Towards a Calculus of State-based Software Components. Journal of Universal Computer Science, 9(8):891-909.
6. [Barbosa and Oliveira, 2003] Barbosa, L. S. and Oliveira, J. N. (2003). State-based components made generic. In Gumm, H. P., editor, CMCS'03, Elect. Notes in Theor. Comp. Sci., volume 82.1.
7. [Bergner et al., 2000] Bergner, K., Rausch, A., Sihling, M., Vilbig, A., and Broy, M. (2000). A Formal Model for Componentware. In Leavens, G. T. and Sitaraman, M., editors, Foundations of Component-Based Systems, pages 189-210. Cambridge University Press.
8. [Bird and Moor, 1997] Bird, R. and Moor, O. (1997). The Algebra of Programming. Series in Computer Science. Prentice-Hall International.
9. [Broy, 1987] Broy, M. (1987). Semantics of finite and infinite networks of communicating agents. Distributed Computing, (2).
10. [Costa and Reggio, 1997] Costa, G. and Reggio, G. (1997). Specification of abstract dynamic data types: A temporal logic approach. Theor. Comp. Sci., 173(2).
11. [Fiadeiro and Lopes, 1997] Fiadeiro, J. and Lopes, A. (1997). Semantics of architectural connectors. In Proc. of TAPSOFT'97, pages 505-519. Springer Lect. Notes Comp. Sci. (1214).
12. [Gelernter and Carrier, 1992] Gelernter, D. and Carrier, N. (1992). Coordination languages and their significance. Communication of the ACM, 2(35):97-107.
13. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 295-308, St. Petersburg Beach, Florida.
14. [Meng and Barbosa, 2004] Meng, S. and Barbosa, L. (2004). On refinement of generic software components. In 10th Int. Conf. Algebraic Methods and Software Technology (AMAST), Stirling. Springer Lect. Notes Comp. Sci. (to appear).
15. [Nierstrasz and Achermann, 2003] Nierstrasz, O. and Achermann, F. (2003). A calculus for modeling software components. In de Boer, F. S., Bonsangue, M., Graf, S., and de Roever, W.-P., editors, Proc. First International Symposium on Formal Methods for Components and Objects (FMCO'02), pages 339-360. Springer Lect. Notes Comp. Sci. (2852).
16. [Nierstrasz and Dami, 1995] Nierstrasz, O. and Dami, L. (1995). Component-oriented software technology. In Nierstrasz, O. and Tsichritzis, D., editors, Object-Oriented Software Composition, pages 3-28. Prentice-Hall International.
17. [Papadopoulos and Arbab, 1998] Papadopoulos, G. and Arbab, F. (1998). Coordination models and languages. In Advances in Computers - The Engineering of Large Systems, volume 46, pages 329-400.
18. [Rutten, 2000] Rutten, J. (2000). Universal coalgebra: A theory of systems. Theor. Comp. Sci., 249(1):3-80.
19. (Revised version of CWI Techn. Rep. CS-R9652, 1996).
20. [Szyperski, 1998] Szyperski, C. (1998). Component Software. Beyond Object-Oriented Programming. Addison-Wesley.
21. [Wermelinger and Fiadeiro, 1998] Wermelinger, M. and Fiadeiro, J. (1998). Connectors for mobile programs. IEEE Trans. on Software Eng., 24(5):331-341.