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
Conductor: A Framework for Distributed Adaptation
HOTOS '99 Proceedings of the The Seventh Workshop on Hot Topics in Operating Systems
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
A Distributed Dynamic Adaptation Model for Component-Based Applications
AINA '09 Proceedings of the 2009 International Conference on Advanced Information Networking and Applications
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting Security with Paradigm
Architecting Dependable Systems VI
Managing distributed adaptation of mobile applications
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Towards dynamic adaptation of probabilistic systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
| Hi-index | 0.00 |
Adaptation of a component-based system can be achieved in the coordination modelling language Paradigm through the special component McPal. McPal regulates the propagation of new behaviour and guides the changes in the components and in their coordination. Here we show how McPal may delegate part of its control to local adaptation managers, created on-the-fly, allowing for distribution of the adaptation indeed. We illustrate the approach for the well-known example of the dining philosophers problem, by modelling the migration from a deadlock-prone solution to a deadlock-free starvation-free solution without any system quiescence. The adaptation goes through various stages, exhibiting shifting control among McPal and its helpers, and changing degrees of orchestrated and choreographic collaboration.