Outcome

The ballot result is: Yes: 6/No: 1.

However there is a suggestion to support a convenience annotation (by which inference could be made for annotated processes). This could be defined as a profile: ChangeProposalWasDerivedFromInferrableProfile.

The resolution is that this change proposal is endorsed by we should work on ChangeProposalWasDerivedFromInferrableProfile.

Comment by Paul Groth

I agree that wasDerivedEdges should be asserted. However, I think we could allow an annotation on a process that says: I assert that all outputs are derived from all of this process's inputs. This would allow what many of the participants in PC3 did but make it explicit and thus not break OPM inference rules.

Comment 3 in reply to Jim above

A problem with restricting OPM processes to make the inference valid, as someone raised in Amsterdam, is that you often just don't know, or want to know, what is happening inside a particular process but you do know what's going in and coming out. By restricting the definition to one for which the inference rule works, you are placing an impossible burden on the asserter to know what is occurring and expanding the amount of documentation (by breaking into subprocesses) with little apparent benefit.

Comment 1 by Simon Miles

Regardless of deleting wasDerivedFrom inference, there is a case (made in discussions here) for allowing inferrable information to be asserted, which would include wasDerivedFrom, wasDerivedFrom* etc.

Delete Inference of WasDerivedFrom, promote assertion of WasDerivedFrom

Authors

Luc Moreau, June 19, 2009.

Subject

OPM1.01

Background

OPM v1.00 introduced an inference rule that allows us to infer a WasDerivedFrom edge.

Problem addressed

This inference rule was observed to be incorrect, and OPMv1.01 made this clear in rule (3) of Figure 11. ChangeProposalWasDerivedCannotBeInferred provides explanations for this problem.

Proposed solution

Remove the inference rule from the specification. But also, make the case in the introduction that WasDerivedFrom needs to be asserted. It's an important edge that, at the minimum, represents control flow, and at the maximum, represents data derivation. It can only be asserted. This requires adding this edge to the examples at the beginning of the paper.

Rationale for the solution

Inferences need to be sound, allowing us to derive data derivations that exist!

Comments

Community is invited to provide comments on proposals.

comment 1

include authors

Vote

-- LucMoreau - 15 Jun 2009

-- LucMoreau - 19 Jun 2009