Parallel program design: a foundation
Parallel program design: a foundation
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Stepwise refinement of communicating systems
Science of Computer Programming
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture in practice
Software architecture in practice
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Using Explicit State to Describe Architechtures
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
A Compositional Approach to Connector Construction
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Hi-index | 0.00 |
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, à 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.