Abstract
A categorical semantics is proposed for the notion of architectural connector in the style defined by Allen and Garlan which adopts notions of parameterisation similar to those developed for Abstract Data Type specification, and adapts them to formalisms for parallel program design. We show how many of the claims made in can be formally substantiated, and generalised to formalisms other than CSP. Finally, we show how the categorical formalisation lends itself to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles.
Cite
CITATION STYLE
Fiadeiro, J. L., & Lopes, A. (1997). Semantics of architectural connectors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1214, pp. 505–519). Springer Verlag. https://doi.org/10.1007/bfb0030622
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
