OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

xacml-comment message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Subject: Re: [xacml-comment] C003 and matching in targets and conditions

Yeah, I understand A12 now. Explicitly stating that the Match element
means that the match function and match arguments should be rewritten
as (any-of match-function primitive bag<primitive>) would help clarify
this section.

I seem to be failing to persaude you that the similarity of the MatchId
and FunctionId attributes, but with subtlely different semantics, is going
to confuse people, so I'll give up for now and wait to see if anyone else
trips over the same problem.

BTW: I was curious to find Haskell expressions in the spec. I haven't
seen it in the wild since ~1990... from Edinburgh isn't it? Out of curiosity
was OCL (the Object Constraint Language) considered for writing the
formal notation?


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Powered by eList eXpress LLC