Higher-order architectural connectors

Antónia Lopes; Michel Wermelinger; José Luiz Fiadeiro

doi:10.1145/839268.839272

Higher-order architectural connectors

Antónia Lopes
, Michel Wermelinger
, José Luiz Fiadeiro

Research output: Contribution to journal › Article › peer-review

41 Citations (Scopus)

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.

Original language	English
Pages (from-to)	64-104
Number of pages	41
Journal	ACM Transactions on Software Engineering and Methodology
Volume	12
Issue number	1
DOIs	https://doi.org/10.1145/839268.839272
Publication status	Published - Jan 2003

Keywords

Design
Languages
Theory

ASJC Scopus subject areas

Software

Access to Document

10.1145/839268.839272

Cite this

@article{b6ec1de8ec294258b8e1c8630afcecb9,

title = "Higher-order architectural connectors",

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.",

keywords = "Design, Languages, Theory",

author = "Ant{\'o}nia Lopes and Michel Wermelinger and Fiadeiro, \{Jos{\'e} Luiz\}",

year = "2003",

month = jan,

doi = "10.1145/839268.839272",

language = "English",

volume = "12",

pages = "64--104",

journal = "ACM Transactions on Software Engineering and Methodology",

issn = "1049-331X",

publisher = "Association for Computing Machinery",

number = "1",

}

TY - JOUR

T1 - Higher-order architectural connectors

AU - Lopes, Antónia

AU - Wermelinger, Michel

AU - Fiadeiro, José Luiz

PY - 2003/1

Y1 - 2003/1

N2 - 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.

AB - 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.

KW - Design

KW - Languages

KW - Theory

UR - https://www.scopus.com/pages/publications/2442474189

U2 - 10.1145/839268.839272

DO - 10.1145/839268.839272

M3 - Article

AN - SCOPUS:2442474189

SN - 1049-331X

VL - 12

SP - 64

EP - 104

JO - ACM Transactions on Software Engineering and Methodology

JF - ACM Transactions on Software Engineering and Methodology

IS - 1

ER -

Higher-order architectural connectors

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this