[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? John
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC