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...

Full description

Bibliographic Details
Published in:Bulletin of Electrical Engineering and Informatics
Main Author: Ismail A.; Intu S.; Zambri S.
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