Learning in the presence of concept drift and hidden contexts
Machine Learning
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Evaluating the effectiveness of the Rainbow self-adaptive system
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Computer
RELAX: a language to address uncertainty in self-adaptive systems requirement
Requirements Engineering - RE'09 Special Issue; Guest Editor:Kevin T Ryan
Fuzzy Goals for Requirements-Driven Adaptation
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Self-Adaptive Fuzzy QoS-Driven Web Service Discovery
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
A formal approach to adaptive software: continuous assurance of non-functional requirements
Formal Aspects of Computing
Run-time resolution of uncertainty
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Service-based systems (SBS) must be able to adapt their architectural configurations during runtime in order to keep satisfied their specification models. These models are the result of design time derivation of requirements into precise and verifiable specifications by using the knowledge about the current service offerings. Unfortunately, the design time knowledge may be no longer valid during runtime. Then, non- functional constraints may have different numerical meanings at different time even for the same observers. Thus, specification models become obsolete affecting the SBS’ capability of detecting requirement violations during runtime and therefore they trigger reconfigurations when appropriated. In order to mitigate the obsolescence of specification models, we propose to specify and verify them using the computing with words (CWW) methodology. First, non-functional properties (NFPs) of functionally-equivalent services are modeled as linguistic variables, whose domains are concepts or linguistic values instead of precise numbers. Second, architects specify at design time their requirements as linguistic decision models (LDMs) using these concepts. Third, during runtime, the CWW engine monitors the requirements satisfaction by the current chosen architectural configuration. And fourth, each time a global concept drift is detected in the NFPs of the services market, the numerical meanings are updated. Our initial results are encouraging, where our approach mitigates effectively and efficiently the obsolescence of the specification models used by SBS to drive their reconfigurations.