User Guide

SimProv relies on a strict separation of concerns between two key components: provenance capturers and a provenance builder.

The provenance capturers are responsible for detecting and collecting information about the modeler’s activities from different software systems. They function as clients, gathering data related to the development of the simulation model, execution of simulation experiments, and analysis of results. These capturers ensure that relevant information is captured in real-time as the simulation study progresses.

The provenance builder, i.e., the software you are currently learning about in this documentation, operates as a server and processes the information collected by the capturers. It extracts provenance information from the collected data and constructs a provenance graph. This graph represents the relationships between entities, activities, and agents involved in the simulation study, providing a clear overview of the study’s history.

Table of Contents

• Using SimProv
• Building a Provenance Capturer
• Specifying Provenance Patterns
  • Specifying Entities and Agents
  • Specifying Activities
• Specifying Rules
• Extracting Provenance Information from an Event
  • Step 1 - Receiving an Event
  • Step 2 - Applying the Corresponding Rule
  • Step 3 - Match against the Provenance Pattern