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

 


Help: OASIS Mailing Lists Help | MarkMail Help

xacml message

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


Subject: RE: [xacml] Section A.6. Function "expression"


I think this is a good way of putting that.  We probably also want to add
something to A.2 to mention the extensibility of the data type system..

-----Original Message-----
From: Polar Humenn [mailto:polar@syr.edu]
Sent: Wednesday, December 11, 2002 5:27 PM
To: xacml-comment@lists.oasis-open.org; XACML
Subject: [xacml] Section A.6. Function "expression"



Section A.6 states that all expressions listed below evaluate to either a
primitive type, or a bag of primitive types.

This needs to be enhanced because of the <Function> argument, and also it
states nothing of extension types.

I suggest the following wording:

Change the first paragraph to:

XACML specifies expressions in terms of the following elements of which
the <Apply> and <Condition> elements recursively compose greater
expressions.  Valid expressions shall be type correct, which means that
the types of each of the elements contained within <Apply> and <Condition>
elements shall agree with the respective argument types of the function
that is named by the FunctionId attribute.  The resultant type of the
<Apply> or <Condition> element shall be the resultant type of the
function, which may be narrowed to a primitive data type or a bag of a
primitive data type by type unification. XACML defines an evaluation
result of "Indeterminate", which is said to be the result of an invalid
expression, or an operational error occurring during the evaluation of the
expression.



----------------------------------------------------------------
To subscribe or unsubscribe from this elist use the subscription
manager: <http://lists.oasis-open.org/ob/adm.pl>


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


Powered by eList eXpress LLC