Using Architecture Models for Runtime Adaptability
IEEE Software
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Quality Prediction of Service Compositions through Probabilistic Model Checking
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Embedding process models in object-oriented program code
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Improving Architecture-Based Self-Adaptation through Resource Prediction
Software Engineering for Self-Adaptive Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Self-Repair through Reconfiguration: A Requirements Engineering Approach
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
RELAX: a language to address uncertainty in self-adaptive systems requirement
Requirements Engineering - RE'09 Special Issue; Guest Editor:Kevin T Ryan
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Self-adaptive software system monitoring for performance anomaly localization
Proceedings of the 8th ACM international conference on Autonomic computing
System identification for adaptive software systems: a requirements engineering perspective
ER'11 Proceedings of the 30th international conference on Conceptual modeling
A formal approach to adaptive software: continuous assurance of non-functional requirements
Formal Aspects of Computing
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated runtime recovery for QoS-based service composition
Proceedings of the 23rd international conference on World wide web
Uncertainty handling in goal-driven self-optimization - Limiting the negative effect on adaptation
Journal of Systems and Software
Hi-index | 0.00 |
Modern software systems are often characterized by uncertainty and changes in the environment in which they are embedded. Hence, they must be designed as adaptive systems. We propose a framework that supports adaptation to non-functional manifestations of uncertainty. Our framework allows engineers to derive, from an initial model of the system, a finite state automaton augmented with probabilities. The system is then executed by an interpreter that navigates the automaton and invokes the component implementations associated to the states it traverses. The interpreter adapts the execution by choosing among alternative possible paths of the automaton in order to maximize the system's ability to meet its non-functional requirements. To demonstrate the adaptation capabilities of the proposed approach we implemented an adaptive application inspired by an existing worldwide distributed mobile application and we discussed several adaptation scenarios.