Elements of network protocol design
Elements of network protocol design
Software fundamentals: collected papers by David L. Parnas
Software fundamentals: collected papers by David L. Parnas
Supporting Unanticipated Dynamic Adaptation of Application Behaviour
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Generating Product-Lines of Product-Families
Proceedings of the 17th IEEE international conference on Automated software engineering
Constructing Adaptive Software in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Transparent shaping of existing software to support pervasive and autonomic computing
Transparent shaping of existing software to support pervasive and autonomic computing
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Towards context-awareness in ubiquitous computing
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
CAMPUS: A middleware for automated context-aware adaptation decision making at run time
Pervasive and Mobile Computing
| Hi-index | 0.00 |
Autonomic systems undergo dynamic compositional adaptation that often require state transfer and synchronization to correctly initialize the state of the new component, while ensuring that multiple fractions of the component are added and removed consistently. In general, if there are n different components for a given functionality, then there exist n(n - 1) possible adaptations for selecting an appropriate component. Identifying all these adaptations is not an easy task. Moreover, as verification of such adaptations is also difflcult, it is desirable to reduce total number of these adaptations.We propose a component family design for systematically building a repository of components from the perspective of dynamic adaptation. For a family of n components, we show that it suffices to identify n different adaptations. Moreover, to add a new component to this family, it suffices to consider only two adaptations. We also propose a design to separate the adaptation concern from component functionality for simplifying the specification and verification of adaptation. We introduce the enhanced-primitive relation between two components; when such a relation is known to exist, we show that it is possible to simplify the adaptation and its verification.