<<O>>  Difference Topic ChangeProposalDeleteWasDerivedInference (r1.10 - 25 Sep 2009 - LucMoreau)

META TOPICPARENT WorkInProgressV1pt1

Delete Inference of WasDerivedFrom, promote assertion of WasDerivedFrom

Line: 77 to 77

Jan Van den Bussche, yes

Added:
>
>



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.


-- LucMoreau - 19 Jun 2009
View topic | Diffs | r1.10 | > | r1.9 | > | r1.8 | More
Revision r1.9 - 23 Sep 2009 - 15:04 - JanVanDenBussche
Revision r1.10 - 25 Sep 2009 - 13:52 - LucMoreau