Yet more comments on CD-1

[Ludwig Seitz <ludwig@axiomatics.com>]

Hello all,

this time I have some serious comments on CD-1, not only nit-picks.

I have found that the terms Obligation(s) and ObligationExpression(s)
are used inconsistently all over the document. As far as I understood,
PolicySets and Policies shall contain <ObligationExpression> elements
whereas Results contain <Obligation> elements. In the examples,
Obligation is used all over to refer to ObligationExpressions and I
suspect it is like that in several other places.

Furthermore I believe that we should explicitly specify what happens if
an AttributeAssignmentExpression evaluates to Indeterminate, or if the
expressions it contains evaluate to an empty bag in section 7.16.

A nitpick if I may, in several places the standard mentions
Obligation/ObligationExpression as the elements containing
AttributeAssignmentExpressions. We should clarify that AdviceExpressions
can also contain AttributeAssignmentExpressions.


/Ludwig

-- 
Ludwig Seitz, PhD             |   Axiomatics AB
Training & Development        |   Electrum 223
Phone: +46 (0)703 83 08 00    |   S-164 40 Kista, Sweden
Mail: ludwig@axiomatics.com   |