The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
The Vision of Autonomic Computing
Computer
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
ReDAC Dynamic Reconfiguration of Distributed Component-Based Applications with Cyclic Dependencies
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Orchestrating Safe Behavioural Adaptations of Component-Based Systems
ICAS '10 Proceedings of the 2010 Sixth International Conference on Autonomic and Autonomous Systems
Model-based management of ubiquitous and autonomic M2M service architecture
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Hi-index | 0.00 |
The ability of systems to adapt is increasingly seen as a necessary underlying capability for modern software systems. The resulting self-adaptive systems are not only supposed to cope with changes, but must also preserve their consistency. To deal with such challenges in a systematic way, the design of self-adaptive systems needs to be put on a formal basis. In this paper, we argue for the benefits of a formal yet extensible approach to behavioural adaptations of component-based system architectures. This approach provides the usage of alternative adaptation processes rather than being limited to a single one. The application of Coloured Petri Nets for modelling and analysing the adaptation processes proves to be useful to trust consistency preservation.