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

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Thu, 01 Sep 2011 16:42:25 +0000
To: public-prov-wg@w3.org
Message-Id: <E1QzALR-0003fB-JQ@barney.w3.org>

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 Thursday, 1 September 2011 16:42:31 GMT

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