- 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
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 UTC