Abstract
The ability to ensure an optimal decision is significant for self-adaptive systems especially when dealing with uncertainty. For this reason, a synthesis-driven approach can be used to capture and synthesize a decision that aims to satisfy the multi-objective properties. Assessing the quality of the synthesis-driven approach is challenging, since it involves a set of activities from modeling, simulating, and analyzing the outcomes. This paper presents the design and implementation of a graphical user interface (GUI)-based prototype for assessing synthesis outcome and performance of an adaptation decision. The prototype is designed and developed based on the component-based development approach that is able to integrate the existing and related libraries from PRISM-games model checker for the synthesis engine, JFreeChart libraries for the chart presentation, and Java Universal Network/Graph Framework libraries for the graph visualization. This paper also presents the implementation of the proposed prototype based on the cloud application deployment scenario to illustrate its applicability. This work contributes to provide a fundamental work towards automated synthesis for self-adaptive systems.
Highlights
Self-adaptation is a promising strategy used to address the uncertainty, dynamicity and complexity of modern software systems and their environments [1,2,3]. It enables a software system which consists of an autonomic manager to monitor the targeted system, detect the need for adaptation, make an adaptation whenever needed, and execute the plan to change the behavior of the targeted system from unwanted state to the required state
In the context of cloud computing, self-adaptation is useful especially for Autonomic Clouds [6] which introduces the notion of self-adaptive of multi-cloud environment
We have presented a graphical user interface (GUI)-driven prototype for supporting the synthesis of self-adaptation decision in the autonomic clouds environment
Summary
Azlan Ismail1, Susanti Intu2, Suzana Zambri3 1,2,3Faculty of Computer and Mathematical Sciences, Universiti Teknologi MARA Shah Alam, 40450, Selangor, Malaysia 1Knowledge and Software Engineering Research Group, Universiti Teknologi MARA Shah Alam, 40450, Selangor, Malaysia Article history: Received Aug 21, 2019 Revised Dec 28, 2019 Accepted Jan 23, 2020 Keywords: Autonomic clouds Model checking Self-adaptation Stochastic games Synthesis
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
