The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Building adaptive systems using ensemble
Software—Practice & Experience - Special issue on multiprocessor operating systems
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
ACM Transactions on Computer Systems (TOCS)
Dynamic and selective combination of extensions in component-based applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Self-adapting concurrency: the DMonA architecture
WOSS '02 Proceedings of the first workshop on Self-healing systems
Making Components Contract Aware
Computer
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Analyzing Dependencies in Large Component-Based Systems
Proceedings of the 17th IEEE international conference on Automated software engineering
Maintaining Node Consistency in the Face of Dynamic Change
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Constructing Adaptive Software in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Consistency Management in the Presence of Simultaneous Client-Specific Views
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
An agent design method promoting separation between computation and coordination
Proceedings of the 2004 ACM symposium on Applied computing
Using types to enforce architectural structure
Using types to enforce architectural structure
Systematic Development and Exploration of Service-Oriented Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
The DiPS+ Software Architecture for Self-healing Protocol Stacks
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
A Modular Approach Enforcing Safe Reconfiguration of Producer-Consumer Applications
ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
NeCoMan: middleware for safe distributed service deployment in programmable networks
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and reusable software components and services. In addition, to improve manageability and evolveability, software systems are extended with management capabilities and self-managed behavior. Because of their very nature, these self-managed software systems often are mission critical and highly available. In this paper, we focus on the complexity of preserving correctness in modularized self-managed systems. We discuss the importance of consistent software compositions in the context of self-managed systems, and the need for a correctness-preserving adaptation process. We also give a flavor of possible approaches for preserving correctness, and conclude with some remarks and open questions.