Lopes, Antónia; Wermelinger, Michel and Fiadeiro, José Luiz
(2003).
|
PDF (Accepted Manuscript)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (820kB) | Preview |
| URL: | http://dl.acm.org/citation.cfm?doid=839268.839272 |
|---|---|
| DOI (Digital Object Identifier) Link: | https://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: | Article |
|---|---|
| Copyright Holders: | 2003 ACM |
| ISSN: | 1557-7392 |
| Academic Unit/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) |
| Item ID: | 1166 |
| Depositing User: | Michel Wermelinger |
| Date Deposited: | 01 Jun 2006 |
| Last Modified: | 05 Oct 2016 08:26 |
| URI: | http://oro.open.ac.uk/id/eprint/1166 |
| Share this page: |     |
Altmetrics | Scopus Citations |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.