Overview of Todays Talks

1
Overview of Todays Talks

• Provenance Data Structures
• Recording and Querying Provenance
• Break (30 minutes)
• Distribution and Scalability
• Security
• Methodology

2
Recording Process Documentation by Paul Groth
(pg03r_at_ecs.soton.ac.uk)
3
Principles of Recording

• Factuality an actor should only record what it
  knows
• the messages it has sent and received
• the relationships between those messages
• its state
• Attribution every piece of documentation is an
  assertion by an actor and must be attributable to
  that actor
• Immutability an actor cannot change or delete
  what it already has asserted

4
Recording an assertion

• To record an assertion in a provenance store, an
  actor sends the following
• Which message the assertion relates to
• Whether it sent or received that message
• The actors own identity (attribution)
• The content of the assertion

5
Record Message Schema
6
Record Message Schema
The identity of the asserter of the p-assertions
being recorded
7
Record Message Schema
Whether the asserter was the sender or the
receiver in the interaction
8
Record Message Schema
The identifying key of the interaction that the
assertions are about
9
Record Message Schema
The assertion itself message contents, actors
state or a relationship
10
More Background

• Complies with an the abstract P-assertion
  Recording Protocol (PReP)
• The protocol has been formalised
• Several properties have been proven
• Principles are discussed in detail in forthcoming
  paper
• Refer you to appropriate papers if desired