The Open UniversitySkip to content

Higher-order architectural connectors

Lopes, Antónia; Wermelinger, Michel and Fiadeiro, José Luiz (2003). Higher-order architectural connectors. ACM Transactions on Software Engineering and Methodology, 12(1) pp. 64–104.

Full text available as:
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (801Kb) | Preview
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. A higher-order connector takes connectors as parameters and allows for services such as security protocols and fault-tolerance mechanisms to be superposed over the interactions that are handled by the connectors passed as actual arguments. The notion is first illustrated over CommUnity, a parallel program design language that we have been using for formalizing aspects of architectural design. A formal, algebraic semantics is then presented which is independent of any Architectural Description Language. Finally, we discuss how our results can impact software design methods and tools.

Item Type: Journal Article
Copyright Holders: 2003 ACM
ISSN: 1557-7392
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Mathematics, Computing and Technology
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 1166
Depositing User: Michel Wermelinger
Date Deposited: 01 Jun 2006
Last Modified: 23 Feb 2016 23:30
Share this page:


Scopus Citations

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340