## Validators

1. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}assign

   5 rules in class org.eclipse.bpel.validator.rules.AssignValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
   3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
   4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
   5 | CheckValidate | 10 | pass1 | - | 0

2. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}branches

   5 rules in class org.eclipse.bpel.validator.rules.BranchesValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckSuccessfulBranchesOnly | 0 | pass1 | - | 0
   2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
   4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
   5 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

3. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}branches

   12 rules in class org.eclipse.bpel.validator.xpath.Branches

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
   2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
   3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
   4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
   5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
   6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
   7 | SanityCheck | 1 | pass1 | - | 0
   8 | CheckExpressionSyntax | 2 | pass1 | - | 0
   9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
   10 | checkIntegerExpression | 15 | pass1 | Check unsigned integer expression on branches Author: michal.chmielewski@oracle.com | 01/20/2007 | 75
   11 | ExpressionType | 999,999 | pass1 | - | 0
   12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

4. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}catch

   5 rules in class org.eclipse.bpel.validator.rules.CatchValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckExitStandardFaults | 1 | pass1 | When exitOnStandardFault=yes, standard fault handlers cannot be present. Author: michal.chmielewski@oracle.com | 01/10/2007 | 3
   3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
   4 | CheckFaultVariable | 4 | pass1 | Fault variable must have message type or element set Author: michal.chmielewski@oracle.com | 01/25/2007 | 81
   5 | CheckDuplicateCatch | 10 | pass1 | Check to see if a duplicate catch has been specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 93

5. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}catchAll

   2 rules in class org.eclipse.bpel.validator.rules.CatchAllValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

6. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}compensate

   5 rules in class org.eclipse.bpel.validator.rules.CompensateValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
   3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
   4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
   5 | CheckPlacement | 10 | pass1 | Check compensate placement Author: michal.chmielewski@oracle.com | 10/5/2006 | 8

7. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}compensateScope

   8 rules in class org.eclipse.bpel.validator.rules.CompensateScopeValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
   3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
   4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
   5 | CheckPlacement | 10 | pass1 | Check compensateScope placement. Author: michal.chmielewski@oracle.com | 10/5/2006 | 7
   6 | CheckTargetScopeNCName | 15 | pass1 | Check target scope NCName Author: michal.chmielewski@oracle.com | 02/27/2007 | 1,004
   7 | CheckTargetScope | 25 | pass2 | Make sure that the target scope exists Author: michal.chmielewski@oracle.com | 02/27/2007 | 77
   8 | CheckTargetScopeHandlers | 27 | pass2 | Target of compenateScope must have a fault or compensation handler Author: michal.chmielewski@oracle.com | 02/27/2007 | 78

8. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}compensationHandler

   2 rules in class org.eclipse.bpel.validator.rules.CompensationHandlerValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

9. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}completionCondition

   2 rules in class org.eclipse.bpel.validator.rules.CompletionConditionValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
   2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

10. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}condition

    4 rules in class org.eclipse.bpel.validator.rules.ConditionValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

11. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}condition

    12 rules in class org.eclipse.bpel.validator.xpath.Condition

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | checkBooleanExpression | 15 | pass1 | Checks for boolean expression on conditions Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

12. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}copy

    5 rules in class org.eclipse.bpel.validator.rules.CopyValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | VerifyKeepSrcElement | 5 | pass1 | Check to see if keep source element is one of the allowed values Author: michal.chmielewski@oracle.com | 02/12/2007 | 1,001
    4 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types Author: michal.chmielewski@oracle.com | 02/16/2007 | 43
    5 | CheckKeepSrcElement | 50 | pass2 | Check if both from and to specs are EII; only then can keepSrcElement be set Author: michal.chmielewski@oracle.com | 02/16/2007 | 42

13. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}correlation

    8 rules in class org.eclipse.bpel.validator.rules.CorrelationValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the NCName of the correlation Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckInitiate | 2 | pass1 | Check the initiate attribute values Author: michal.chmielewski@oracle.com | 01/20/2007 | 1,010
    5 | CheckPatternValues | 5 | pass1 | Check the pattern attribute values of correlation Author: michal.chmielewski@oracle.com | 02/20/2007 | 46
    6 | CheckDuplicateCorrelation | 10 | pass1 | Check to see if the correlation is already specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    7 | ExistCorrelationSet | 12 | pass1 | - | 0
    8 | ExistCorrelationSet | 13 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 88

14. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}correlationSet

    6 rules in class org.eclipse.bpel.validator.rules.CorrelationSetValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the NCName of the correlationSet Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckDuplicateCorrelationSet | 2 | pass1 | Check to see if the correlationSet is already specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 44
    5 | CheckPropertiesAttribute | 10 | pass1 | - | 0
    6 | CheckProperties | 15 | pass1 | Properties used in a MUST be defined using XML Schema simple types. Author: michal.chmielewski@oracle.com | 03/01/2007 | 45

15. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}correlationSets

    2 rules in class org.eclipse.bpel.validator.rules.CorrelationSetsValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

16. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}correlations

    2 rules in class org.eclipse.bpel.validator.rules.CorrelationsValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

17. {http://schemas.xmlsoap.org/wsdl/}definitions - no validator.
18. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}else

    2 rules in class org.eclipse.bpel.validator.rules.ElseValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

19. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}elseif

    2 rules in class org.eclipse.bpel.validator.rules.ElseifValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

20. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}empty

    5 rules in class org.eclipse.bpel.validator.rules.EmptyValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SA49 | 0 | pass1 | The static analysis check number 49. Refer to spec for description Author: michal.chmielewski@oracle.com | 02/28/2007 | 49
    2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

21. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}eventHandlers

    3 rules in class org.eclipse.bpel.validator.rules.EventHandlersValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckHandlerCount | 1 | pass1 | At least one onAlarm or onEvent must be present in event handlers. Author: michal.chmielewski@oracle.com | 01/10/2007 | 83
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

22. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}exit

    4 rules in class org.eclipse.bpel.validator.rules.ExitValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

23. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}extension

    5 rules in class org.eclipse.bpel.validator.rules.ExtensionValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckMustUnderstand | 1 | pass1 | - | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckNamespaceURI | 2 | pass1 | - | 0
    5 | CheckMustUnderstand | 20 | pass1 | Mandatory extensions must be understood Author: Unknown | 03/15/2007 | 9

24. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}extensionActivity

    4 rules in class org.eclipse.bpel.validator.rules.ExtensionActivityValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

25. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}extensionAssignOperation - no validator.
26. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}extensions

    2 rules in class org.eclipse.bpel.validator.rules.ExtensionsValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

27. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}faultHandlers

    3 rules in class org.eclipse.bpel.validator.rules.FaultHandlersValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckHandlerCount | 1 | pass1 | At least one catch or catchAll must be present in fault handlers. Author: michal.chmielewski@oracle.com | 01/10/2007 | 80
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

28. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}finalCounterValue

    4 rules in class org.eclipse.bpel.validator.rules.FinalCounterValueValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

29. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}finalCounterValue

    12 rules in class org.eclipse.bpel.validator.xpath.FinalCounterValue

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | checkIntegerExpression | 15 | pass1 | Check unsigned integer expression on startCounterValue, finalCounterValue Author: michal.chmielewski@oracle.com | 01/20/2007 | 74
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

30. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}flow

    4 rules in class org.eclipse.bpel.validator.rules.FlowValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

31. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}for

    4 rules in class org.eclipse.bpel.validator.rules.ForValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

32. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}for

    12 rules in class org.eclipse.bpel.validator.xpath.For

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | checkDurationExpression | 17 | pass1 | Checks duration expression on for, and repeatUntil Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

33. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}forEach

    6 rules in class org.eclipse.bpel.validator.rules.ForEachValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParallel | 1 | pass1 | - | 0
    3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    6 | CheckCounterName | 2 | pass1 | - | 0

34. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}from

    8 rules in class org.eclipse.bpel.validator.rules.FromValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckFromVariant | 10 | pass1 | Checks the allowed formats of the element Author: michal.chmielewski@oracle.com | 01/15/2007 | 32
    4 | CheckVariableVariant | 18 | pass1 | Variables used in must not have part set if they are schema types. (part must not be set) Author: michal.chmielewski@oracle.com | 01/15/2007 | 34
    5 | CheckPartnerLinkVariantMyRole | 21 | pass1 | A partner link referenced in a spec with endpoint reference of 'myRole' must have myRole set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 35
    6 | CheckPartnerLinkVariantPartnerRole | 22 | pass1 | A partner link referenced in a spec with endpoint reference of 'partnerRole' must have partnerRole set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 36
    7 | CheckLiteralVariant | 30 | pass1 | The literal spec must return a EII or a TII only Author: michal.chmielewski@oracle.com | 01/10/2007 | 38
    8 | CheckExpressionVariant | 50 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000

35. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}from

    13 rules in class org.eclipse.bpel.validator.xpath.From

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | CheckIdempotentFunctions | 15 | functions | Check that initialize expressions use idempotent functions Author: michal.chmielewski@oracle.com | 03/15/2007 | 26
    8 | SanityCheck | 1 | pass1 | - | 0
    9 | CheckExpressionSyntax | 2 | pass1 | - | 0
    10 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    11 | CheckGeneralExpression | 15 | pass1 | Check the general XPath expression Author: michal.chmielewski@oracle.com | 01/10/2007 | 0
    12 | ExpressionType | 999,999 | pass1 | - | 0
    13 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

36. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}fromPart

    7 rules in class org.eclipse.bpel.validator.rules.FromPartValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckVariable | 1 | pass1 | - | 0
    3 | CheckDuplicatePartToVariable | 1 | pass1 | Check to see if part='' toVariable='' is a duplicate entry. Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | CheckVariableDefined | 4 | pass1 | Checks to see if the toVariable is defined. Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    6 | CheckMessagePart | 5 | pass1 | Check to see if the toVariable matches the type of the partName Author: michal.chmielewski@oracle.com | 01/20/2007 | 53
    7 | ImplicitOnEventVariable | 10 | pass1 | Variables defined in fromPart are implicitly declared in the associated scope Author: michal.chmielewski@oracle.com | 03/15/2007 | 86

37. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}fromParts

    2 rules in class org.eclipse.bpel.validator.rules.FromPartsValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

38. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}if

    6 rules in class org.eclipse.bpel.validator.rules.IfValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000
    6 | CheckNoActivity | 25 | pass1 | Check to see if there is any activity in the while loop. Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000

39. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}import

    8 rules in class org.eclipse.bpel.validator.rules.ImportValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckIfImportTypesSet | 1 | pass1 | - | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckLocation | 3 | pass1 | - | 0
    5 | CheckImportType | 4 | pass1 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. Author: michal.chmielewski@oracle.com | 10/3/2006 | 13
    6 | CheckNamespaceOfImport | 8 | pass1 | Imported namespace, if set, must match Author: michal.chmielewski@oracle.com | 01/15/2007 | 11
    7 | CheckImportLocation | 14 | pass1 | Imported node location problem Author: michal.chmielewski@oracle.com | 03/29/2007 | 1,234
    8 | CheckNamespaceOfImport | 15 | pass1 | When import has no namespace, the targetNamespace must be empty. Author: michal.chmielewski@oracle.com | 01/15/2007 | 12

40. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}invoke

    19 rules in class org.eclipse.bpel.validator.rules.InvokeValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | LookupPartnerLink | 0 | pass1 | - | 0
    2 | LookupPortType | 0 | pass1 | - | 0
    3 | CheckOperationSet | 0 | pass1 | - | 0
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    6 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    8 | CheckPartnerLink | 2 | pass1 | - | 0
    9 | CheckInputVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 2,003
    10 | CheckOutputVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 2,004
    11 | CheckPortType | 3 | pass1 | - | 0
    12 | CheckPartnerLinkType | 4 | pass1 | - | 0
    13 | CheckIfPartnerRoleIsDefined | 5 | pass1 | - | 0
    14 | checkToPartsPresence | 10 | pass1 | Check to see if toPart is specified; if so then inputVariable must not be used on the reply. Author: michal.chmielewski@oracle.com | 01/20/2007 | 51
    15 | CheckRolePortTypeWithInvokePortType | 10 | pass1 | Checks portType and derived portType values on invoke activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 5
    16 | checkFromPartsPresence | 11 | pass1 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. Author: michal.chmielewski@oracle.com | 01/20/2007 | 52
    17 | CheckInputOutputMessages | 12 | pass1 | - | 0
    18 | CheckTwoWayInvocation | 25 | pass1 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) Author: michal.chmielewski@oracle.com | 02/22/2007 | 47
    19 | CheckVariableAndMessageStructureCompatibility | 40 | pass1 | Check message type compatability on invoke Author: michal.chmielewski@oracle.com | 02/22/2007 | 48

41. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}joinCondition

    4 rules in class org.eclipse.bpel.validator.rules.JoinConditionValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

42. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}joinCondition

    14 rules in class org.eclipse.bpel.validator.xpath.JoinCondition

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckBPELFunctionsInJoinConditions | 0 | bpel.functions | BPEL Functions must not be used in joinConditions Author: michal.chmielewski@oracle.com | 01/20/2007 | 28
    2 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    3 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    4 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    5 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    6 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    7 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    8 | SanityCheck | 1 | pass1 | - | 0
    9 | CheckExpressionSyntax | 2 | pass1 | - | 0
    10 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    11 | checkBooleanExpression | 15 | pass1 | Checks for boolean expression on joinCondition Author: michal.chmielewski@oracle.com | 01/30/2007 | 73
    12 | ExpressionType | 999,999 | pass1 | - | 0
    13 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    14 | CheckLinkReference | 17 | variables | Check the link reference for joinCondition (only incoming link names) Author: michal.chmielewski@oracle.com | 01/30/2007 | 73

43. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}link

    6 rules in class org.eclipse.bpel.validator.rules.LinkValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the NCName of the link Author: michal.chmielewski@oracle.com | 02/15/2007 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckLinkConnections | 10 | pass2 | Every link must have exactly one activity as source and one as target Author: michal.chmielewski@oracle.com | 02/17/2007 | 66
    5 | CheckDistinctLinks | 12 | pass2 | Two different links MUST NOT share the same source *and* target activities; that is, at most one link may be used to connect two activities. Author: michal.chmielewski@oracle.com | 02/17/2007 | 67
    6 | ControlCycle | 14 | pass2 | A declared in a MUST NOT create a control cycle, that is, the source activity must not have the target activity as a logically preceding activity. Author: michal.chmielewski@oracle.com | 02/17/2007 | 72

44. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}links

    3 rules in class org.eclipse.bpel.validator.rules.LinksValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckDuplicateLinkName | 40 | pass1 | Check for unique link name Author: michal.chmielewski@oracle.com | 12/7/2006 | 64

45. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}literal

    2 rules in class org.eclipse.bpel.validator.rules.LiteralValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

46. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}messageExchange

    3 rules in class org.eclipse.bpel.validator.rules.MessageExchangeValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the NCName of the messageExchange Author: michal.chmielewski@oracle.com | 02/15/2007 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

47. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}messageExchanges

    3 rules in class org.eclipse.bpel.validator.rules.MessageExchangesValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckDuplicateName | 40 | pass1 | Check for unique message exchange name Author: michal.chmielewski@oracle.com | 12/7/2006 | 1,001

48. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}onAlarm

    3 rules in class org.eclipse.bpel.validator.rules.OnAlarmValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | BasicSanityCheck | 5 | pass1 | - | 0

49. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}onEvent

    16 rules in class org.eclipse.bpel.validator.rules.OnEventValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | LookupPartnerLink | 0 | pass1 | Partner Link resolution: associated scope first, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 84
    2 | LookupPortType | 0 | pass1 | - | 0
    3 | CheckOperationSet | 0 | pass1 | - | 0
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    5 | CheckName | 1 | pass1 | - | 0
    6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0
    7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    8 | CheckPartnerLink | 2 | pass1 | - | 0
    9 | CheckPortType | 3 | pass1 | - | 0
    10 | CheckPartnerLinkType | 4 | pass1 | - | 0
    11 | LookupVariable | 5 | pass1 | Either messageType or element must be specified if variable variant is used Author: michal.chmielewski@oracle.com | 3/15/2007 | 90
    12 | CheckIfMyRoleIsDefined | 5 | pass1 | - | 0
    13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on onEvent. Author: michal.chmielewski@oracle.com | 03/13/2007 | 5
    14 | CheckInputMessage | 12 | pass1 | - | 0
    15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on onEvent Author: michal.chmielewski@oracle.com | 03/15/2007 | 87
    16 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used onEvent. Author: michal.chmielewski@oracle.com | 03/20/2007 | 85

50. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}onMessage

    19 rules in class org.eclipse.bpel.validator.rules.OnMessageValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | LookupPartnerLink | 0 | pass1 | - | 0
    2 | LookupPortType | 0 | pass1 | - | 0
    3 | CheckOperationSet | 0 | pass1 | - | 0
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    5 | CheckName | 1 | pass1 | - | 0
    6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0
    7 | LookupVariable | 1 | pass1 | - | 0
    8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    9 | CheckCreateInstanceSetting | 2 | pass1 | - | 0
    10 | CheckPartnerLink | 2 | pass1 | - | 0
    11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' activity is positioned correctly Author: michal.chmielewski@oracle.com | 01/10/2007 | 56
    12 | CheckVariable | 3 | pass1 | - | 0
    13 | CheckPortType | 3 | pass1 | - | 0
    14 | CheckPartnerLinkType | 4 | pass1 | - | 0
    15 | CheckIfMyRoleIsDefined | 5 | pass1 | - | 0
    16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 5
    17 | CheckInputMessage | 12 | pass1 | - | 0
    18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive Author: michal.chmielewski@oracle.com | 02/22/2007 | 58
    19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. Author: michal.chmielewski@oracle.com | 01/20/2007 | 63

51. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}partnerLink

    11 rules in class org.eclipse.bpel.validator.rules.PartnerLinkValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | checkSolicitResponseAndNotification | 0 | direct | Check solicit-response or notification port types Author: michal.chmielewski@oracle.com | 02/16/2007 | 1
    2 | checkOverloadedOperationNames | 0 | direct | Check for overloaded operation names in port types Author: michal.chmielewski@oracle.com | 02/16/2007 | 2
    3 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    4 | CheckName | 1 | pass1 | - | 0
    5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    6 | CheckPartnerLinkType | 2 | pass1 | - | 0
    7 | CheckForUndefinedPartnerLinkRoles | 4 | pass1 | myRole or partnerRole (or both) must be set Author: michal.chmielewski@oracle.com | 09/19/2006 | 16
    8 | CheckInitializePartnerRole | 8 | pass1 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). Author: michal.chmielewski@oracle.com | 09/19/2006 | 17
    9 | CheckPartnerLinkRoles | 10 | pass1 | - | 0
    10 | CheckRolesOnPartnerLinkType | 17 | pass1 | - | 0
    11 | CheckPortTypes | 18 | pass1 | - | 0

52. {http://docs.oasis-open.org/wsbpel/2.0/plnktype}partnerLinkType - no validator.
53. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}partnerLinks

    3 rules in class org.eclipse.bpel.validator.rules.PartnerLinksValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckDuplicateName | 40 | pass1 | Checks for duplicate partner link name Author: michal.chmielewski@oracle.com | 12/7/2006 | 18

54. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}pick

    8 rules in class org.eclipse.bpel.validator.rules.PickValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckCreateInstanceSet | 1 | pass1 | Checks to see if the createInstance attribute is set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 0
    3 | CheckOnMessagesOnAlarms | 1 | pass1 | Check if at least 1 onAlarm/onMessage is present in a Author: michal.chmielewski@oracle.com | 01/15/2007 | 0
    4 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    5 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    6 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    7 | CheckNoAlaram | 2 | pass1 | When createInstance is set to yes, onAlarm must not be there. Author: michal.chmielewski@oracle.com | 01/10/2007 | 62
    8 | CheckIfStartActivity | 3 | pass1 | Check if this pick activity is positioned correctly Author: michal.chmielewski@oracle.com | 01/10/2007 | 56

55. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}process

    10 rules in class org.eclipse.bpel.validator.rules.ProcessValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Rule to check the name of the process Author: michal.chmielewski@oracle.com | 9/14/2006 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckExpressionLanguage | 3 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 9/14/2006 | 4
    5 | CheckQueryLanguage | 4 | pass1 | Checks the query language for support in the BPEL model Author: michal.chmielewski@oracle.com | 9/14/2006 | 4
    6 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting Author: michal.chmielewski@oracle.com | 01/10/2007 | 0
    7 | CheckSuppressJoinFailre | 11 | pass1 | Check supressJoinFailure attribute setting Author: michal.chmielewski@oracle.com | 01/10/2007 | 0
    8 | CheckReferencedTypes | 300 | pass2 | Check if used types/elements/messages have conflicting definitions Author: michal.chmielewski@oracle.com | 02/10/2007 | 14
    9 | CheckIfProcessHasStartActivity | 1,000 | pass2 | Verifies that a start activity has been found in the process Author: michal.chmielewski@oracle.com | 02/01/2007 | 15
    10 | CheckCorrelationSetsOnStartActivities | 2,000 | pass2 | Check common correlation sets on all the start activities Author: michal.chmielewski@oracle.com | 03/10/2007 | 57

56. {http://docs.oasis-open.org/wsbpel/2.0/varprop}property

    6 rules in class org.eclipse.bpel.validator.vprop.Property

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the NCName of the property Author: michal.chmielewski@oracle.com | 02/15/2007 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckDuplicateName | 5 | pass1 | - | 0
    5 | CheckPropertyType | 10 | pass1 | Either the type or element attributes MUST be present but not both. Author: michal.chmielewski@oracle.com | 02/17/2007 | 19
    6 | CheckTypeOrElement | 15 | pass1 | - | 0

57. {http://docs.oasis-open.org/wsbpel/2.0/varprop}propertyAlias

    6 rules in class org.eclipse.bpel.validator.vprop.PropertyAlias

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckQName | 1 | pass1 | Check the QName of the property for this propertyAlias Author: michal.chmielewski@oracle.com | 02/15/2007 | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckPropertyAliasDefinition | 10 | pass1 | Either the type or element attributes MUST be present or messageType AND part. Author: michal.chmielewski@oracle.com | 02/17/2007 | 20
    5 | ChceckPropertyAliasTypes | 13 | pass1 | Check types of property aliases Author: michal.chmielewski@oracle.com | 03/18/2007 | 21
    6 | CheckDuplicatePropertyAlias | 25 | pass1 | Detect duplicate propertyAlias definitions Author: michal.chmielewski@oracle.com | 03/20/2007 | 22

58. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}query

    4 rules in class org.eclipse.bpel.validator.rules.QueryValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckQuery | 30 | pass1 | Checks the actual query using the query language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000

59. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}query

    15 rules in class org.eclipse.bpel.validator.xpath.Query

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckBPELFunctions | 0 | bpel.functions | BPEL Functions must not be used in query expressions for propertyAlias Author: michal.chmielewski@oracle.com | 01/20/2007 | 29
    2 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    3 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    4 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    5 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    6 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    7 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    8 | CheckLocationPath | 16 | location | There is no implicit context node in XPath expressions used in BPEL Author: michal.chmielewski@oracle.com | 0/20/2007 | 27
    9 | SanityCheck | 1 | pass1 | - | 0
    10 | CheckExpressionSyntax | 2 | pass1 | - | 0
    11 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    12 | CheckQuery | 15 | pass1 | Check the query location path Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    13 | ExpressionType | 999,999 | pass1 | - | 0
    14 | CheckVariable | 0 | variables | BPEL variables cannot be used in propertyAlias queries Author: michal.chmielewski@oracle.com | 01/30/2007 | 29
    15 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

60. {http://docs.oasis-open.org/wsbpel/2.0/varprop}query

    4 rules in class org.eclipse.bpel.validator.vprop.Query

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckQuery | 30 | pass1 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. Author: michal.chmielewski@oracle.com | 3/6/2007 | 29

61. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}receive

    19 rules in class org.eclipse.bpel.validator.rules.ReceiveValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | LookupPartnerLink | 0 | pass1 | - | 0
    2 | LookupPortType | 0 | pass1 | - | 0
    3 | CheckOperationSet | 0 | pass1 | - | 0
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    5 | LookupVariable | 1 | pass1 | - | 0
    6 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    7 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    9 | CheckCreateInstanceSetting | 2 | pass1 | - | 0
    10 | CheckPartnerLink | 2 | pass1 | - | 0
    11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' activity is positioned correctly Author: michal.chmielewski@oracle.com | 01/10/2007 | 56
    12 | CheckVariable | 3 | pass1 | - | 0
    13 | CheckPortType | 3 | pass1 | - | 0
    14 | CheckPartnerLinkType | 4 | pass1 | - | 0
    15 | CheckIfMyRoleIsDefined | 5 | pass1 | - | 0
    16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 5
    17 | CheckInputMessage | 12 | pass1 | - | 0
    18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive Author: michal.chmielewski@oracle.com | 02/22/2007 | 58
    19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on the receive. Author: michal.chmielewski@oracle.com | 01/20/2007 | 55

62. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}repeatEvery

    5 rules in class org.eclipse.bpel.validator.rules.RepeatEveryValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckIfRightParentParent | 1 | pass1 | - | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    5 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

63. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}repeatEvery

    11 rules in class org.eclipse.bpel.validator.xpath.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | ExpressionType | 999,999 | pass1 | - | 0
    11 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

64. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}repeatUntil

    6 rules in class org.eclipse.bpel.validator.rules.RepeatUntilValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000
    6 | CheckNoActivity | 25 | pass1 | Check to see if there is any activity in the while loop. Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000

65. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}reply

    16 rules in class org.eclipse.bpel.validator.rules.ReplyValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | LookupPartnerLink | 0 | pass1 | - | 0
    2 | LookupPortType | 0 | pass1 | - | 0
    3 | CheckOperationSet | 0 | pass1 | - | 0
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    6 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    8 | CheckPartnerLink | 2 | pass1 | - | 0
    9 | CheckVariable | 3 | pass1 | - | 0
    10 | CheckPortType | 3 | pass1 | - | 0
    11 | CheckPartnerLinkType | 4 | pass1 | - | 0
    12 | CheckIfPartnerRoleIsDefined | 5 | pass1 | - | 0
    13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on reply activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 5
    14 | CheckOutputMessage | 12 | pass1 | - | 0
    15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on reply Author: michal.chmielewski@oracle.com | 02/22/2007 | 58
    16 | checkToPartsPresence | 50 | pass1 | Check to see if toPart is specified; if so then variable must not be used on the reply. Author: michal.chmielewski@oracle.com | 01/20/2007 | 59

66. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}rethrow

    5 rules in class org.eclipse.bpel.validator.rules.RethrowValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | CheckRethrowPlacement | 10 | pass1 | Check rethrow placement (catch or catchAll) Author: michal.chmielewski@oracle.com | 10/5/2006 | 6

