[provenance-challenge] opm v1.1 specification submitted

[Luc Moreau]

The Open Provenance Model, Core Specification (V1.1) was submitted to 
the Special Issue on Using the Open Provenance Model to Address 
Interoperability Challenges (journal Future Generation Computer Systems) 
on 2009-12-2. It incorporates changes discussed and voted on during the 
period July 2009-September 2009). See 
http://twiki.ipaw.info/bin/view/OPM/WorkInProgressV1pt1 for details of 
changes.

Key changes brought to the specification include:

    * Removal of formal specification
    * Section on annotations
    * Section on profile
    * New presentation of inferences
    * Clarification of Temporal constraints in the presence of
      distributed clocks: introduced Lamport "happened before" relation
    * Revisited examples: Was derived from made explicit

The specification can be found at http://eprints.ecs.soton.ac.uk/18332/.

Thanks to the OPM community for their participation in this open effort.

Luc


-- 
Professor Luc Moreau               
Electronics and Computer Science   tel:   +44 23 8059 4487         
University of Southampton          fax:   +44 23 8059 2865         
Southampton SO17 1BJ               email: l.moreau at ecs.soton.ac.uk  
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm