W3C home > Mailing lists > Public > public-prov-wg@w3.org > September 2011

Re: PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model]

From: Luc Moreau <l.moreau@ecs.soton.ac.uk>
Date: Fri, 23 Sep 2011 12:12:25 +0100
Message-ID: <EMEW3|f35074ae1571d1b8b6c7abe77cff5e6en8MCDa08l.moreau|ecs.soton.ac.uk|4E7C6999.3050200@ecs.soton.ac.uk>
To: public-prov-wg@w3.org

Hi Graham,

Issue is now closed pending review. Issue was addressed in latest version
of document, as summarized in:
http://lists.w3.org/Archives/Public/public-prov-wg/2011Sep/0192.html
Cheers,
Luc

On 01/09/2011 17:42, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-87 (Model-concepts-formalism): Formalism used is not explained, not applied to concepts [Conceptual Model]
>
> http://www.w3.org/2011/prov/track/issues/87
>
> Raised by: Graham Klyne
> On product: Conceptual Model
>
> The "Abstract Syntax Notation" formalism used in the concepts document is not fully explained - only a syntax is given.  Yet, all the uses of the formalism are in examples: it is not (cannot be?) used to formally describe the actual concepts.  As such, it doesn't really seem to serve any useful purpose.  Or if it does, that purpose is not clear.
>
> See also: http://lists.w3.org/Archives/Public/public-prov-wg/2011Aug/0383.html
>
>
>
>
>    
Received on Friday, 23 September 2011 11:14:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:42 GMT