The ability to construct architectural connectors in a systematic and controlled way has been argued to promote reuse and incremental development, e.g., as a way of superposing, a la carte, services like security over a given communication protocol. Towards this goal, we present a notion of high-order connector, i.e., a connector that takes connectors as parameters, for superposing coordination mechanisms over the interactions that are handled by the connectors that are passed as actual arguments. The notion is developed over the language COMMUNITY that we have been using for formalising aspects of architectural design, and illustrated with examples inspired by the case study. 1.
|
958
|
Software Architecture: Perspectives on an Emerging Discipline
– Shaw, Garlan
- 1996
|
|
484
|
Foundations for the study of software architecture
– Perry, Wolf
- 1992
|
|
482
|
A Formal Basis for Architectural Connection
– Allen, Garlan
- 1997
|
|
254
|
Abstractions for software architecture and tools to support them
– Shaw, DeLine, et al.
- 1995
|
|
175
|
Chandy and Jayadev Misra. Parallel Program Design: A Foundation
– Mani
- 1988
|
|
168
|
The evolving philosophers problem: Dynamic change management
– Kramer, Magee
- 1990
|
|
137
|
Dynamic structure in software architectures
– Magee, Kramer
- 1996
|
|
108
|
Formal specification and analysis of software architectures using the chemical abstract machine model
– Inverardi, Wolf
- 1995
|
|
85
|
Towards a taxonomy of software connectors
– Mehta, Medvidovic, et al.
- 2000
|
|
67
|
Formal Connectors
– Allen, Garlan
- 1994
|
|
63
|
Specifying and analyzing dynamic software architectures
– Allen, Douence, et al.
- 1998
|
|
53
|
Mobile UNITY: Reasoning and specification in mobile computing
– Roman, McCann, et al.
- 1997
|
|
47
|
Superimposition for interacting processes
– Francez, Forman
- 1990
|
|
40
|
Behaviour analysis of software architectures
– Magee, Kramer, et al.
- 1999
|
|
38
|
A mathematical semantics for architectural connectors
– Fiadeiro, Lopes, et al.
- 2003
|
|
38
|
Connectors for mobile programs
– Wermelinger, Fiadeiro
- 1998
|
|
34
|
ADLs and dynamic architecture changes
– Medvidovic
- 1996
|
|
32
|
Checking assumptions in component dynamics at the architectural level
– Inverardi, Wolf, et al.
- 1997
|
|
29
|
Analysing Dynamic Change in Software Architectures: A case study
– Kramer, Magee
- 1998
|
|
24
|
Towards A General Location Service For Mobile Environments
– Leonhardt, Magee
- 1996
|
|
24
|
Towards a chemical model for software architecture reconfiguration
– Wermelinger
- 1998
|
|
23
|
Categorical semantics of parallel program design
– Fiadeiro, Maibaum
- 1997
|
|
19
|
Towards an Algebra of Architectural Connectors: a Case Study on Synchronisation for Mobility
– Wermelinger, Fiadeiro
- 1998
|
|
18
|
Parallel Program Design—A Foundation
– Chandy, Misra
- 1988
|
|
18
|
Stepwise Refinement of Communicating Systems
– Butler
- 1997
|
|
12
|
Software architecture styles as graph grammars
– Métayer
- 1996
|
|
11
|
Using explicit state to describe architectures
– Lopes, Fiadeiro
- 1999
|
|
8
|
A mathematical toolbox for the software architect
– Fiadeiro, Maibaum
- 1996
|
|
8
|
Basic Category Theory for Computer Scientists
– Peirce
- 1991
|
|
7
|
Rewriting semantics of meta-objects and composable distributed services
– Denker, Meseguer, et al.
- 1999
|
|
7
|
Não-determinismo e Composicionalidade na Especificação de Sistemas Reactivos
– Lopes
- 1999
|
|
6
|
Mobile UNITY: A language and logic for concurrent mobile systems
– McCann, Roman
- 1996
|
|
6
|
Towards a periodic table of connectors
– Hirsch, Uchitel, et al.
- 1999
|
|
6
|
Relating CHAM descriptions of software architectures
– Inverardi, Yankelevich
- 1996
|
|
4
|
Toward compositional construction of complex connectors
– Spitznagel, Garlan
- 2000
|
|
3
|
Higher-order connectors. Position paper for
– Garlan
- 1998
|
|
3
|
Software architecture evolution and the chemical abstract machine
– Wermelinger
- 1999
|
|
2
|
Behavioral type checking of architectural components based on assumptions
– Inverardi, Wolf, et al.
- 1998
|
|
2
|
Acme StrawManual
– Monroe, Garlan, et al.
- 1997
|
|
1
|
Fiadeiro and Antonia Lopes. Semantics of architectural connectors
– Luiz
- 1997
|
|
1
|
Fiadeiro and Tom Maibaum. Interconnecting formalisms: Supporting modularity, reuse and incrementality
– Luiz
- 1995
|
|
1
|
Fiadeiro and Tom Maibaum. Categorial semantics of parallel program design
– Luiz
- 1997
|
|
1
|
and Dewayne Perry (eds). Special issue on software architecture
– Garlan
- 1995
|
|
