New insights on architectural connectors

IFIP Advances in Information and Communication Technology

Volumn 155, Issue , 2004, Pages 367-379

  Bruni, Roberto ^a   Fiadeiro, José Luiz ^b   Lanese, Ivan ^a   Lopes, Antónia ^c   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); SEMANTICS; SIGNAL ENCODING;

ABSTRACT SEMANTICS; ALGEBRAIC APPROACHES; ARCHITECTURAL CONNECTORS; COMMUNITY PROJECT; STRONG LINK; SYSTEM MODELING; TILE MODELS;

ALGEBRA;

EID: 84901038226     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8141-3_29     Document Type: Conference Paper

References (14)

1. R. Allen and D. Garlan. A formal basis for architectural connectors. ACM Transactions on Software Engineering and Methodology, 6(3):213-249, 1997.
2. L. Andrade et al. AGILE: Software architecture for mobility. Proc. of WADT 2002, LNCS 2755, pp. 1-33. Springer Verlag, 2003.
3. K. Chandy and J. Misra. Parallel program design: a foundation. Addison-Wesley, 1988.
4. A. Corradini and U. Montanari. An algebraic semantics for structured transition systems and its application to logic programs. Theoret. Comput. Sci., 103:51-106, 1992.
5. J.L. Fiadeiro, A. Lopes, and M. Wermelinger. A mathematical semantics for architectural connectors. Generic Programming, LNCS 2793, pp. 190-234. Springer Verlag, 2003.
6. J.L. Fiadeiro and T. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28:111-138, 1997.
7. F. Gadducci and U, Montanari. The tile model. Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 133-166. MIT Press, 2000.
8. J. Goguen. Categorical foundations for general systems theory. Advances in Cybernetics and Systems Research, pp. 121-130. Transcripta Books, 1973.
9. C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.
10. K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. Proc. of ICALP'90, LNCS 443, pp. 526-539. Springer Verlag, 1990.
11. F.W. Lawvere. Functorial semantics of algebraic theories. Proc. National Academy of Sciences, 50:869-872, 1963.
12. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci., 96:73-155, 1992.
13. R. Milner. A calculus of communicating systems. LNCS 92. Springer Verlag, 1989.
14. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981.