Self-stabilization by local checking and correction
Self-stabilization by local checking and correction
On line software version change using state transfer between processes
Software—Practice & Experience
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
A component- and message-based architectural style for GUI software
Proceedings of the 17th international conference on Software engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Elements of network protocol design
Elements of network protocol design
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Dynamic coordination architecture through the use of reflection
Proceedings of the 2001 ACM symposium on Applied computing
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Configuring distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
A Discipline of Programming
IEEE Transactions on Computers
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Supporting Unanticipated Dynamic Adaptation of Application Behaviour
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Constructing Adaptive Software in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Component based design of fault-tolerance
Component based design of fault-tolerance
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Computer
Transparent shaping of existing software to support pervasive and autonomic computing
Transparent shaping of existing software to support pervasive and autonomic computing
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Concurrency Tradeoffs in Dynamic Adaptation
ICDCSW '06 Proceedings of the 26th IEEE International ConferenceWorkshops on Distributed Computing Systems
Testing Dynamic Adaptation in Distributed Systems
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
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
A Technique for Verifying Component-Based Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic software update for component-based distributed systems
Proceedings of the 16th international workshop on Component-oriented programming
Version-consistent dynamic reconfiguration of component-based distributed systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Local dynamic update for component-based distributed systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Hi-index | 0.00 |
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such an adaptation is performed by dynamically adding or removing components. In these type of adaptations, components are often added to or removed from multiple processes in the system. As a result, during adaptation, the system may consist of both changed and unchanged processes, causing old and new components to overlap. This overlapping of components during adaptation may induce cross-component communication, which may lead to behavior during adaptation that is unpredictable and/or undesirable. In this paper, we discuss an approach to model and verify overlap adaptation. We use the transitional-invariant lattice and the transitional-faultspan lattice to verify the correctness of adaptation in the absence and the presence of faults, respectively. We also discuss a framework to support implementation of overlap adaptation.