- From: Jun Zhao <jun.zhao@zoo.ox.ac.uk>
- Date: Tue, 14 Jun 2011 13:45:03 +0100
- To: public-prov-wg@w3.org
Hi James, [...] > But maybe I'm being overly pedantic. I think bringing in MUST and SHOULD makes the definitions much more rigorous. Your definition has nicely implied a set of validation rules for provenance logs:) But I am not sure whether this level of rigor should happen when we implement the model using semantics or now, when defining the concepts. A question to the chairs and others: How rigorous do we want to in concept definitions? cheers, Jun > > --James > > On Jun 14, 2011, at 12:29 PM, Simon Miles wrote: > >> +1 except for the caveat made in the last teleconference, e.g. I might >> be modelling what I expect the provenance of something to be in 10 >> years time, in which case the execution is in the past of an imagined >> future, not in the past from now. >> >> So I would qualify the definition to something like: >> "the start of a process execution is always in the past, from the >> position of any assertion made about it." >> >> Thanks, >> Simon >> >> On 14 June 2011 11:48, Paul Groth<pgroth@gmail.com> wrote: >>> Hi All: >>> >>> In trying to move towards a definition of process execution, it >>> would be >>> good to get the groups consensus on the notion of process execution >>> being in the past. Namely, the following is proposed from the last >>> telecon: >>> >>> "A process execution has either completed (occurred in the past) or >>> is >>> occurring in present (partially complete). In other words, the >>> start of >>> a process execution is always in the past." >>> >>> Can you express by +1/-1/0 your support for this proposal via a >>> response >>> to this email message? >>> >>> The due date for responses is this Thursday before the telecon. >>> >>> Thanks, >>> Paul >>> >>> >>> ______________________________________________________________________ >>> This email has been scanned by the MessageLabs Email Security System. >>> For more information please visit http://www.messagelabs.com/email >>> ______________________________________________________________________ >>> >> >> >> >> -- >> Dr Simon Miles >> Lecturer, Department of Informatics >> Kings College London, WC2R 2LS, UK >> +44 (0)20 7848 1166 >> >> > >
Received on Tuesday, 14 June 2011 12:45:51 UTC