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.

URL:	http://portal.acm.org/citation.cfm?coll=GUIDE&dl=G...
DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi:10.1145/839268.839272
Google Scholar:	Look up in Google Scholar

Abstract

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
ISSN:	1049-331X
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	1166
Depositing User:	Michel Wermelinger
Date Deposited:	01 Jun 2006
Last Modified:	02 Dec 2010 19:45
URI:	http://oro.open.ac.uk/id/eprint/1166

Actions (login may be required)

	View Item
	Public: Report issue / request change

Policies | Disclaimer