The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Using critics to analyze evolving architectures
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Artificial intelligence and mobile robots
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Using Architectural Style as a Basis for System Self-repair
WICSA 3 Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
A planning based approach to failure recovery in distributed systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards a knowledge-based approach to architectural adaptation management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
An Automated Formal Approach to Managing Dynamic Reconfiguration
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Using resemblance to support component reuse and evolution
Proceedings of the 2006 conference on Specification and verification of component-based systems
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Plan-directed architectural change for autonomous systems
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
An Architecture for Requirements-Driven Self-reconfiguration
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
Exploiting non-functional preferences in architectural adaptation for self-managed systems
Proceedings of the 2010 ACM Symposium on Applied Computing
An architecture-driven software mobility framework
Journal of Systems and Software
Programming language support to context-aware adaptation: a case-study with Erlang
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Robustness and scalability: a dual challenge for autonomic architectures
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
PLASMA: a plan-based layered architecture for software model-driven adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
FUSION: a framework for engineering self-tuning self-adaptive software systems
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Architectural issues of adaptive pervasive systems
Graph transformations and model-driven engineering
An evaluation of the adaptation capabilities in programming languages
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
FlashMob: distributed adaptive self-assembly
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A software lifecycle process for context-aware adaptive systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Utility-based self-adaption with environment specific quality models
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Using qos-contracts to drive architecture-centric self-adaptation
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Dynamic reconfiguration in self-adaptive systems considering non-functional properties
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Towards an integrated approach for validating qualities of self-adaptive systems
Proceedings of the 2012 Workshop on Dynamic Analysis
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Journal of Systems and Software
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Adaptive service-oriented mobile applications: a declarative approach
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Managing non-functional uncertainty via model-driven adaptivity
Proceedings of the 2013 International Conference on Software Engineering
Coupling software architecture and human architecture for collaboration-aware system adaptation
Proceedings of the 2013 International Conference on Software Engineering
Learning revised models for planning in adaptive systems
Proceedings of the 2013 International Conference on Software Engineering
Controller synthesis: from modelling to enactment
Proceedings of the 2013 International Conference on Software Engineering
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Autonomous or semi-autonomous systems are deployed in environments where contact with programmers or technicians is infrequent or undesirable. To operate reliably, such systems should be able to adapt to new circumstances on their own. This paper describes our combined approach for adaptable software architecture and task synthesis from high-level goals, which is based on a three-layer model. In the uppermost layer, reactive plans are generated from goals expressed in a temporal logic. The middle layer is responsible for plan execution and assembling a configuration of domain-specific software components, which reside in the lowest layer. Moreover, the middle layer is responsible for selecting alternative components when the current configuration is no longer viable for the circumstances that have arisen. The implementation demonstrates that the approach enables us to handle non-determinism in the environment and unexpected failures in software components.