Hi Graham,
We indicate that the abstract syntax notation is used to express
instances of the data model.
In essence, it's a form of serialization. It's useful
-to explain how the example(s) can be encoded according to PIDM, and
-to list the constituents of each of the constructs.
It was not intended to formalize concepts.
Cheers,
Luc
On 01/09/11 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
>
>
>
>
>