Superposing connectors

10th International Workshop on Software Specification and Design, IWSSD 2000

Volumn , Issue , 2000, Pages 87-94

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

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

^c KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL CONNECTORS; HIGH-ORDER; INCREMENTAL DEVELOPMENT;

SPECIFICATIONS;

EID: 84954165018     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWSSD.2000.891129     Document Type: Conference Paper

References (17)

1. R. Allen and D. Garlan. A formal basis for architec tural connection. ACM TOSEM, 6(3):213-249, July 1997.
2. L. Bass, P. Clements, and R. Kazman. Software Archi tecture in Practice. Addison-Wesley, 1998.
3. M. Butler. Stepwise refinement of communicat ing systems. Science of Computer Programming, 27(2):139-173, 1996.
4. K. M. Chandy and J. Misra. Parallel Program Design-A Foundation. Addison-Wesley, 1988.
5. G. Denker, J. Meseguer, and C. Talcott. Rewriting se mantics of meta-objects and composable distributed services. Internal report, Computer Science Laboratory, SRI International, 1999.
6. J. L. Fiadeiro and A. Lopes. Semantics of architectural connectors. In Proc. of TAPSOFT97, LNCS 1214, pages 505-519. Springer-Verlag, 1997.
7. N. Francez and I. Forman. Interacting Processes. Addison-Wesley, 1996.
8. D. Garlan. Higher-order connectors. Position paper for the Workshop on Compositional Software Archi tectures, Jan. 1998.
9. D. Hirsch, S. Uchitel, and D. Yankelevich. Towards a periodic table of connectors. In Proc. of Simposio en Tecnologia de Software, Buenos Aires, 1999.
10. A. Lopes. Nao-determinismo e Composicionalidade na Especificacao de Sistemas Reactivos. PhD thesis, Universidade de Lisboa, Jan. 1999.
11. A. Lopes and J. L. Fiadeiro. Using explicit state to describe architectures. In Proc. of EASE, LNCS 1577, pages 144-160. Springer-Verlag, 1999.
12. J. Magee, J. Kramer, and D. Giannakopoulou. Be haviour analysis of software architectures. In Software Architecture, pages 35-50. Kluwer, 1999.
13. N. R. Mehta, N. Medvidovic, and S. Phadke. Towards a taxonomy of software connectors. In Proc. of ICSE, 2000. To appear.
14. M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for software ar chitecture and tools to support them. IEEE Trans, on Software Eng., 21(4):314-335, Apr. 1995.
15. B. Spitznagel and D. Garlan. Toward compositional construction of complex connectors. Unpublished.
16. M. Wermelinger and J. L. Fiadeiro. Connectors for mobile programs. IEEE Trans, on Software Eng., 24(5):331-341,May 1998.
17. M. Wermelinger and J. L. Fiadeiro. Towards an alge bra of architectural connectors: a case study on syn chronization for mobility. In Proc. 9th IWSSD, pages 135-142. IEEE Computer Society Press, 1998.