A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A temporal logic view of paradigm models
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Proceedings of the first workshop on Self-healing systems
Workshop on Self-Healing Systems [co-located with ACM SIGSOFT 2002: 10th International Symposium on the Foundations of Software Engineering (FSE-10)]
Runtime Support for Type-Safe Dynamic Java Classes
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Mutatis mutandis: safe and predictable dynamic software updating
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Delegation modeling with paradigm
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Tagged sets: a secure and transparent coordination medium
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
| Hi-index | 0.00 |
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation can be captured in Paradigm by means of a special evolution component and associated evolution coordination scheme. The component, called McPal, drives the migration following a just-in-time strategy in its own view of the system, independent of other coordination relations. During migration, dynamic consistency between components remains assured, even for mixtures of old, intermediate and new behaviour. A restricted scheme of McPal that supports various forms of self-adaptation is presented. A simple but generic example of a scheduler and workers illustrates on-the-fly updating of coordination and run-time adaptation of scheduling policies using McPal.