Towards automated provenance collection for runtime models to record system history


In highly dynamic environments, systems are expected to make decisions on the fly based on their observations that are bound to be partial. As such, the reasons for its runtime behaviour may be difficult to understand. In these cases, accountability is crucial, and decisions by the system need to be traceable. Logging is essential to support explanations of behaviour, but it poses challenges. Concerns about analysing massive logs have motivated the introduction of structured logging, however, knowing what to log and which details to include is still a challenge. Structured logs still do not necessarily relate events to each other, or indicate time intervals. We argue that logging changes to a runtime model in a provenance graph can mitigate some of these problems. The runtime model keeps only relevant details, therefore reducing the volume of the logs, while the provenance graph records causal connections between the changes and the activities performed by the agents in the system that have introduced them. In this paper, we demonstrate a first version towards a reusable infrastructure for the automated construction of such a provenance graph. We apply it to a multithreaded traffic simulation case study, with multiple concurrent agents managing different parts of the simulation. We show how the provenance graphs can support validating the system behaviour, and how a seeded fault is reflected in the provenance graphs.

Publication DOI:
Divisions: ?? 50811700Jl ??
Additional Information: Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from SAM ’20, October 19–20, 2020, Virtual Event, Canada © 2020 Association for Computing Machinery
Uncontrolled Keywords: Multi-threading,Provenance,Runtime models,Self-adaptation,Self-explanation,Modelling and Simulation,Software
ISBN: 978-1-4503-8140-6
Last Modified: 16 Apr 2024 07:41
Date Deposited: 27 Oct 2020 15:32
Full Text Link:
Related URLs: https://dl.acm. ... 3419804.3420262 (Publisher URL)
http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Conference contribution
Published Date: 2020-10-19
Published Online Date: 2020-10-18
Authors: Reynolds, Owen
García-Domínguez, Antonio (ORCID Profile 0000-0002-4744-9150)
Bencomo, Nelly (ORCID Profile 0000-0001-6895-1636)



Version: Published Version

| Preview

Export / Share Citation


Additional statistics for this record