67. {http://docs.oasis-open.org/wsbpel/2.0/plnktype}role - no validator.
68. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}scope

    9 rules in class org.eclipse.bpel.validator.rules.ScopeValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting Author: michal.chmielewski@oracle.com | 01/10/2007 | 0
    6 | CheckIsolatedAttribute | 10 | pass1 | Check isolated attribute setting on scope Author: michal.chmielewski@oracle.com | 01/10/2007 | 0
    7 | CheckNoIsolatedScopeDescendants | 20 | pass1 | Isolated scopes may not contain other isolated scopes Author: michal.chmielewski@oracle.com | 01/24/2007 | 91
    8 | CheckUniqueScopeNames | 20 | pass1 | Within a scope all immediately enclosed scopes must have unique name Author: michal.chmielewski@oracle.com | 01/24/2007 | 92
    9 | CheckRootFCTScope | 25 | pass1 | Root scope inside an FCT-handler MUST not have a compensation handler Author: michal.chmielewski@oracle.com | 02/28/2007 | 79

69. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}sequence

    4 rules in class org.eclipse.bpel.validator.rules.SequenceValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

70. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}source

    8 rules in class org.eclipse.bpel.validator.rules.SourceValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | - | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules Author: michal.chmielewski@oracle.com | 02/17/2007 | 1,200
    5 | CheckAgainstDeclaredLink | 11 | pass1 | The value of the linkName attribute of MUST be the name of a declared in an enclosing activity. Author: michal.chmielewski@oracle.com | 02/16/2007 | 65
    6 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target Author: michal.chmielewski@oracle.com | 02/17/2007 | 66
    7 | CheckRepeatableConstruct | 15 | pass1 | Link must not cross repeatable constructs Author: michal.chmielewski@oracle.com | 02/17/2007 | 70
    8 | CheckEventHandlersBoundary | 20 | pass2 | Check for links crossing event handlers boundaries Author: michal.chmielewski@oracle.com | 02/17/2007 | 71

71. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}sources

    3 rules in class org.eclipse.bpel.validator.rules.SourcesValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckUniqueSourceName | 10 | pass1 | elements must have distinct linkNames Author: michal.chmielewski@oracle.com | 02/16/2007 | 68

72. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}startCounterValue

    4 rules in class org.eclipse.bpel.validator.rules.StartCounterValueValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

73. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}startCounterValue

    12 rules in class org.eclipse.bpel.validator.xpath.StartCounterValue

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | checkIntegerExpression | 15 | pass1 | Check unsigned integer expression on startCounterValue, finalCounterValue Author: michal.chmielewski@oracle.com | 01/20/2007 | 74
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

74. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}target

    6 rules in class org.eclipse.bpel.validator.rules.TargetValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | - | 0
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules Author: michal.chmielewski@oracle.com | 02/17/2007 | 1,200
    5 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target Author: michal.chmielewski@oracle.com | 02/17/2007 | 66
    6 | CheckAgainstDeclaredLink | 12 | pass1 | The value of the linkName attribute of MUST be the name of a declared in an enclosing activity. Author: michal.chmielewski@oracle.com | 02/16/2007 | 65

75. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}targets

    3 rules in class org.eclipse.bpel.validator.rules.TargetsValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckUniqueTargetName | 10 | pass1 | elements must have distinct linkNames Author: michal.chmielewski@oracle.com | 02/16/2007 | 69

76. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}terminationHandler

    2 rules in class org.eclipse.bpel.validator.rules.TerminationHandlerValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001

77. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}throw

    7 rules in class org.eclipse.bpel.validator.rules.ThrowValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | CheckFaultName | 10 | pass1 | - | 0
    6 | CheckFaultVariable | 12 | pass1 | - | 0
    7 | CheckVariableType | 14 | pass1 | - | 0

78. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}to

    6 rules in class org.eclipse.bpel.validator.rules.ToValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckToVariant | 10 | pass1 | Checks the allowed formats of the element Author: michal.chmielewski@oracle.com | 01/15/2007 | 32
    4 | CheckVariableAndPartVariant | 18 | pass1 | Variables used in must not have part set if they are schema types. (part must not be set) Author: michal.chmielewski@oracle.com | 01/15/2007 | 34
    5 | CheckPartnerLinkVariant | 20 | pass1 | spec with partnerLink must have partnerRole set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 37
    6 | CheckExpressionVariant | 50 | pass1 | Check variable reference expression as used in a element. Author: michal.chmielewski@oracle.com | 01/10/2007 | 33

79. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}to

    12 rules in class org.eclipse.bpel.validator.xpath.To

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | CheckVariableReference | 15 | pass1 | Check variable reference expression on to nodes Author: michal.chmielewski@oracle.com | 01/20/2007 | 33
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

80. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}toPart

    7 rules in class org.eclipse.bpel.validator.rules.ToPartValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckVariable | 1 | pass1 | - | 0
    3 | CheckDuplicatePartFromVariable | 1 | pass1 | Check to see if part='' fromVariable='' is a duplicate entry. Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | CheckVariableDefined | 4 | pass1 | Checks to see if the fromVariable is defined. Author: michal.chmielewski@oracle.com | 01/20/2007 | 0
    6 | CheckMessageParts | 5 | pass1 | Check to see if the fromVariable type matches the part name specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 54
    7 | CheckToPartTypeCompatibility | 20 | pass1 | Check toPart and variable type compatibility Author: michal.chmielewski@oracle.com | 03/10/2007 | 0

81. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}toParts

    3 rules in class org.eclipse.bpel.validator.rules.ToPartsValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckEveryPartUsed | 10 | pass2 | Check to make sure that every to part is used Author: michal.chmielewski@oracle.com | 03/10/2007 | 50

82. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}transitionCondition

    4 rules in class org.eclipse.bpel.validator.rules.TransitionConditionValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

83. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}transitionCondition

    12 rules in class org.eclipse.bpel.validator.xpath.TransitionCondition

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | checkBooleanExpression | 0 | pass1 | Checks for boolean expression on transitionCondition Author: michal.chmielewski@oracle.com | 01/30/2007 | 1,022
    8 | SanityCheck | 1 | pass1 | - | 0
    9 | CheckExpressionSyntax | 2 | pass1 | - | 0
    10 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

84. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}until

    4 rules in class org.eclipse.bpel.validator.rules.UntilValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 4
    4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 0

85. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}until

    12 rules in class org.eclipse.bpel.validator.xpath.Until

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 30
    2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com | 01/29/2007 | 31
    3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com | 01/29/2007 | 39
    4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com | 01/29/2007 | 40
    5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com | 01/29/2007 | 41
    6 | CheckFunctions | 1 | functions | Check functions in XPath expressions Author: michal.chmielewski@oracle.com | 03/02/2007 | 1,015
    7 | SanityCheck | 1 | pass1 | - | 0
    8 | CheckExpressionSyntax | 2 | pass1 | - | 0
    9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | 0
    10 | checkDeadlineExpression | 15 | pass1 | Check deadline expression on the Until node Author: michal.chmielewski@oracle.com | 01/20/2007 | 1,024
    11 | ExpressionType | 999,999 | pass1 | - | 0
    12 | CheckVariable | 10 | variables | Check the variable namespace prefix Author: michal.chmielewski@oracle.com | 01/30/2007 | 0

86. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}validate

    5 rules in class org.eclipse.bpel.validator.rules.ValidateValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | CheckValidateVariables | 15 | pass1 | - | 0

87. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}variable

    11 rules in class org.eclipse.bpel.validator.rules.VariableValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Checks that variable NCName further does not contain a period (.) in the name. Author: michal.chmielewski@oracle.com | 9/14/2006 | 24
    3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    4 | CheckType | 2 | pass1 | Variable type specification (either element, messaageType, or type). Author: michal.chmielewski@oracle.com | 9/14/2006 | 25
    5 | CheckMessageTypeNode | 4 | pass1 | Make sure that Message Type is visible from the import(s) Author: michal.chmielewski@oracle.com | 01/25/2007 | 10
    6 | CheckElementNode | 4 | pass1 | Make sure that Element is visible from the import(s) Author: michal.chmielewski@oracle.com | 01/25/2007 | 10
    7 | CheckTypeNode | 4 | pass1 | Make sure that Type is visible from the import(s) Author: michal.chmielewski@oracle.com | 01/25/2007 | 10
    8 | CheckIfVariableHidesSuperVariables | 15 | pass1 | Check to see if variable hides super variables Author: michal.chmielewski@oracle.com | 01/25/2007 | 0
    9 | CheckForEachCounter | 30 | pass1 | For the enclosed scope MUST NOT declare a variable with the same name as specified in the counterName attribute of . Author: michal.chmielewski@oracle.com | 01/20/2007 | 76
    10 | RegisterTypesToCheck | 50 | pass1 | Mark the types/elements/messages used to be checked for duplicates Author: michal.chmielewski@oracle.com | 02/25/2007 | 14
    11 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types Author: michal.chmielewski@oracle.com | 02/16/2007 | 43

88. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}variables

    3 rules in class org.eclipse.bpel.validator.rules.VariablesValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    3 | CheckDuplicateVariableName | 40 | pass1 | Checks for duplicate variable name Author: michal.chmielewski@oracle.com | 12/7/2006 | 23

89. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}wait

    5 rules in class org.eclipse.bpel.validator.rules.WaitValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | BasicSanityCheck | 5 | pass1 | Do a basic sanity check on the wait activity. Author: michal.chmielewski@oracle.com | 9/22/2006 | 0

90. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}while

    6 rules in class org.eclipse.bpel.validator.rules.WhileValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. Author: michal.chmielewski@oracle.com | 10/05/2006 | 0
    4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com | 02/15/2007 | 2,001
    5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000
    6 | CheckNoActivity | 25 | pass1 | Check to see if there is any activity in the while loop. Author: michal.chmielewski@oracle.com | 10/2/2006 | 1,000

## Statistics

Total Rules: | 570
Annotated Rules: | 103
Total Nodes: | 90

## SA Checks done (against the spec)

