by Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese
Abstract:
Modern software systems are intricate and operate in highly dynamic environments for which few assumptions can be made at design-time. This setting has sparked an interest in solutions that use a runtime model which reflects the system state and operational context to monitor and adapt the system in reaction to changes during its runtime. Few solutions focus on the evolution of the model over time, i.e., its history, although history is required for monitoring temporal behaviors and may enable more informed decision-making. One reason is that handling the history of a runtime model poses an important technical challenge, as it requires tracing a part of the model over multiple model snapshots in a timely manner. Additionally, the runtime setting calls for memory-efficient measures to store and check these snapshots. Following the common practice of representing a runtime model as a typed attributed graph, we introduce a language which supports the formulation of temporal graph queries, i.e., queries on the ordering and timing in which structural changes in the history of a runtime model occurred. We present a querying scheme for the execution of temporal graph queries over history-aware runtime models. Features such as temporal logic operators in queries, the incremental execution, the option to discard history that is no longer relevant to queries, and the in-memory storage of the model, distinguish our scheme from relevant solutions. By incorporating temporal operators, temporal graph queries can be used for runtime monitoring of temporal logic formulas. Building on this capability, we present an implementation of the scheme that is evaluated for runtime querying, monitoring, and adaptation scenarios from two application domains.
Reference:
Incremental execution of temporal graph queries over runtime models with history and its applications (Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese), In Software and Systems Modeling, 2021.
Bibtex Entry:
@Article{Sakizloglou_2021_Incrementalexecutiontemporalgraphqueriesruntimemodelshistoryitsapplications,
AUTHOR = {Sakizloglou, Lucas and Ghahremani, Sona and Barkowsky, Matthias and Giese, Holger},
TITLE = {{Incremental execution of temporal graph queries over runtime models with history and its applications}},
YEAR = {2021},
MONTH = {December},
JOURNAL = {Software and Systems Modeling},
URL = {https://doi.org/10.1007/s10270-021-00950-6},
PDF = {uploads/pdf/Sakizloglou_2021_Incrementalexecutiontemporalgraphqueriesruntimemodelshistoryitsapplications.pdf},
OPTacc_pdf = {},
ABSTRACT = {Modern software systems are intricate and operate in highly dynamic environments for which few assumptions can be made at design-time. This setting has sparked an interest in solutions that use a runtime model which reflects the system state and operational context to monitor and adapt the system in reaction to changes during its runtime. Few solutions focus on the evolution of the model over time, i.e., its history, although history is required for monitoring temporal behaviors and may enable more informed decision-making. One reason is that handling the history of a runtime model poses an important technical challenge, as it requires tracing a part of the model over multiple model snapshots in a timely manner. Additionally, the runtime setting calls for memory-efficient measures to store and check these snapshots. Following the common practice of representing a runtime model as a typed attributed graph, we introduce a language which supports the formulation of temporal graph queries, i.e., queries on the ordering and timing in which structural changes in the history of a runtime model occurred. We present a querying scheme for the execution of temporal graph queries over history-aware runtime models. Features such as temporal logic operators in queries, the incremental execution, the option to discard history that is no longer relevant to queries, and the in-memory storage of the model, distinguish our scheme from relevant solutions. By incorporating temporal operators, temporal graph queries can be used for runtime monitoring of temporal logic formulas. Building on this capability, we present an implementation of the scheme that is evaluated for runtime querying, monitoring, and adaptation scenarios from two application domains.},
ANNOTE = {LANGUAGE : en}
}