SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

Provenance Inferences in OPM Workshop: Unexpected Consequences and Solutions

merv avatar
merv
12 diapositives · 232 Views · Jul 31, 2014

Explore the implications of OPM workshop rules on inferences and artifacts, with suggested solutions for more accurate modeling.

#provenance inferences in opm workshop: unexpected consequences and solutions #provenance inferences in opm workshop: unexpected consequences and solutions ppt #powerpoint #presentation
Provenance Inferences in OPM Workshop: Unexpected Consequences and Solutions - slide 1
01 / 12Provenance Inferences in OPM Workshop: Unexpected Consequences and Solutions
1 / 17

Télécharger la présentation

Provenance Inferences in OPM Workshop: Unexpected Consequences and Solutions
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. What legal inferences in OPM OPM Workshop Luc Moreau

  2. wasTriggeredBy wasGene- ratedBy(R2) P2 A1 P1 A2 used(R1) used(R3) Acc2 Acc1 Acc3 wasDerivedFrom wasGeneratedBy used wasDerivedFrom

  3. Problem • This rule leads to unexpected inferences

  4. 1 egg 100g Butter wasGeneratedBy(unused) used(butter) 2 eggs used(egg) Bake bad Cake wasGeneratedBy(cake) 100g Sugar used(sugar) used(flour) 100g Flour

  5. Using this rule, we can infer that the • Unused egg was derived from the flour!

  6. Origin of the Problem (1) • Definition 5 [Artifact Used by Process]: In a graph, connecting a process to an artifact by a used edge is intended to indicate that the process required the availability of the artifact to complete its execution. When several artifacts are connected to a same process by multiple used edges, all of them were required for the process to complete.

  7. Origin of the Problem (2) • Definition 6 [Artifacts Generated by Processes] In a graph, connecting an artifact to a process by an edge wasGeneratedBy is intended to mean that the process was required to initiate its execution for the artifact to be generated. When several artifacts are connected to a same process by multiple wasGeneratedBy edges, the process had to have begun, for all of them to be generated.

  8. Origin of the Problem (3) • Inferring that an output was derived from a process input is therefore not valid

  9. Solution to the Problem (1) • PASOA model allows only one input per process and relationships are between 1 input and all the inputs that were required for the derivation to take place

  10. Solution to the Problem (2) • Rename wasDerivedFrom into mayHaveBeenDerivedFrom • Very weak semantics

  11. Solution to Problem (3) • Strength definitions 5 • Definition 5: inputs need to be available for the process to begin (as opposed to complete)

  12. Solution to Problem (4) • Use time annotations to restricted permitted inferences • Problem: we thought that provenance could be timeless • Time is no longer really an annotation • Causality implies time, but time does not imply causality!