SA | Description | Method
--- | --- | ---
1 | Check solicit-response or notification port types Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `PartnerLinkValidator` Method: `checkSolicitResponseAndNotification`
2 | Check for overloaded operation names in port types Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `PartnerLinkValidator` Method: `checkOverloadedOperationNames`
3 | When exitOnStandardFault=yes, standard fault handlers cannot be present. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `CatchValidator` Method: `rule_CheckExitStandardFaults_1`
4 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com Date: 10/2/2006 | Class: `ConditionValidator` Method: `rule_CheckExpressionLanguageSupport_20`
5 | Checks portType and derived portType values on invoke activity. Author: michal.chmielewski@oracle.com Date: 9/25/2006 | Class: `ReplyValidator` Method: `rule_CheckRolePortTypeWithReceivePortType_10`
6 | Check rethrow placement (catch or catchAll) Author: michal.chmielewski@oracle.com Date: 10/5/2006 | Class: `RethrowValidator` Method: `rule_CheckRethrowPlacement_10`
7 | Check compensateScope placement. Author: michal.chmielewski@oracle.com Date: 10/5/2006 | Class: `CompensateScopeValidator` Method: `rule_CheckPlacement_10`
8 | Check compensate placement Author: michal.chmielewski@oracle.com Date: 10/5/2006 | Class: `CompensateValidator` Method: `rule_CheckPlacement_10`
9 | Mandatory extensions must be understood Author: Unknown Date: 03/15/2007 | Class: `ExtensionValidator` Method: `rule_CheckMustUnderstand_20`
10 | Make sure that Message Type is visible from the import(s) Author: michal.chmielewski@oracle.com Date: 01/25/2007 | Class: `VariableValidator` Method: `rule_CheckTypeNode_4`
11 | Imported namespace, if set, must match Author: michal.chmielewski@oracle.com Date: 01/15/2007 | Class: `ImportValidator` Method: `rule_CheckNamespaceOfImport_8`
12 | When import has no namespace, the targetNamespace must be empty. Author: michal.chmielewski@oracle.com Date: 01/15/2007 | Class: `ImportValidator` Method: `rule_CheckNamespaceOfImport_15`
13 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. Author: michal.chmielewski@oracle.com Date: 10/3/2006 | Class: `ImportValidator` Method: `rule_CheckImportType_4`
14 | Check if used types/elements/messages have conflicting definitions Author: michal.chmielewski@oracle.com Date: 02/10/2007 | Class: `VariableValidator` Method: `rule_RegisterTypesToCheck_50`
15 | Verifies that a start activity has been found in the process Author: michal.chmielewski@oracle.com Date: 02/01/2007 | Class: `ProcessValidator` Method: `CheckIfProcessHasStartActivity`
16 | myRole or partnerRole (or both) must be set Author: michal.chmielewski@oracle.com Date: 09/19/2006 | Class: `PartnerLinkValidator` Method: `rule_CheckForUndefinedPartnerLinkRoles_4`
17 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). Author: michal.chmielewski@oracle.com Date: 09/19/2006 | Class: `PartnerLinkValidator` Method: `rule_CheckInitializePartnerRole_8`
18 | Checks for duplicate partner link name Author: michal.chmielewski@oracle.com Date: 12/7/2006 | Class: `PartnerLinksValidator` Method: `rule_CheckDuplicateName_40`
19 | Either the type or element attributes MUST be present but not both. Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `Property` Method: `rule_CheckPropertyType_10`
20 | Either the type or element attributes MUST be present or messageType AND part. Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `PropertyAlias` Method: `rule_CheckPropertyAliasDefinition_10`
21 | Check types of property aliases Author: michal.chmielewski@oracle.com Date: 03/18/2007 | Class: `PropertyAlias` Method: `rule_ChceckPropertyAliasTypes_13`
22 | Detect duplicate propertyAlias definitions Author: michal.chmielewski@oracle.com Date: 03/20/2007 | Class: `PropertyAlias` Method: `rule_CheckDuplicatePropertyAlias_25`
23 | Checks for duplicate variable name Author: michal.chmielewski@oracle.com Date: 12/7/2006 | Class: `VariablesValidator` Method: `rule_CheckDuplicateVariableName_40`
24 | Checks that variable NCName further does not contain a period (.) in the name. Author: michal.chmielewski@oracle.com Date: 9/14/2006 | Class: `VariableValidator` Method: `rule_CheckName_1`
25 | Variable type specification (either element, messaageType, or type). Author: michal.chmielewski@oracle.com Date: 9/14/2006 | Class: `VariableValidator` Method: `rule_CheckType_2`
26 | Check that initialize expressions use idempotent functions Author: michal.chmielewski@oracle.com Date: 03/15/2007 | Class: `From` Method: `CheckIdempotentFunctions`
27 | There is no implicit context node in XPath expressions used in BPEL Author: michal.chmielewski@oracle.com Date: 0/20/2007 | Class: `Query` Method: `CheckLocationPath`
28 | BPEL Functions must not be used in joinConditions Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `JoinCondition` Method: `CheckBPELFunctionsInJoinConditions`
29 | BPEL Functions must not be used in query expressions for propertyAlias Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `Query` Method: `rule_CheckQuery_30`
30 | Arguments to getVariableProperty must be quoted strings Author: michal.chmielewski@oracle.com Date: 01/29/2007 | Class: `XPathValidator` Method: `CheckGetVariableProperty`
31 | The second argument MUST be a string literal conforming to the definition of QName in section 3 Author: michal.chmielewski@oracle.com Date: 01/29/2007 | Class: `XPathValidator` Method: `CheckGetVariableProperty2ndArgument`
32 | Checks the allowed formats of the <from> element Author: michal.chmielewski@oracle.com Date: 01/15/2007 | Class: `ToValidator` Method: `rule_CheckToVariant_10`
33 | Check variable reference expression as used in a <to> element. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `To` Method: `rule_CheckVariableReference_15`
34 | Variables used in <from> must not have part set if they are schema types. (part must not be set) Author: michal.chmielewski@oracle.com Date: 01/15/2007 | Class: `ToValidator` Method: `rule_CheckVariableAndPartVariant_18`
35 | A partner link referenced in a <from> spec with endpoint reference of 'myRole' must have myRole set. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `FromValidator` Method: `rule_CheckPartnerLinkVariantMyRole_21`
36 | A partner link referenced in a <from> spec with endpoint reference of 'partnerRole' must have partnerRole set. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `FromValidator` Method: `rule_CheckPartnerLinkVariantPartnerRole_22`
37 | <to> spec with partnerLink must have partnerRole set. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `ToValidator` Method: `rule_CheckPartnerLinkVariant_20`
38 | The literal <from> spec must return a EII or a TII only Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `FromValidator` Method: `rule_CheckLiteralVariant_30`
39 | 1st arguments to doXslTransform must be quoted string Author: michal.chmielewski@oracle.com Date: 01/29/2007 | Class: `XPathValidator` Method: `CheckDoXslTransform_10`
40 | There must be an even number of arguments doXslTransform Author: michal.chmielewski@oracle.com Date: 01/29/2007 | Class: `XPathValidator` Method: `CheckDoXslTransform_11`
41 | 3rd,5th,7th, etc. arguments must be QName strings Author: michal.chmielewski@oracle.com Date: 01/29/2007 | Class: `XPathValidator` Method: `CheckDoXslTransform_15`
42 | Check if both from and to specs are EII; only then can keepSrcElement be set Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `CopyValidator` Method: `rule_CheckKeepSrcElement_50`
43 | From and to spec must have compatible types Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `VariableValidator` Method: `rule_CheckCompatibleCopy_40`
44 | Check to see if the correlationSet is already specified Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `CorrelationSetValidator` Method: `rule_CheckDuplicateCorrelationSet_2`
45 | Properties used in a <correlationSet> MUST be defined using XML Schema simple types. Author: michal.chmielewski@oracle.com Date: 03/01/2007 | Class: `CorrelationSetValidator` Method: `rule_CheckProperties_15`
46 | Check the pattern attribute values of correlation Author: michal.chmielewski@oracle.com Date: 02/20/2007 | Class: `CorrelationValidator` Method: `rule_CheckPatternValues_5`
47 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) Author: michal.chmielewski@oracle.com Date: 02/22/2007 | Class: `InvokeValidator` Method: `rule_CheckTwoWayInvocation_25`
48 | Check message type compatability on invoke Author: michal.chmielewski@oracle.com Date: 02/22/2007 | Class: `InvokeValidator` Method: `rule_CheckVariableAndMessageStructureCompatibility_40`
49 | The static analysis check number 49. Refer to spec for description Author: michal.chmielewski@oracle.com Date: 02/28/2007 | Class: `EmptyValidator` Method: `rule_SA49_0`
50 | Check to make sure that every to part is used Author: michal.chmielewski@oracle.com Date: 03/10/2007 | Class: `ToPartsValidator` Method: `rule_CheckEveryPartUsed_10`
51 | Check to see if toPart is specified; if so then inputVariable must not be used on the reply. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `InvokeValidator` Method: `rule_checkToPartsPresence_10`
52 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `InvokeValidator` Method: `rule_checkFromPartsPresence_11`
53 | Check to see if the toVariable matches the type of the partName Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `FromPartValidator` Method: `rule_CheckMessagePart_5`
54 | Check to see if the fromVariable type matches the part name specified Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `ToPartValidator` Method: `rule_CheckMessageParts_5`
55 | Check to see if fromPart is specified; if so then variable must not be used on the receive. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `ReceiveValidator` Method: `rule_checkFromPartsPresence_50`
56 | Check if this 'start' <receive> activity is positioned correctly Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `ReceiveValidator` Method: `rule_CheckIfStartActivity_3`
57 | Check common correlation sets on all the start activities Author: michal.chmielewski@oracle.com Date: 03/10/2007 | Class: `ProcessValidator` Method: `CheckCorrelationSetsOnStartActivities`
58 | Check message type compatability on receive Author: michal.chmielewski@oracle.com Date: 02/22/2007 | Class: `ReplyValidator` Method: `rule_CheckVariableAndMessageStructureCompatibility_20`
59 | Check to see if toPart is specified; if so then variable must not be used on the reply. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `ReplyValidator` Method: `rule_checkToPartsPresence_50`
60 | Check for SA code 60 is missing
61 | Check for SA code 61 is missing
62 | When createInstance is set to yes, onAlarm must not be there. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `PickValidator` Method: `rule_CheckNoAlaram_2`
63 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `OnMessageValidator` Method: `rule_checkFromPartsPresence_50`
64 | Check for unique link name Author: michal.chmielewski@oracle.com Date: 12/7/2006 | Class: `LinksValidator` Method: `rule_CheckDuplicateLinkName_40`
65 | The value of the linkName attribute of <source> MUST be the name of a <link> declared in an enclosing <flow> activity. Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `TargetValidator` Method: `rule_CheckAgainstDeclaredLink_12`
66 | Every link must have exactly one activity as source and one as target Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `TargetValidator` Method: `rule_CheckIfSourceAlreadyUsed_12`
67 | Two different links MUST NOT share the same source *and* target activities; that is, at most one link may be used to connect two activities. Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `LinkValidator` Method: `rule_CheckDistinctLinks_12`
68 | <source> elements must have distinct linkNames Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `SourcesValidator` Method: `rule_CheckUniqueSourceName_10`
69 | <target> elements must have distinct linkNames Author: michal.chmielewski@oracle.com Date: 02/16/2007 | Class: `TargetsValidator` Method: `rule_CheckUniqueTargetName_10`
70 | Link must not cross repeatable constructs Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `SourceValidator` Method: `rule_CheckRepeatableConstruct_15`
71 | Check for links crossing event handlers boundaries Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `SourceValidator` Method: `rule_CheckEventHandlersBoundary_20`
72 | A <link> declared in a <flow> MUST NOT create a control cycle, that is, the source activity must not have the target activity as a logically preceding activity. Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `LinkValidator` Method: `rule_ControlCycle_14`
73 | Checks for boolean expression on joinCondition Author: michal.chmielewski@oracle.com Date: 01/30/2007 | Class: `JoinCondition` Method: `CheckLinkReference`
74 | Check unsigned integer expression on startCounterValue, finalCounterValue Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `StartCounterValue` Method: `checkIntegerExpression`
75 | Check unsigned integer expression on branches Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `Branches` Method: `checkIntegerExpression`
76 | For <forEach> the enclosed scope MUST NOT declare a variable with the same name as specified in the counterName attribute of <forEach>. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `VariableValidator` Method: `rule_CheckForEachCounter_30`
77 | Make sure that the target scope exists Author: michal.chmielewski@oracle.com Date: 02/27/2007 | Class: `CompensateScopeValidator` Method: `rule_CheckTargetScope_25`
78 | Target of compenateScope must have a fault or compensation handler Author: michal.chmielewski@oracle.com Date: 02/27/2007 | Class: `CompensateScopeValidator` Method: `rule_CheckTargetScopeHandlers_27`
79 | Root scope inside an FCT-handler MUST not have a compensation handler Author: michal.chmielewski@oracle.com Date: 02/28/2007 | Class: `ScopeValidator` Method: `rule_CheckRootFCTScope_25`
80 | At least one catch or catchAll must be present in fault handlers. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `FaultHandlersValidator` Method: `rule_CheckHandlerCount_1`
81 | Fault variable must have message type or element set Author: michal.chmielewski@oracle.com Date: 01/25/2007 | Class: `CatchValidator` Method: `rule_CheckFaultVariable_4`
82 | Check for SA code 82 is missing
83 | At least one onAlarm or onEvent must be present in event handlers. Author: michal.chmielewski@oracle.com Date: 01/10/2007 | Class: `EventHandlersValidator` Method: `rule_CheckHandlerCount_1`
84 | Partner Link resolution: associated scope first, then ancestor scopes Author: michal.chmielewski@oracle.com Date: 03/15/2007 | Class: `OnEventValidator` Method: `rule_LookupPartnerLink_0`
85 | Check to see if fromPart is specified; if so then variable must not be used onEvent. Author: michal.chmielewski@oracle.com Date: 03/20/2007 | Class: `OnEventValidator` Method: `rule_checkFromPartsPresence_50`
86 | Variables defined in fromPart are implicitly declared in the associated scope Author: michal.chmielewski@oracle.com Date: 03/15/2007 | Class: `FromPartValidator` Method: `rule_ImplicitOnEventVariable_10`
87 | Check message type compatability on onEvent Author: michal.chmielewski@oracle.com Date: 03/15/2007 | Class: `OnEventValidator` Method: `rule_CheckVariableAndMessageStructureCompatibility_20`
88 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com Date: 03/15/2007 | Class: `CorrelationValidator` Method: `rule_ExistCorrelationSet_13`
89 | Check for SA code 89 is missing
90 | Either messageType or element must be specified if variable variant is used Author: michal.chmielewski@oracle.com Date: 3/15/2007 | Class: `OnEventValidator` Method: `rule_LookupVariable_5`
91 | Isolated scopes may not contain other isolated scopes Author: michal.chmielewski@oracle.com Date: 01/24/2007 | Class: `ScopeValidator` Method: `rule_CheckNoIsolatedScopeDescendants_20`
92 | Within a scope all immediately enclosed scopes must have unique name Author: michal.chmielewski@oracle.com Date: 01/24/2007 | Class: `ScopeValidator` Method: `rule_CheckUniqueScopeNames_20`
93 | Check to see if a duplicate catch has been specified Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `CatchValidator` Method: `rule_CheckDuplicateCatch_10`
1,000 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com Date: 10/2/2006 | Class: `WhileValidator` Method: `rule_CheckNoActivity_25`
1,001 | Check to see if keep source element is one of the allowed values Author: michal.chmielewski@oracle.com Date: 02/12/2007 | Class: `MessageExchangesValidator` Method: `rule_CheckDuplicateName_40`
1,004 | Check target scope NCName Author: michal.chmielewski@oracle.com Date: 02/27/2007 | Class: `CompensateScopeValidator` Method: `rule_CheckTargetScopeNCName_15`
1,010 | Check the initiate attribute values Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `CorrelationValidator` Method: `rule_CheckInitiate_2`
1,015 | Check functions in XPath expressions Author: michal.chmielewski@oracle.com Date: 03/02/2007 | Class: `XPathValidator` Method: `CheckFunctions`
1,022 | Checks for boolean expression on transitionCondition Author: michal.chmielewski@oracle.com Date: 01/30/2007 | Class: `TransitionCondition` Method: `checkBooleanExpression`
1,024 | Check deadline expression on the Until node Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `Until` Method: `checkDeadlineExpression`
1,200 | Check if we are within a flow, if not disable rest of rules Author: michal.chmielewski@oracle.com Date: 02/17/2007 | Class: `TargetValidator` Method: `rule_CheckIfInFlow_2`
1,234 | Imported node location problem Author: michal.chmielewski@oracle.com Date: 03/29/2007 | Class: `ImportValidator` Method: `rule_CheckImportLocation_14`
2,001 | Check to make sure that my parent node is within a set of allowed nodes Author: michal.chmielewski@oracle.com Date: 02/15/2007 | Class: `CValidator` Method: `rule_CheckParentNode_1`
2,002 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com Date: 02/15/2007 | Class: `CValidator` Method: `rule_CheckChildrenNodes_0`
2,003 | Check if inputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `InvokeValidator` Method: `rule_CheckInputVariable_3`
2,004 | Check if outputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com Date: 01/20/2007 | Class: `InvokeValidator` Method: `rule_CheckOutputVariable_3`

## Completeness of SA checks

Total SA Checks: | 94
Implemented SA Checks: | 90
Missing SA Checks: | 4
% Complete: | 95.74
% TODO: | 4.26