TY - CHAP
T1 - A mathematical semantics for architectural connectors
AU - Fiadeiro, J. L.
AU - Lopes, A.
AU - Wermelinger, M.
PY - 2003
Y1 - 2003
N2 - A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen's categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to "real-world" components.
AB - A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen's categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to "real-world" components.
KW - Software Architecture
KW - Architectural Design
KW - Linear Temporal Logic
KW - Output Channel
KW - Input Channel
UR - http://www.scopus.com/inward/record.url?scp=0142219261&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-45191-4_5
DO - 10.1007/978-3-540-45191-4_5
M3 - Chapter
AN - SCOPUS:0142219261
SN - 9783540201946
T3 - Lecture Notes in Computer Science
SP - 178
EP - 221
BT - A Mathematical Semantics for Architectural Connectors
PB - Springer Verlag
CY - Berlin
ER -