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

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 UTC