A GUI-driven prototype for synthesizing self-adaptation decision
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...
Published in: | Bulletin of Electrical Engineering and Informatics |
---|---|
Main Author: | |
Format: | Article |
Language: | English |
Published: |
Institute of Advanced Engineering and Science
2020
|
Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85083995477&doi=10.11591%2feei.v9i2.1716&partnerID=40&md5=b390037ef6e269e216f06e8b9dac4db7 |
id |
2-s2.0-85083995477 |
---|---|
spelling |
2-s2.0-85083995477 Ismail A.; Intu S.; Zambri S. A GUI-driven prototype for synthesizing self-adaptation decision 2020 Bulletin of Electrical Engineering and Informatics 9 2 10.11591/eei.v9i2.1716 https://www.scopus.com/inward/record.uri?eid=2-s2.0-85083995477&doi=10.11591%2feei.v9i2.1716&partnerID=40&md5=b390037ef6e269e216f06e8b9dac4db7 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. © 2020, Institute of Advanced Engineering and Science. All rights reserved. Institute of Advanced Engineering and Science 20893191 English Article All Open Access; Gold Open Access |
author |
Ismail A.; Intu S.; Zambri S. |
spellingShingle |
Ismail A.; Intu S.; Zambri S. A GUI-driven prototype for synthesizing self-adaptation decision |
author_facet |
Ismail A.; Intu S.; Zambri S. |
author_sort |
Ismail A.; Intu S.; Zambri S. |
title |
A GUI-driven prototype for synthesizing self-adaptation decision |
title_short |
A GUI-driven prototype for synthesizing self-adaptation decision |
title_full |
A GUI-driven prototype for synthesizing self-adaptation decision |
title_fullStr |
A GUI-driven prototype for synthesizing self-adaptation decision |
title_full_unstemmed |
A GUI-driven prototype for synthesizing self-adaptation decision |
title_sort |
A GUI-driven prototype for synthesizing self-adaptation decision |
publishDate |
2020 |
container_title |
Bulletin of Electrical Engineering and Informatics |
container_volume |
9 |
container_issue |
2 |
doi_str_mv |
10.11591/eei.v9i2.1716 |
url |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85083995477&doi=10.11591%2feei.v9i2.1716&partnerID=40&md5=b390037ef6e269e216f06e8b9dac4db7 |
description |
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. © 2020, Institute of Advanced Engineering and Science. All rights reserved. |
publisher |
Institute of Advanced Engineering and Science |
issn |
20893191 |
language |
English |
format |
Article |
accesstype |
All Open Access; Gold Open Access |
record_format |
scopus |
collection |
Scopus |
_version_ |
1809677898635804672 |