Skip to main content

Research Repository

Advanced Search

Automated Provenance Collection at Runtime as a Cross-Cutting Concern

James Reynolds, Owen; García-Domínguez, Antonio; Bencomo, Nelly

Authors

Owen James Reynolds

Antonio García-Domínguez



Abstract

Autonomous decision-making is increasingly applied to handle highly dynamic, uncertain environments: as incorrect decisions can cause serious harm to individuals or society, there is a need for accountability. For systems that use runtime models to represent their observations and decisions, one possible solution to understand their behaviour is to study the provenance of the changes to those runtime models. In this paper, we investigate how to use Aspect-Oriented Programming (AOP) to solve the cross-cutting concern of automated provenance collection through aspect-oriented programming, as a generalisation of previous work which could only operate on models created with the Eclipse Modeling Framework. We present a variety of patterns to identify the elements of the runtime model that are of interest for automated provenance collection, as well as the additional supporting infrastructure needed to cover the gaps left by the lack of a dedicated modelling framework. Two case studies have been conducted. The first study replicates past results with an EMF-based system, using AOP instead of customising the code generation, and compares runtime overheads and required developer effort. The other case study investigates the use of Cronista with AOP on a system using plain Java classes for its runtime model. The results show that the new AOP-based approach for automated provenance collection can effectively replace the old generator-based approach, while being applicable to a broader range of systems, at a cost of a small increase in runtime memory usage for EMF-based runtime models.

Citation

James Reynolds, O., García-Domínguez, A., & Bencomo, N. (2023). Automated Provenance Collection at Runtime as a Cross-Cutting Concern. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (276-285)

Conference Name 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Conference Location Västerås, Sweden
Start Date Oct 1, 2023
End Date Oct 6, 2023
Acceptance Date Aug 31, 2023
Online Publication Date Dec 22, 2023
Publication Date Dec 22, 2023
Deposit Date Feb 7, 2024
Publisher Institute of Electrical and Electronics Engineers
Pages 276-285
Book Title 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
ISBN 9798350324990
Public URL https://durham-repository.worktribe.com/output/2228537