- From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
- Date: Thu, 8 Feb 2007 22:13:20 -0500
- To: "Gerd Wagner" <wagnerg@tu-cottbus.de>, "Christian de Sainte Marie" <csma@ilog.fr>, "RIF WG" <public-rif-wg@w3.org>
Christian, could you send me the sources of the class diagrams (in XMI or asn06 or ...) because it seems harder to circumscribe a couple of suggested changes I have in mind than to do them? Cheers, Harold > I tried to extract the meta-model that underlies the BNF in the current > version of the Core spec [1]. I attach the class diagrams. > I have two difficulties with the diagram for the RIF > Condition Language: > - I added an "Equation" class because I needed something to which the > two terms in an equality literal would be attached; Yes, that's correct. > - I do not know how to show that an Expr is either an Atom or a Term. > Actually, I wonder if it even makes sense to have something > like this in a meta-model. Why not, it is just an abstract syntax spec. > Anyway, what I did, in the diagram, is that I made Expr > both a sub-class of Atom and Term; which is wrong, of course... No, on the contrary, it's right! -Gerd > <Chair's hat off> > Notice that this email does not imply anything in terms of my personal > endorsement of the diagrammed meta-model: I only tried to stay as close > as possible to the BNF in [1] and the diagrams are only meant to provide > a bottom-line to the discussion that we need to have wrt the Core > meta-model.
Received on Friday, 9 February 2007 03:13:33 UTC