Agenda PROV-WG telecon 30 June 2011

Teleconferences (official participants and invited guests only):
- Thursdays, 8 am San Francisco, 11 am Boston, 4 pm London, 5 pm Paris
- For up to 90 minutes, goal is 60 minutes.
- Dial +1-617-761-6200 or sip:zakim@voip.w3.org then conference code 7768#
- IRC channel: #prov (http://irc.w3.org/?channels=prov).
- Zakim instructions:  http://www.w3.org/2001/12/zakim-irc-bot.html
- RRSAgent instructions: http://www.w3.org/2002/03/RRSAgent
- Scribe list: http://www.w3.org/2011/prov/wiki/Scribes

Admin

• Chair: Luc Moreau
• Scribe: Paolo Missier

• PROPOSED to accept the minutes of 23 Jun telecon

   http://www.w3.org/2011/prov/meeting/2011-06-23

• Action items to review:

   http://www.w3.org/2011/prov/track/actions/open

• Scribes

F2F Plan

• http://www.w3.org/2011/prov/wiki/Meetings:F2F1Timetable

Connection TF Plan to F2F1

• Review progress (Eric and Kai)
• F2F1 Connection Proposal

Implementation and Test Cases TF Plan to F2F1

• Review Progress (Helena and Stephan)
• F2F1 Unit Test Proposal

Access and Query TF Plan to F2F1

• Review Progress (Simon and Yogesh)
• F2F1 Access and Query Proposal

Model TF Plan to F2F1

• Review Progress (Jun, Satya, Paolo, Khalid)
• F2F1 Model Proposal

Model Task Force

• Reaching consensus on concept properties identified in proposed definitions on the Wiki (cont'd)
• PIL is an assertion language http://lists.w3.org/Archives/Public/public-prov-wg/2011Jun/0460.html
• Derivation definition http://lists.w3.org/Archives/Public/public-prov-wg/2011Jun/0459.html
• Agreement on agent http://lists.w3.org/Archives/Public/public-prov-wg/2011Jun/0439.html
• Draft list of properties:
  • In PIL, there are different kinds of events: beginning of process execution, end of process execution, generation of thing, use of thing, which satisfy some ordering, according to relation "precede":
    • Ordering Property: Thing

proposed

Creation of a thing precedes any of its use

• • • Ordering Property: Process Execution

proposed

Beginning of a process execution precedes its end

• • • Ordering Property: Generation

proposed

Generation of a thing by process execution P is preceded by beginning of P and precedes end of P

• • • Ordering Property: Use

proposed

Use of a thing by process execution P is preceded by beginning of P and precedes end of P

• • • Ordering Property: Derivation

proposed

If a thing B is derived from a thing A, then the use of A precedes the generation of B.

• • • Ordering holds irrespective of time annotations to events, which may be provided by different clocks.
  • More to follow ...

AOB