Activity composition

Hello,

I am a PhD student of the VU University Amsterdam, and I would have a question about the composition of activities in PROV. I noticed that it is not possible to explicitly state that an activity is actually part of another one.

Suppose that a given entity is the result of an activity and, in turn, this activity is part of a larger one.

I can represent this scenario with two separate graphs stating that each of the two activities generated the entity, and from them (and their execution times, etc.) I may infer that one is part of the other one, but I can't explicitly state that.

Is there a specific reason for such a limitation?

Thanks,

Davide

Davide Ceolin MSc.
PhD student
The Network Institute
VU University Amsterdam
d.ceolin@vu.nl
http://www.few.vu.nl/~dceolin/

Received on Wednesday, 9 May 2012 21:28:06 UTC