The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL
ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Deployment and dynamic reconfiguration planning for distributed software systems
Software Quality Control
Using Automated Planning for Trusted Self-organising Organic Computing Systems
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted 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
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan
Journal of Artificial Intelligence Research
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems
SASO '10 Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Hi-index | 0.00 |
Self-adaptive systems autonomously adjust their behavior in order to achieve their goals despite changes in the environment and the system itself. Self-adaption is typically implemented in software and often expressed in terms of architectural reconfiguration. The graph transformation formalism is a natural way to model the architectural reconfiguration in self-adaptive systems. In this paper, we present (1) how we employ graph transformations for the specification of architectural reconfiguration and (2) how we transform graph transformations into actions of the Planning Domain Definition Language (PDDL) in order to use off-the-shelf tools for the computation of self-adaptation plans. We illustrate our approach by a self-healing process and show the results of a simulation case study.