The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Utility Functions in Autonomic Systems
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
FAST '04 Proceedings of the 3rd USENIX Conference on File and Storage Technologies
Depth-first search and linear grajh algorithms
SWAT '71 Proceedings of the 12th Annual Symposium on Switching and Automata Theory (swat 1971)
Elicitation and utilization of application-level utility functions
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A goal-based framework for contextual requirements modeling and analysis
Requirements Engineering
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Fuzzy Goals for Requirements-Driven Adaptation
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
A framework for evaluating quality-driven self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
Towards requirements aware systems: Run-time resolution of design-time assumptions
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Are your sites down? Requirements-driven self-tuning for the survivability of Web systems
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Dynamic decision networks for decision-making in self-adaptive systems: a case study
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Uncertainty handling in goal-driven self-optimization - Limiting the negative effect on adaptation
Journal of Systems and Software
Hi-index | 0.00 |
Self-adaptation enables software systems to respond to changing environmental contexts that may not be fully understood at design time. Designing a dynamically adaptive system (DAS) to cope with this uncertainty is challenging, as it is impractical during requirements analysis and design time to anticipate every environmental condition that the DAS may encounter. Previously, the RELAX language was proposed to make requirements more tolerant to environmental uncertainty, and Claims were applied as markers of uncertainty that document how design assumptions affect goals. This paper integrates these two techniques in order to assess the validity of Claims at run time while tolerating minor and unanticipated environmental conditions that can trigger adaptations. We apply the proposed approach to the dynamic reconfiguration of a remote data mirroring network that must diffuse data while minimizing costs and exposure to data loss. Results show RELAXing Claims enables a DAS to reduce adaptation costs.