[provenance-challenge] The Foundations of the Open Provenance Model

[Luc Moreau]

Dear all,

Jan, Natalia and myself have worked on the formalisation of OPM. I 
believe that
the formalisation addresses quite a few concerns that were raised at the 
first OPM
workshop. Our paper is not finished yet, but we feel it was important to 
release it early
so that others can get a better understanding of OPM when exporting 
their provenance
to OPM.

The paper draft is available from
http://eprints.ecs.soton.ac.uk/17282/

A few notes:
- problem of incorrect inferences solved
- WasTriggeredBy was suggested to be ambiguously named. We name it
         WasInformedBy
- in this formalisation we don't use actors. By this we don't mean to 
take position
   in the debate, but simply there were already enough things to focus on
- formal definitions of alternate and refinements.

We hope you find it useful. Feedback obviously appreciated!

Best regards,
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