Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes

Luis Hernan Garcia Paucar, Nelly Bencomo

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

Abstract

Runtime models support decision-making and reasoning for self-adaptation based on both design-time knowledge and information that may emerge at runtime. In this paper, we demonstrate a novel use of Partially Observable Markov Decision Processes (POMDPs) as runtime models to support the decision-making of a Self Adaptive System (SAS) in the context of the MAPE-K loop. The trade-off between the non-functional requirements (NFRs) has been embodied as a POMDP in the context of the MAPE-K loop. Using Bayesian learning, the levels of satisficement of the NFRs are inferred and updated during execution in the form of runtime models in the Knowledge Base. We evaluate our work with a case study of the networking application domain.
Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019
PublisherIEEE
Pages11-16
Number of pages6
Volume2019-June
ISBN (Electronic)978-1-7281-2731-6
ISBN (Print)978-1-7281-2732-3
DOIs
Publication statusPublished - 1 Jun 2019
Event2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Umea, Sweden
Duration: 16 Jun 201920 Jun 2019

Publication series

Name2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
PublisherIEEE
ISSN (Print)1949-3673
ISSN (Electronic)1949-3681

Conference

Conference2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
Period16/06/1920/06/19

Fingerprint

Markov processes
Decision making
Adaptive systems

Bibliographical note

© 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Keywords

  • Markov Processes
  • Runtime models
  • decision making
  • non-functional requirements
  • self-adaptation
  • uncertainty

Cite this

Garcia Paucar, L. H., & Bencomo, N. (2019). Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. In Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019 (Vol. 2019-June, pp. 11-16). [8780528] (2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)). IEEE. https://doi.org/10.1109/SASO.2019.00011
Garcia Paucar, Luis Hernan ; Bencomo, Nelly. / Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019. Vol. 2019-June IEEE, 2019. pp. 11-16 (2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)).
@inproceedings{ecbbd230a1154015a3a4c2a5878e4c92,
title = "Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes",
abstract = "Runtime models support decision-making and reasoning for self-adaptation based on both design-time knowledge and information that may emerge at runtime. In this paper, we demonstrate a novel use of Partially Observable Markov Decision Processes (POMDPs) as runtime models to support the decision-making of a Self Adaptive System (SAS) in the context of the MAPE-K loop. The trade-off between the non-functional requirements (NFRs) has been embodied as a POMDP in the context of the MAPE-K loop. Using Bayesian learning, the levels of satisficement of the NFRs are inferred and updated during execution in the form of runtime models in the Knowledge Base. We evaluate our work with a case study of the networking application domain.",
keywords = "Markov Processes, Runtime models, decision making, non-functional requirements, self-adaptation, uncertainty",
author = "{Garcia Paucar}, {Luis Hernan} and Nelly Bencomo",
note = "{\circledC} 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.",
year = "2019",
month = "6",
day = "1",
doi = "10.1109/SASO.2019.00011",
language = "English",
isbn = "978-1-7281-2732-3",
volume = "2019-June",
series = "2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)",
publisher = "IEEE",
pages = "11--16",
booktitle = "Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019",
address = "United States",

}

Garcia Paucar, LH & Bencomo, N 2019, Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. in Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019. vol. 2019-June, 8780528, 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), IEEE, pp. 11-16, 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 16/06/19. https://doi.org/10.1109/SASO.2019.00011

Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. / Garcia Paucar, Luis Hernan; Bencomo, Nelly.

Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019. Vol. 2019-June IEEE, 2019. p. 11-16 8780528 (2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)).

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

TY - GEN

T1 - Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes

AU - Garcia Paucar, Luis Hernan

AU - Bencomo, Nelly

N1 - © 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

PY - 2019/6/1

Y1 - 2019/6/1

N2 - Runtime models support decision-making and reasoning for self-adaptation based on both design-time knowledge and information that may emerge at runtime. In this paper, we demonstrate a novel use of Partially Observable Markov Decision Processes (POMDPs) as runtime models to support the decision-making of a Self Adaptive System (SAS) in the context of the MAPE-K loop. The trade-off between the non-functional requirements (NFRs) has been embodied as a POMDP in the context of the MAPE-K loop. Using Bayesian learning, the levels of satisficement of the NFRs are inferred and updated during execution in the form of runtime models in the Knowledge Base. We evaluate our work with a case study of the networking application domain.

AB - Runtime models support decision-making and reasoning for self-adaptation based on both design-time knowledge and information that may emerge at runtime. In this paper, we demonstrate a novel use of Partially Observable Markov Decision Processes (POMDPs) as runtime models to support the decision-making of a Self Adaptive System (SAS) in the context of the MAPE-K loop. The trade-off between the non-functional requirements (NFRs) has been embodied as a POMDP in the context of the MAPE-K loop. Using Bayesian learning, the levels of satisficement of the NFRs are inferred and updated during execution in the form of runtime models in the Knowledge Base. We evaluate our work with a case study of the networking application domain.

KW - Markov Processes

KW - Runtime models

KW - decision making

KW - non-functional requirements

KW - self-adaptation

KW - uncertainty

UR - https://ieeexplore.ieee.org/document/8780528/

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

U2 - 10.1109/SASO.2019.00011

DO - 10.1109/SASO.2019.00011

M3 - Conference contribution

SN - 978-1-7281-2732-3

VL - 2019-June

T3 - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

SP - 11

EP - 16

BT - Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019

PB - IEEE

ER -

Garcia Paucar LH, Bencomo N. Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. In Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019. Vol. 2019-June. IEEE. 2019. p. 11-16. 8780528. (2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)). https://doi.org/10.1109/SASO.2019.00011