The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The case for reflective middleware
Communications of the ACM - Adaptive middleware
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
PLASMA: a plan-based layered architecture for software model-driven adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Combining Proof and Model-checking to Validate Reconfigurable Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
Considering software developed in a component based fashion, one important aspect about software reconfiguration is to decide how to change the software structure. In some applications, to manually describe the reconfiguration plan to be executed can be a very complex task for developers, like those based in rules and supported by an expert system. Furthermore, this plan must be correct in relation to the programming model, the application architectural restrictions and it must leave the application in a consistent state. In order to reconfigure some application structure, considering aspects related to the application consistency, this work proposes an approach that employs Artificial Intelligence techniques to solve this issue. After a desired configuration has been chosen for some context, the task is to decide how to achieve the desired state, generating a reconfiguration plan, in a consistent manner and, after that, execute it. The plan is generated based on a model of cause and effect, which describes the set of reconfiguration actions from the underlying component model, that has reflective capacity to execute the reconfiguration plan.