A verification technique for self-adaptive software by using model-checking

Euijong Lee, Doo Kwon Baik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Self-adaptive software refers to software that can change its behavior by itself to perform an intended objective according to changes in the surrounding environment. In this study, a technique is proposed to detect the possibility of problem occurrence in advance, before the self-adaptive software carries out self-adaptation according to changes in the surrounding environment. For the proposed technique, a model-checking technique is applied, which is a software modeling verification technique. The proposed technique was applied to ZNN.com, which provides a self-adaptive software scenario. Through this, the possibility was shown that an adaptive-strategy can be prepared in advance by self-adaptive software through the model-checking technique in the stage prior to the execution of self-adaptation.

Original languageEnglish
Title of host publicationProceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015
EditorsElena B. Kozerenko, Peter M. LaMonica, Todd Waskiewicz, Jose A. Olivas, George Jandieri, David de la Fuente, Hamid R. Arabnia, Roger Dziegiel, Raymond A. Liuzzi
PublisherCSREA Press
Pages395-396
Number of pages2
ISBN (Electronic)1601324073, 9781601324078
Publication statusPublished - 2019 Jan 1
Event2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015 - Las Vegas, United States
Duration: 2015 Jul 272015 Jul 30

Publication series

NameProceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015

Conference

Conference2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015
CountryUnited States
CityLas Vegas
Period15/7/2715/7/30

Fingerprint

Model checking

Keywords

  • Model-Checking
  • Self-adaptive software
  • Software verification

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Cite this

Lee, E., & Baik, D. K. (2019). A verification technique for self-adaptive software by using model-checking. In E. B. Kozerenko, P. M. LaMonica, T. Waskiewicz, J. A. Olivas, G. Jandieri, D. de la Fuente, H. R. Arabnia, R. Dziegiel, ... R. A. Liuzzi (Eds.), Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015 (pp. 395-396). (Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015). CSREA Press.

A verification technique for self-adaptive software by using model-checking. / Lee, Euijong; Baik, Doo Kwon.

Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015. ed. / Elena B. Kozerenko; Peter M. LaMonica; Todd Waskiewicz; Jose A. Olivas; George Jandieri; David de la Fuente; Hamid R. Arabnia; Roger Dziegiel; Raymond A. Liuzzi. CSREA Press, 2019. p. 395-396 (Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, E & Baik, DK 2019, A verification technique for self-adaptive software by using model-checking. in EB Kozerenko, PM LaMonica, T Waskiewicz, JA Olivas, G Jandieri, D de la Fuente, HR Arabnia, R Dziegiel & RA Liuzzi (eds), Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015. Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015, CSREA Press, pp. 395-396, 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015, Las Vegas, United States, 15/7/27.
Lee E, Baik DK. A verification technique for self-adaptive software by using model-checking. In Kozerenko EB, LaMonica PM, Waskiewicz T, Olivas JA, Jandieri G, de la Fuente D, Arabnia HR, Dziegiel R, Liuzzi RA, editors, Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015. CSREA Press. 2019. p. 395-396. (Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015).
Lee, Euijong ; Baik, Doo Kwon. / A verification technique for self-adaptive software by using model-checking. Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015. editor / Elena B. Kozerenko ; Peter M. LaMonica ; Todd Waskiewicz ; Jose A. Olivas ; George Jandieri ; David de la Fuente ; Hamid R. Arabnia ; Roger Dziegiel ; Raymond A. Liuzzi. CSREA Press, 2019. pp. 395-396 (Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015).
@inproceedings{5f62ed788d9d473da75ff111f1fccc1f,
title = "A verification technique for self-adaptive software by using model-checking",
abstract = "Self-adaptive software refers to software that can change its behavior by itself to perform an intended objective according to changes in the surrounding environment. In this study, a technique is proposed to detect the possibility of problem occurrence in advance, before the self-adaptive software carries out self-adaptation according to changes in the surrounding environment. For the proposed technique, a model-checking technique is applied, which is a software modeling verification technique. The proposed technique was applied to ZNN.com, which provides a self-adaptive software scenario. Through this, the possibility was shown that an adaptive-strategy can be prepared in advance by self-adaptive software through the model-checking technique in the stage prior to the execution of self-adaptation.",
keywords = "Model-Checking, Self-adaptive software, Software verification",
author = "Euijong Lee and Baik, {Doo Kwon}",
year = "2019",
month = "1",
day = "1",
language = "English",
series = "Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015",
publisher = "CSREA Press",
pages = "395--396",
editor = "Kozerenko, {Elena B.} and LaMonica, {Peter M.} and Todd Waskiewicz and Olivas, {Jose A.} and George Jandieri and {de la Fuente}, David and Arabnia, {Hamid R.} and Roger Dziegiel and Liuzzi, {Raymond A.}",
booktitle = "Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015",

}

TY - GEN

T1 - A verification technique for self-adaptive software by using model-checking

AU - Lee, Euijong

AU - Baik, Doo Kwon

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Self-adaptive software refers to software that can change its behavior by itself to perform an intended objective according to changes in the surrounding environment. In this study, a technique is proposed to detect the possibility of problem occurrence in advance, before the self-adaptive software carries out self-adaptation according to changes in the surrounding environment. For the proposed technique, a model-checking technique is applied, which is a software modeling verification technique. The proposed technique was applied to ZNN.com, which provides a self-adaptive software scenario. Through this, the possibility was shown that an adaptive-strategy can be prepared in advance by self-adaptive software through the model-checking technique in the stage prior to the execution of self-adaptation.

AB - Self-adaptive software refers to software that can change its behavior by itself to perform an intended objective according to changes in the surrounding environment. In this study, a technique is proposed to detect the possibility of problem occurrence in advance, before the self-adaptive software carries out self-adaptation according to changes in the surrounding environment. For the proposed technique, a model-checking technique is applied, which is a software modeling verification technique. The proposed technique was applied to ZNN.com, which provides a self-adaptive software scenario. Through this, the possibility was shown that an adaptive-strategy can be prepared in advance by self-adaptive software through the model-checking technique in the stage prior to the execution of self-adaptation.

KW - Model-Checking

KW - Self-adaptive software

KW - Software verification

UR - http://www.scopus.com/inward/record.url?scp=85063232527&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85063232527&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85063232527

T3 - Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015

SP - 395

EP - 396

BT - Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015

A2 - Kozerenko, Elena B.

A2 - LaMonica, Peter M.

A2 - Waskiewicz, Todd

A2 - Olivas, Jose A.

A2 - Jandieri, George

A2 - de la Fuente, David

A2 - Arabnia, Hamid R.

A2 - Dziegiel, Roger

A2 - Liuzzi, Raymond A.

PB - CSREA Press

ER -