Dear all,
Below is a set of remarks and possible solutions to improve the RIF Positive Conditions document which were discussed in the February 13, 2007 meeting.

About the syntax of condition language (positive conditions):
As a consequence the TOC of the Positive Conditions   document may look like:
  1. OVERVIEW
  2. SYNTAX
    1. Abstract Syntax (containing the MOF and definitions of artifacts there.)
    2. BNF Syntax (containing MOF2BNF, examples  and supplementary explanations)
    3. XML Syntax (containing BNF2DTD, BNF2XMLS or MOF2XMLS, examples and supplementary explanations)
    4. DATATYPES (description of datatypes supported by the language)
    5. VALIDATION (containing all kinds of validators and more examples)
  3. SEMANTICS
  4. ....

All the best,
Adrian