[ 
https://issues.apache.org/jira/browse/TUSCANY-3642?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Brent Daniel reassigned TUSCANY-3642:
-------------------------------------

    Assignee: Brent Daniel

> Tuscany does not evaluate mutually exclusive intents correctly where one 
> intent is Qualifiable
> ----------------------------------------------------------------------------------------------
>
>                 Key: TUSCANY-3642
>                 URL: https://issues.apache.org/jira/browse/TUSCANY-3642
>             Project: Tuscany
>          Issue Type: Bug
>          Components: Java SCA Policy
>    Affects Versions: Java-SCA-2.0-M5
>            Reporter: Mike Edwards
>            Assignee: Brent Daniel
>            Priority: Minor
>             Fix For: Java-SCA-2.0
>
>
> Where one intent is declared as being mutually exclusive with a second 
> intent, but the second intent is a qualifiable intent and the exclusion 
> statement names the root qualifiable intent rather than one of the qualified 
> forms, then Tuscany does not flag the intents as "mutually exclusive" when 
> the unqualified form of the intent appears on an element with the first 
> intent.
> This was discovered with the recently updated form of OASIS testcase ASM_8014.
> This testcase defines an intent "Joe":
>    <intent name="Joe" constrains="sca:binding" intentType="interaction" 
> excludes="sca:confidentiality"/>
> note that this is exclusive of sca:confidentiality intent, which is 
> qualifiable with confidentiality.transport and confidentiality.message the 
> qualified forms.
> When a service is declared where the interface has sca:confidentiality 
> applied and has test:Joe applied to the service element itself, Tuscany does 
> not treat these two intents as mutually exclusive and operates incorrectly.
> Note that changing the exclude statement above to read 
> "sca:confidentiality.transport" causes Tuscany to spot the mutual exclusion 
> and to raise an exception.  So it appears as if Tuscany is converting the 
> unqualified form of the intent to the default qualified form before checking 
> for mutual exclusion.  This is incorrect - mutual exclusion when it uses the 
> unqualified form of an intent means "excludes all forms of this intent - 
> unqualified and all qualified versions".

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.

Reply via email to