Lopes, Antónia; Wermelinger, Michel and Fiadeiro, José Luiz
(2003).
| URL: | http://dl.acm.org/citation.cfm?doid=839268.839272 |
|---|---|
| DOI (Digital Object Identifier) Link: | http://dx.doi.org/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 |
|---|---|
| Copyright Holders: | 2003 ACM |
| ISSN: | 1557-7392 |
| Academic Unit/Department: | Mathematics, Computing and Technology > Computing & Communications |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) eSTEeM |
| Item ID: | 1166 |
| Depositing User: | Michel Wermelinger |
| Date Deposited: | 01 Jun 2006 |
| Last Modified: | 05 Mar 2014 10:43 |
| URI: | http://oro.open.ac.uk/id/eprint/1166 |
| Share this page: |     |
Actions (login may be required)
| View Item | |
| Report issue / request change |