Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A calculus of mobile processes, I
Information and Computation
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
A component- and message-based architectural style for GUI software
Proceedings of the 17th international conference on Software engineering
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Monitoring, security, and dynamic configuration with the dynamicTAO reflective ORB
IFIP/ACM International Conference on Distributed systems platforms
Language and Compiler Support for Adaptive Distributed Applications
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Configuring distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
A software model for flexible & safe adaptation of mobile code programs
Proceedings of the International Workshop on Principles of Software Evolution
An infrastructure for multiprocessor run-time adaptation
WOSS '02 Proceedings of the first workshop on Self-healing systems
An aspect-oriented approach to dynamic adaptation
WOSS '02 Proceedings of the first workshop on Self-healing systems
IEEE Transactions on Computers
Supporting Unanticipated Dynamic Adaptation of Application Behaviour
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments
WICSA 3 Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Architecture and Operation of an Adaptable Communication Substrate
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Software Organization for Dynamic and Adaptable Wearable Systems
ISWC '97 Proceedings of the 1st IEEE International Symposium on Wearable Computers
Constructing Adaptive Software in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
ACT: An Adaptive CORBA Template to Support Unanticipated Adaptation
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Computer
Enabling autonomic behavior in systems software with hot swapping
IBM Systems Journal
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
An architecture for next generation middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Towards an architectural approach for the dynamic and automatic composition of software components
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Applying Digital Evolution to the Development of Self-Adaptive ULS Systems
ULS '07 Proceedings of the International Workshop on Software Technologies for Ultra-Large-Scale Systems
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Using aspects and dynamic composition to provide context-aware adaptation for mobile applications
Proceedings of the 2009 ACM symposium on Applied Computing
Exploring approaches to dynamic adaptation
Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction
WiSeKit: A Distributed Middleware to Support Application-Level Adaptation in Sensor Networks
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration
Proceedings of the 7th international conference on Autonomic computing
Engineering reconfigurable distributed software systems: issues arising for pervasive computing
Rigorous Development of Complex Fault-Tolerant Systems
Dynamically adapting BDI agents based on high-level user specifications
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
| Hi-index | 0.00 |
Recomposable software enables a system to change its structure and behavior during execution, in response to a dynamic execution environment. This paper proposes an approach to ensure that such adaptations are safe with respect to system consistency. The proposed method takes into consideration dependency analysis for target components, specifically determining viable sequences of adaptive actions and those states in which an adaptive action may be applied safely. We demonstrate that the technique ensures safe adaptation (insertion, removal, and replacement of components) in response to changing external conditions in a wireless multicast video application.