Reflecting on the past and the present with temporal graph-based models

Research output: Contribution to journalConference article

Abstract

Self-adaptive systems (SAS) need to reflect on the current environment conditions, their past and current behaviour to support decision making. Decisions may have different effects depending on the context. On the one hand, some adaptations may have run into difficulties. On the other hand, users or operators may want to know why the system evolved in a certain direction. Users may just want to know why the system is showing a given behaviour or has made a decision as the behaviour may be surprising or not expected. We argue that answering emerging questions related to situations like these requires storing execution trace models in a way that allows for travelling back and forth in time, qualifying the decision making against available evidence. In this paper, we propose temporal graph databases as a useful representation for trace models to support self-explanation, interactive diagnosis or forensic analysis. We define a generic meta-model for structuring execution traces of SAS, and show how a sequence of traces can be turned into a temporal graph model. We present a first version of a query language for these temporal graphs through a case study, and outline the potential applications for forensic analysis (after the system has finished in a potentially abnormal way), self-explanation, and interactive diagnosis at runtime.

Original languageEnglish
Pages (from-to)46-55
Number of pages10
JournalCEUR Workshop Proceedings
Volume2245
Publication statusPublished - 18 Nov 2018
Event2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018 - Copenhagen, Denmark
Duration: 14 Oct 201819 Oct 2018

Fingerprint

Adaptive systems
Decision making
Query languages

Bibliographical note

© 2018 The Authors. 'Reflecting on the Past and the Present with Temporal Graph-based Models'. Antonio Garcia-Dominguez, Nelly Bencomo, Luis Hernan Garcia Paucar. CEUR Workshop Proceedings 2245, pp. 46-55

Keywords

  • Runtime models
  • Self-adaptation
  • Self-explanation
  • Temporal Graph Models

Cite this

García-Domínguez, A., Bencomo, N., & Garcia Paucar, L. H. (2018). Reflecting on the past and the present with temporal graph-based models. CEUR Workshop Proceedings, 2245, 46-55.
García-Domínguez, Antonio ; Bencomo, Nelly ; Garcia Paucar, Luis H. / Reflecting on the past and the present with temporal graph-based models. In: CEUR Workshop Proceedings. 2018 ; Vol. 2245. pp. 46-55.
@article{d9be1234d7b2409a9c51482ea93e9ce2,
title = "Reflecting on the past and the present with temporal graph-based models",
abstract = "Self-adaptive systems (SAS) need to reflect on the current environment conditions, their past and current behaviour to support decision making. Decisions may have different effects depending on the context. On the one hand, some adaptations may have run into difficulties. On the other hand, users or operators may want to know why the system evolved in a certain direction. Users may just want to know why the system is showing a given behaviour or has made a decision as the behaviour may be surprising or not expected. We argue that answering emerging questions related to situations like these requires storing execution trace models in a way that allows for travelling back and forth in time, qualifying the decision making against available evidence. In this paper, we propose temporal graph databases as a useful representation for trace models to support self-explanation, interactive diagnosis or forensic analysis. We define a generic meta-model for structuring execution traces of SAS, and show how a sequence of traces can be turned into a temporal graph model. We present a first version of a query language for these temporal graphs through a case study, and outline the potential applications for forensic analysis (after the system has finished in a potentially abnormal way), self-explanation, and interactive diagnosis at runtime.",
keywords = "Runtime models, Self-adaptation, Self-explanation, Temporal Graph Models",
author = "Antonio Garc{\'i}a-Dom{\'i}nguez and Nelly Bencomo and {Garcia Paucar}, {Luis H.}",
note = "{\circledC} 2018 The Authors. 'Reflecting on the Past and the Present with Temporal Graph-based Models'. Antonio Garcia-Dominguez, Nelly Bencomo, Luis Hernan Garcia Paucar. CEUR Workshop Proceedings 2245, pp. 46-55",
year = "2018",
month = "11",
day = "18",
language = "English",
volume = "2245",
pages = "46--55",

}

García-Domínguez, A, Bencomo, N & Garcia Paucar, LH 2018, 'Reflecting on the past and the present with temporal graph-based models', CEUR Workshop Proceedings, vol. 2245, pp. 46-55.

Reflecting on the past and the present with temporal graph-based models. / García-Domínguez, Antonio; Bencomo, Nelly; Garcia Paucar, Luis H.

In: CEUR Workshop Proceedings, Vol. 2245, 18.11.2018, p. 46-55.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Reflecting on the past and the present with temporal graph-based models

AU - García-Domínguez, Antonio

AU - Bencomo, Nelly

AU - Garcia Paucar, Luis H.

N1 - © 2018 The Authors. 'Reflecting on the Past and the Present with Temporal Graph-based Models'. Antonio Garcia-Dominguez, Nelly Bencomo, Luis Hernan Garcia Paucar. CEUR Workshop Proceedings 2245, pp. 46-55

PY - 2018/11/18

Y1 - 2018/11/18

N2 - Self-adaptive systems (SAS) need to reflect on the current environment conditions, their past and current behaviour to support decision making. Decisions may have different effects depending on the context. On the one hand, some adaptations may have run into difficulties. On the other hand, users or operators may want to know why the system evolved in a certain direction. Users may just want to know why the system is showing a given behaviour or has made a decision as the behaviour may be surprising or not expected. We argue that answering emerging questions related to situations like these requires storing execution trace models in a way that allows for travelling back and forth in time, qualifying the decision making against available evidence. In this paper, we propose temporal graph databases as a useful representation for trace models to support self-explanation, interactive diagnosis or forensic analysis. We define a generic meta-model for structuring execution traces of SAS, and show how a sequence of traces can be turned into a temporal graph model. We present a first version of a query language for these temporal graphs through a case study, and outline the potential applications for forensic analysis (after the system has finished in a potentially abnormal way), self-explanation, and interactive diagnosis at runtime.

AB - Self-adaptive systems (SAS) need to reflect on the current environment conditions, their past and current behaviour to support decision making. Decisions may have different effects depending on the context. On the one hand, some adaptations may have run into difficulties. On the other hand, users or operators may want to know why the system evolved in a certain direction. Users may just want to know why the system is showing a given behaviour or has made a decision as the behaviour may be surprising or not expected. We argue that answering emerging questions related to situations like these requires storing execution trace models in a way that allows for travelling back and forth in time, qualifying the decision making against available evidence. In this paper, we propose temporal graph databases as a useful representation for trace models to support self-explanation, interactive diagnosis or forensic analysis. We define a generic meta-model for structuring execution traces of SAS, and show how a sequence of traces can be turned into a temporal graph model. We present a first version of a query language for these temporal graphs through a case study, and outline the potential applications for forensic analysis (after the system has finished in a potentially abnormal way), self-explanation, and interactive diagnosis at runtime.

KW - Runtime models

KW - Self-adaptation

KW - Self-explanation

KW - Temporal Graph Models

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

UR - http://ceur-ws.org/Vol-2245/

M3 - Conference article

AN - SCOPUS:85063088172

VL - 2245

SP - 46

EP - 55

ER -

García-Domínguez A, Bencomo N, Garcia Paucar LH. Reflecting on the past and the present with temporal graph-based models. CEUR Workshop Proceedings. 2018 Nov 18;2245:46-55.