A compositional approach to connector construction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2267 LNCS, Issue , 2002, Pages 201-220

  Lopes, Antónia ^a   Wermelinger, Michel ^b,c   Fiadeiro, José Luiz ^a,c  

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^c ATX Software SA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARCHITECTURAL DESIGN; FAULT TOLERANCE; SEMANTICS;

ARCHITECTURAL CONNECTORS; CATEGORICAL SEMANTICS; HIGHER-ORDER; PARALLEL PROGRAM;

SOFTWARE DESIGN;

EID: 84893062846     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45645-7_10     Document Type: Conference Paper

References (15)

1. R.Allen and D.Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3):213-249, July 1997.
2. K.Chandy and J.Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.
3. G.Denker, J.Meseguer and C.Talcott, "Rewriting semantics of meta-objects and composable distributed services", Internal report, Computer Science Laboratory, SRI International, 1999.
4. 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)
5. J.L.Fiadeiro and A.Lopes, "Algebraic Semantics of Coordination, or what is in a signature?", in AMAST'98, A.Haeberer (ed), LNCS 1548, Springer-Verlag 1999.
6. J.L.Fiadeiro and A.Lopes, "Semantics of Architectural Connectors", in TAPSOFT'97, LNCS 1214, Springer-Verlag 1997, 505-519.
7. N.Francez and I.Forman, Interacting Processes, Addison-Wesley 1996.
8. D.Garlan, "Higher-Order Connectors", Presented at the Workshop on Compositional Software Architectures, Monterey, CA, January 6-7, 1998.
9. 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.
10. S.Katz, "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2):337-356, 1993.
11. nd International Conference on Software Engineering, ACM Press, 2000, 178-187.
12. 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-94. (also available at http://ctp.di.fct.unl.pt/~mw/proj/fast/index.html)
13. M.Wermelinger and J. L. Fiadeiro, "Connectors for mobile programs", IEEE Trans. on Software Eng., 24(5):331-341, May 1998.
14. M.Wermelinger and J.L.Fiadeiro, "Algebraic Software Architecture Reconfiguration", in Software Engineering - ESEC/FSE'99, LNCS 1687, pp. 393-409, Springer-Verlag 1999.
15. M.Wermelinger, A.Lopes and J.L.Fiadeiro, "A Graph Based Architectural (Re)configuration Language", Proc. ESEC/FSE'01, ACM Press, 2001. In print.