Higher-order architectural connectors

ACM Transactions on Software Engineering and Methodology

Volumn 12, Issue 1, 2003, Pages 64-104

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

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

^d UNIVERSITY OF LISBON   (Portugal)

^e UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Design; Languages; Theory

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY OF DATA; SEMANTICS; SOFTWARE PROTOTYPING;

GLOBAL SYSTEM; SOFTWARE DESIGN;

SOFTWARE ENGINEERING;

EID: 2442474189     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/839268.839272     Document Type: Article

References (34)

1. ALLEN, R. AND GABLAN, D. 1997. A formal basis for architectural connectors. ACM Trans. Softw. Eng. Meth. 6, 3 (July), 213-249.
2. ANDRADE, L., FIADEIRO, J. L., GOUVEIA, J., LOPES, A. AND WERMELINGER, M. 2000. Patterns for coordination. In Proceedings of COORDINATION'00, G. Catalin-Roman and A. Porto, Eds. Lecture Notes in Computer Science, vol. 1906. Springer-Verlag, New York, 317-322.
3. BANÂTRE, J. P. AND LE MÉTAYER, D. 1993. Programming by multiset transformation. Commun. ACM 16, 1, 55-77.
4. BASS, L., CLEMENTS, P., AND KASMAN, R. 1998. Software Architecture in Practice. Addison-Wesley, Reading, Mass.
5. BIAGIONI, E., HARPER, R., LEE, P., AND MILNES, B. 1994. Signatures for a network protocol stack: A system application of standard ML. In Proceedings of the ACM Conference on LISP and Functional Programming. ACM, New York, pp. 55-64.
6. BOSCH, J. 1999. Superimposition: A component adaptation technique. Inf. Softw. Tech.
7. CHANDY, K. AND MISRA, J. 1988. Parallel Program Design - A Foundation. Addison-Wesley, Reading, Mass.
8. DENKER, G., MESEGUER, J., AND TALCOTT, C. 1999. Rewriting semantics of meta-objects and composable distributed services. Internal report, Computer Science Laboratory, SRI International.
9. EHRIG, H. AND MAHR, B. 1985. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, New York.
10. FIADEIRO, J. L., LOPES, A., AND WERMELINGER, M. 2003. A mathematical semantics for architectural connectors. In Generic Programming, R. Backhouse and J. Gibbons, Eds. Lecture Notes in Computer Science. Springer-Verlag, in print.
11. FIADEIRO, J. L. AND MAIBAUM, T. 1997. Categorical semantics of parallel program design. Sci. Comput. Prog. 28, 111-138.
12. FRANCEZ, N. AND FORMAN, I. 1996. Interacting Processes. Addison-Wesley, Reading, Mass.
13. GARLAN, D. 1998. Higher-order connectors. Position paper for the Workshop on Compositional Software Architectures, Jan.
14. GELERNTER, D. AND CARRIERO, N. 1992. Coordination languages and their significance. Commun. ACM 35, 2, 97-107.
15. GOOUEN, J. 1973. Categorical foundations for general systems theory. In Advances in Cybernetics and Systems Research, F. Pichler and R. Trappl, Eds. Transcripta Books, pp. 121-130.
16. GOGUEN, J. 1996. Parametrised programming and software architecture. In Symposium on Software Reusability. IEEE Computer Society Press, Los Alamitos, Calif.
17. GOUVEIA, J., KOUTSOUKOS, G., ANDRADE, L., AND FIADEIRO, J. L. 2001. Tool support for coordination-based software evolution. In Technology of Object-Oriented Languages and Systems - TOOLS 38, W. Pree, Ed. IEEE Computer Society Press, Los Alamitos, Calif., pp. 184-196.
18. HIRSCH, D., UCHITEL, S., AND YANKELEVICH, D. 1999. Towards a periodic table of connectors. In Proceedings of Simposio en Tecnología de Software (Buenos Aires, Argentina).
19. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs., N.J.
20. ISSARNY, V., BIDAN, C., AND SARIDAKIS, T. 1998. Characterizing coordination architectures according to their non-functional execution properties. In Proceedings of the 31st Annual Hawaii International Conference on System Sciences (Jan.). IEEE Computer Society Press, Los Alamitos, Calif., pp. 275-283.
21. KATZ, S. 1993. A superimposition control construct for distributed systems. ACM Trans. Prog. Lang. Syst. 15, 2, 337-356.
22. LOPES, A. AND FIADEIRO, J. L. 1999. Using explicit state to describe architectures. In FASE'99, E. Astesiano, Ed. Lecture Notes in Computer Science, vol. 1577. Springer-Verlag, New York, pp. 144-160.
23. MAGEE, J., KRAMER, J., AND GIANNAKOPOULOU, D. 1999. Behaviour analysis of software architectures. In Software Architecture, Kluwer Academic Publishers, pp. 35-50.
24. MEHTA, N., MEDVIDOVIC, N., AND PHADKE, S. 2000. Towards a taxonomy of software connectors. In Proceedings of the 22nd International Conference on Software Engineering. ACM, New York, pp. 178-187.
25. MORICONI, M. AND QIAN, X. 1994. Correctness and composition of software architectures. In Proceedings of the 2nd Symposium on the Foundations of Software Engineering. ACM, New York, pp. 164-174.
26. O'MALLEY, S. W. AND PETERSON, L. L. 1992. A dynamic network architecture. ACM Trans. Comput. Syst. 10, 2, 110-143.
27. PERRY, D. AND WOLF, A. 1992. Foundations for the study of software architectures. ACM SIGSOFT Softw. Eng. Notes 17, 4, 40-52.
28. SASSONE, V., NIELSEN, M., AND WINSKEL, G. 1993. A classification of models for concurrency. In CONCUR'93, E. Best, Ed. Lecture Notes in Computer Science, vol. 715. Springer-Verlag, New York, pp. 82-96.
29. SHAW, M. 1993. Procedure calls are the assembly language of system interconnection: Connectors deserve first-class status. In Proceedings of the Workshop on Studies of Software Design (May).
30. SHAW, M., DELINE, R., KLEIN, D. V., Ross, T. L., YOUNG, D. M., AND ZELESNIK, G. 1995. Abstractions for software architecture and tools to support them. IEEE Trans. Softw. Eng. 21, 4 (Apr.), 314-335.
31. SPITZNAGEL, B. AND GARLAN, D. 2001. A compositional approach for constructing connectors. In The Working IEEE/IFIP Conference on Software Architecture (WICSA01). Royal Netherlands Academy of Arts and Sciences Amsterdam, The Netherlands.
32. WERMELINGER, M., LOPES, A. AND FIADEIRO, J. L. 2000. Superposing connectors. In Proceedings of the 10th International Workshop on Software Specification and Design. IEEE Computer Society Press, Los Alamitos, Calif., pp. 87-94.
33. WERMELINGER, M., LOFES, A., AND FIADEIRO, J. L. 2001. A graph based architectural (re)configuration language. In Proceedings of ESEC/FSE'01. ACM, New York, pp. 21-32.
34. WERMELINGER, M. AND OLIVEIRA, C. 2002. The Community workbench. In Proceedings of the 24th International Conference on Software Engineering (May), ACM, New York, p. 713.