## 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 | 02002
   2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
   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 | N/A
   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 | 02001
   5 | CheckValidate | 10 | pass1 | Check validate attribute in assign activity. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A

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 | Check successfulBranchesOnly attribute. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
   2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
   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 | 02001
   4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
   5 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

   4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

   # | Rule | Seq | Tag | Description | Date | SA
   --- | --- | --- | --- | --- | --- | ---
   1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
   2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
   3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
   4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002
   2 | CheckExitStandardFaults | 1 | pass1 | When exitOnStandardFault=yes, standard fault handlers cannot be present. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00003
   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 | 02001
   4 | CheckFaultVariable | 4 | pass1 | Fault variable must have message type or element set Author: michal.chmielewski@oracle.com | 01/25/2007 | 00081
   5 | CheckDuplicateCatch | 10 | pass1 | Check to see if a duplicate catch has been specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 00093

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 | 02002
   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 | 02001

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 | 02002
   2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
   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 | N/A
   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 | 02001
   5 | CheckPlacement | 10 | pass1 | Check compensate placement Author: michal.chmielewski@oracle.com | 10/5/2006 | 00008

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 | 02002
   2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
   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 | N/A
   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 | 02001
   5 | CheckPlacement | 10 | pass1 | Check compensateScope placement. Author: michal.chmielewski@oracle.com | 10/5/2006 | 00007
   6 | CheckTargetScopeNCName | 15 | pass1 | Check target scope NCName Author: michal.chmielewski@oracle.com | 02/27/2007 | 01004
   7 | CheckTargetScope | 25 | pass2 | Make sure that the target scope exists Author: michal.chmielewski@oracle.com | 02/27/2007 | 00077
   8 | CheckTargetScopeHandlers | 27 | pass2 | Target of compenateScope must have a fault or compensation handler Author: michal.chmielewski@oracle.com | 02/27/2007 | 00078

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 | 02002
   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 | 02001

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 | 02002
   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 | 02001

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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002
    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 | 02001
    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 | 01001
    4 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types Author: michal.chmielewski@oracle.com | 02/16/2007 | 00043
    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 | 00042

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 | 02002
    2 | CheckName | 1 | pass1 | Check the NCName of the correlation Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    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 | 02001
    4 | CheckInitiate | 2 | pass1 | Check the initiate attribute values Author: michal.chmielewski@oracle.com | 01/20/2007 | 01010
    5 | CheckPatternValues | 5 | pass1 | Check the pattern attribute values of correlation Author: michal.chmielewski@oracle.com | 02/20/2007 | 00046
    6 | CheckDuplicateCorrelation | 10 | pass1 | Check to see if the correlation is already specified Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    7 | ExistCorrelationSet | 12 | pass1 | Check to see if the correlation set exists Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    8 | ExistCorrelationSet | 13 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 00088

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 | 02002
    2 | CheckName | 1 | pass1 | Check the NCName of the correlationSet Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    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 | 02001
    4 | CheckDuplicateCorrelationSet | 2 | pass1 | Check to see if the correlationSet is already specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 00044
    5 | CheckPropertiesAttribute | 10 | pass1 | Check if property attribute is set Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    6 | CheckProperties | 15 | pass1 | Properties used in a <correlationSet> MUST be defined using XML Schema simple types. Author: michal.chmielewski@oracle.com | 03/01/2007 | 00045

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 | 02002
    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 | 02001

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 | 02002
    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 | 02001

17. {http://schemas.xmlsoap.org/wsdl/}definitions

    0 rules in class org.eclipse.bpel.validator.wsdl.Definitions

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---

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 | 02002
    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 | 02001

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 | 02002
    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 | 02001

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 | 00049
    2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001

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 | 02002
    2 | CheckHandlerCount | 1 | pass1 | At least one onAlarm or onEvent must be present in event handlers. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00083
    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 | 02001

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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001

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 | 02002
    2 | CheckMustUnderstand | 1 | pass1 | Check mustUnderstand attribute. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    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 | 02001
    4 | CheckNamespaceURI | 2 | pass1 | Check namespaceURI attribute. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    5 | CheckMustUnderstand | 20 | pass1 | Mandatory extensions must be understood Author: Unknown | 03/15/2007 | 00009

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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001

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

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

    # | 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 | 02002
    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 | 02001

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 | 02002
    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 | 02001

27. {http://schemas.xmlsoap.org/wsdl/}fault - no validator.
28. {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 | 02002
    2 | CheckHandlerCount | 1 | pass1 | At least one catch or catchAll must be present in fault handlers. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00080
    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 | 02001

29. {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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

31. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001

32. {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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

34. {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 | 02002
    2 | CheckParallel | 1 | pass1 | Check parallel attribute in forEach activity. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    6 | CheckCounterName | 2 | pass1 | Check the NCName of the forEach activity counter. Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A

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

    9 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 | 02002
    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 | 02001
    3 | CheckFromVariant | 10 | pass1 | Checks the allowed formats of the <from> element Author: michal.chmielewski@oracle.com | 01/15/2007 | 00032
    4 | CheckVariableVariant | 18 | pass1 | Variables used in <from> must not have part set if they are schema types. (part must not be set) Author: michal.chmielewski@oracle.com | 01/15/2007 | 00034
    5 | CheckPartnerLinkVariantMyRole | 21 | pass1 | A partner link referenced in a <from> spec with endpoint reference of 'myRole' must have myRole set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00035
    6 | CheckPartnerLinkVariantPartnerRole | 22 | pass1 | A partner link referenced in a <from> spec with endpoint reference of 'partnerRole' must have partnerRole set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00036
    7 | CheckLiteralVariant | 30 | pass1 | The literal <from> spec must return a EII or a TII only Author: michal.chmielewski@oracle.com | 01/10/2007 | 00038
    8 | CheckExpressionVariant | 50 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 01000
    9 | CheckQueryVariant | 55 | pass1 | Query variant checking. Author: michal.chmielewski@oracle.com | 07/07/2007 | 01000

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

37. {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 | 02002
    2 | CheckVariable | 1 | pass1 | Check toVariable on the toPart. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    3 | CheckDuplicatePartToVariable | 1 | pass1 | Check to see if part='' toVariable='' is a duplicate entry. Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    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 | 02001
    5 | CheckVariableDefined | 4 | pass1 | Checks to see if the toVariable is defined. Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    6 | CheckMessagePart | 5 | pass1 | Check to see if the toVariable matches the type of the partName Author: michal.chmielewski@oracle.com | 01/20/2007 | 00053
    7 | ImplicitOnEventVariable | 10 | pass1 | Variables defined in fromPart are implicitly declared in the associated scope Author: michal.chmielewski@oracle.com | 03/15/2007 | 00086

38. {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 | 02002
    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 | 02001

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

    5 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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity Author: michal.chmielewski@oracle.com | 10/2/2006 | 01000

40. {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 | 02002
    2 | CheckIfImportTypesSet | 1 | pass1 | Check if importType is set on import Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    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 | 02001
    4 | CheckLocation | 3 | pass1 | Check if location is set on import Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    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 | 00013
    6 | CheckNamespaceOfImport | 8 | pass1 | Imported namespace, if set, must match Author: michal.chmielewski@oracle.com | 01/15/2007 | 00011
    7 | CheckImportLocation | 14 | pass1 | Imported node location problem Author: michal.chmielewski@oracle.com | 03/29/2007 | 01234
    8 | CheckNamespaceOfImport | 15 | pass1 | When import has no namespace, the targetNamespace must be empty. Author: michal.chmielewski@oracle.com | 01/15/2007 | 00012

41. {http://schemas.xmlsoap.org/wsdl/}input - no validator.
42. {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 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 00088
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    9 | CheckInputVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 02003
    10 | CheckOutputVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 02004
    11 | CheckPortType | 3 | pass1 | Check if port type exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    12 | CheckPartnerLinkType | 4 | pass1 | Check partner link type Author: michal.chmielewski@oracle.com | 02/27/2007 | N/A
    13 | CheckIfPartnerRoleIsDefined | 5 | pass1 | Checks if partner role is defined in invoke activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    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 | 00051
    15 | CheckRolePortTypeWithInvokePortType | 10 | pass1 | Checks portType and derived portType values on invoke activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 00005
    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 | 00052
    17 | CheckInputOutputMessages | 12 | pass1 | Checks if input and output messages are defined for invoke activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    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 | 00047
    19 | CheckVariableAndMessageStructureCompatibility | 40 | pass1 | Check message type compatability on invoke Author: michal.chmielewski@oracle.com | 02/22/2007 | 00048

43. {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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

45. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the NCName of the link Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    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 | 02001
    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 | 00066
    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 | 00067
    6 | ControlCycle | 14 | pass2 | A 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 | 02/17/2007 | 00072

46. {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 | 02002
    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 | 02001
    3 | CheckDuplicateLinkName | 40 | pass1 | Check for unique link name Author: michal.chmielewski@oracle.com | 12/7/2006 | 00064

47. {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 | 02002
    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 | 02001

48. {http://schemas.xmlsoap.org/wsdl/}message - no validator.
49. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the NCName of the messageExchange Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    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 | 02001

50. {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 | 02002
    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 | 02001
    3 | CheckDuplicateName | 40 | pass1 | Check for unique message exchange name Author: michal.chmielewski@oracle.com | 12/7/2006 | 01001

51. {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 | 02002
    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 | 02001
    3 | BasicSanityCheck | 5 | pass1 | Basic sanity check of wait activity Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A

52. {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 | 00084
    2 | LookupPortType | 0 | pass1 | - | 0
    3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 00088
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    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 | 02001
    8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    9 | CheckPortType | 3 | pass1 | Check if port type exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    10 | CheckPartnerLinkType | 4 | pass1 | Check partner link type Author: michal.chmielewski@oracle.com | 02/27/2007 | N/A
    11 | LookupVariable | 5 | pass1 | Either messageType or element must be specified if variable variant is used Author: michal.chmielewski@oracle.com | 3/15/2007 | 00090
    12 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if my role is defined in onMessage activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 00084
    13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on onEvent. Author: michal.chmielewski@oracle.com | 03/13/2007 | 00005
    14 | CheckInputMessage | 12 | pass1 | Checks if input message is defined for onEvent activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on onEvent Author: michal.chmielewski@oracle.com | 03/15/2007 | 00087
    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 | 00085

53. {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 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 00088
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    5 | CheckName | 1 | pass1 | - | 0
    6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0
    7 | LookupVariable | 1 | pass1 | Check variable on receive activity Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    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 | 02001
    9 | CheckCreateInstanceSetting | 2 | pass1 | Check createInstance attribute on receive activity. Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    10 | CheckPartnerLink | 2 | pass1 | Check if partner link exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' <receive> activity is positioned correctly Author: michal.chmielewski@oracle.com | 01/10/2007 | 00056
    12 | CheckVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 02003
    13 | CheckPortType | 3 | pass1 | Check if port type exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    14 | CheckPartnerLinkType | 4 | pass1 | Check partner link type Author: michal.chmielewski@oracle.com | 02/27/2007 | N/A
    15 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if partner role is defined in receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 00005
    17 | CheckInputMessage | 12 | pass1 | Checks if input messages is defined for receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive Author: michal.chmielewski@oracle.com | 02/22/2007 | 00058
    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 | 00063

54. {http://schemas.xmlsoap.org/wsdl/}operation - no validator.
55. {http://schemas.xmlsoap.org/wsdl/}output - no validator.
56. {http://schemas.xmlsoap.org/wsdl/}part - no validator.
57. {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 | 00001
    2 | checkOverloadedOperationNames | 0 | direct | Check for overloaded operation names in port types Author: michal.chmielewski@oracle.com | 02/16/2007 | 00002
    3 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    4 | CheckName | 1 | pass1 | Check the NCName of the partner link. Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    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 | 02001
    6 | CheckPartnerLinkType | 2 | pass1 | Checks partner link type Author: michal.chmielewski@oracle.com | 01/15/2007 | 00032
    7 | CheckForUndefinedPartnerLinkRoles | 4 | pass1 | myRole or partnerRole (or both) must be set Author: michal.chmielewski@oracle.com | 09/19/2006 | 00016
    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 | 00017
    9 | CheckPartnerLinkRoles | 10 | pass1 | Check if partner link role exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    10 | CheckRolesOnPartnerLinkType | 17 | pass1 | - | 0
    11 | CheckPortTypes | 18 | pass1 | Check if port type is set on the partnerLink Author: michal.chmielewski@oracle.com | 09/19/2006 | 00017

58. {http://docs.oasis-open.org/wsbpel/2.0/plnktype}partnerLinkType - no validator.
59. {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 | 02002
    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 | 02001
    3 | CheckDuplicateName | 40 | pass1 | Checks for duplicate partner link name Author: michal.chmielewski@oracle.com | 12/7/2006 | 00018

60. {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 | 02002
    2 | CheckCreateInstanceSet | 1 | pass1 | Checks to see if the createInstance attribute is set. Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    3 | CheckOnMessagesOnAlarms | 1 | pass1 | Check if at least 1 onAlarm/onMessage is present in a <pick> Author: michal.chmielewski@oracle.com | 01/15/2007 | N/A
    4 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    7 | CheckNoAlaram | 2 | pass1 | When createInstance is set to yes, onAlarm must not be there. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00062
    8 | CheckIfStartActivity | 3 | pass1 | Check if this pick activity is positioned correctly Author: michal.chmielewski@oracle.com | 01/10/2007 | 00056

61. {http://schemas.xmlsoap.org/wsdl/}portType - no validator.
62. {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 | 02002
    2 | CheckName | 1 | pass1 | Rule to check the name of the process Author: michal.chmielewski@oracle.com | 9/14/2006 | N/A
    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 | 02001
    4 | CheckExpressionLanguage | 3 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 9/14/2006 | 00004
    5 | CheckQueryLanguage | 4 | pass1 | Checks the query language for support in the BPEL model Author: michal.chmielewski@oracle.com | 9/14/2006 | 00004
    6 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    7 | CheckSuppressJoinFailre | 11 | pass1 | Check supressJoinFailure attribute setting Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    8 | CheckReferencedTypes | 300 | pass2 | Check if used types/elements/messages have conflicting definitions Author: michal.chmielewski@oracle.com | 02/10/2007 | 00014
    9 | CheckIfProcessHasStartActivity | 1,000 | pass2 | Verifies that a start activity has been found in the process Author: michal.chmielewski@oracle.com | 02/01/2007 | 00015
    10 | CheckCorrelationSetsOnStartActivities | 2,000 | pass2 | Check common correlation sets on all the start activities Author: michal.chmielewski@oracle.com | 03/10/2007 | 00057

63. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the NCName of the property Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    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 | 02001
    4 | CheckDuplicateName | 5 | pass1 | Check if property name is duplicated Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    5 | CheckPropertyType | 10 | pass1 | Either the type or element attributes MUST be present but not both. Author: michal.chmielewski@oracle.com | 02/17/2007 | 00019
    6 | CheckTypeOrElement | 15 | pass1 | Attribute cannot be resolved for XSD type or element. Author: michal.chmielewski@oracle.com | 02/17/2007 | N/A

64. {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 | 02002
    2 | CheckQName | 1 | pass1 | Check the QName of the property for this propertyAlias Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    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 | 02001
    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 | 00020
    5 | ChceckPropertyAliasTypes | 13 | pass1 | Check types of property aliases Author: michal.chmielewski@oracle.com | 03/18/2007 | 00021
    6 | CheckDuplicatePropertyAlias | 25 | pass1 | Detect duplicate propertyAlias definitions Author: michal.chmielewski@oracle.com | 03/20/2007 | 00022

65. {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 | 02002
    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 | 02001
    3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | CheckQuery | 30 | pass1 | Checks the actual query using the query language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | 01000

66. {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 | 02002
    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 | 02001
    3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    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 | 00029

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

68. {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 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 00088
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    5 | LookupVariable | 1 | pass1 | Check variable on receive activity Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    6 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    9 | CheckCreateInstanceSetting | 2 | pass1 | Check createInstance attribute on receive activity. Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    10 | CheckPartnerLink | 2 | pass1 | Check if partner link exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' <receive> activity is positioned correctly Author: michal.chmielewski@oracle.com | 01/10/2007 | 00056
    12 | CheckVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 02003
    13 | CheckPortType | 3 | pass1 | Check if port type exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    14 | CheckPartnerLinkType | 4 | pass1 | Check partner link type Author: michal.chmielewski@oracle.com | 02/27/2007 | N/A
    15 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if partner role is defined in receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 00005
    17 | CheckInputMessage | 12 | pass1 | Checks if input messages is defined for receive activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive Author: michal.chmielewski@oracle.com | 02/22/2007 | 00058
    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 | 00055

69. {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 | 02002
    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 | 02001
    4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    5 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

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

    5 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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity Author: michal.chmielewski@oracle.com | 10/2/2006 | 01000

72. {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 | Correlation set lookup, first associated scope, then ancestor scopes Author: michal.chmielewski@oracle.com | 03/15/2007 | 00088
    4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) Author: michal.chmielewski@oracle.com | 02/15/2007 | 02002
    5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    9 | CheckVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. Author: michal.chmielewski@oracle.com | 01/20/2007 | 02003
    10 | CheckPortType | 3 | pass1 | Check if port type exists Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    11 | CheckPartnerLinkType | 4 | pass1 | Check partner link type Author: michal.chmielewski@oracle.com | 02/27/2007 | N/A
    12 | CheckIfPartnerRoleIsDefined | 5 | pass1 | Checks if partner role is defined in reply activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on reply activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | 00005
    14 | CheckOutputMessage | 12 | pass1 | Checks if output message is defined for reply activity. Author: michal.chmielewski@oracle.com | 9/25/2006 | N/A
    15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on reply Author: michal.chmielewski@oracle.com | 02/22/2007 | 00058
    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 | 00059

73. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | CheckRethrowPlacement | 10 | pass1 | Check rethrow placement (catch or catchAll) Author: michal.chmielewski@oracle.com | 10/5/2006 | 00006

74. {http://docs.oasis-open.org/wsbpel/2.0/plnktype}role - no validator.
75. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    6 | CheckIsolatedAttribute | 10 | pass1 | Check isolated attribute setting on scope Author: michal.chmielewski@oracle.com | 01/10/2007 | N/A
    7 | CheckNoIsolatedScopeDescendants | 20 | pass1 | Isolated scopes may not contain other isolated scopes Author: michal.chmielewski@oracle.com | 01/24/2007 | 00091
    8 | CheckUniqueScopeNames | 20 | pass1 | Within a scope all immediately enclosed scopes must have unique name Author: michal.chmielewski@oracle.com | 01/24/2007 | 00092
    9 | CheckRootFCTScope | 25 | pass1 | Root scope inside an FCT-handler MUST not have a compensation handler Author: michal.chmielewski@oracle.com | 02/28/2007 | 00079

76. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001

77. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the source variable NCName Author: michal.chmielewski@oracle.com | 9/14/2006 | N/A
    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 | 02001
    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 | 01200
    5 | CheckAgainstDeclaredLink | 11 | pass1 | The value of the linkName attribute of MUST be the name of a declared in an enclosing <flow> activity. Author: michal.chmielewski@oracle.com | 02/16/2007 | 00065
    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 | 00066
    7 | CheckRepeatableConstruct | 15 | pass1 | Link must not cross repeatable constructs Author: michal.chmielewski@oracle.com | 02/17/2007 | 00070
    8 | CheckEventHandlersBoundary | 20 | pass2 | Check for links crossing event handlers boundaries Author: michal.chmielewski@oracle.com | 02/17/2007 | 00071

78. {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 | 02002
    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 | 02001
    3 | CheckUniqueSourceName | 10 | pass1 | elements must have distinct linkNames Author: michal.chmielewski@oracle.com | 02/16/2007 | 00068

79. {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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

81. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the target variable NCName Author: michal.chmielewski@oracle.com | 9/14/2006 | N/A
    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 | 02001
    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 | 01200
    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 | 00066
    6 | CheckAgainstDeclaredLink | 12 | pass1 | The value of the linkName attribute of <target> MUST be the name of a declared in an enclosing <flow> activity. Author: michal.chmielewski@oracle.com | 02/16/2007 | 00065

82. {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 | 02002
    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 | 02001
    3 | CheckUniqueTargetName | 10 | pass1 | <target> elements must have distinct linkNames Author: michal.chmielewski@oracle.com | 02/16/2007 | 00069

83. {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 | 02002
    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 | 02001

84. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | CheckFaultName | 10 | pass1 | - | 0
    6 | CheckFaultVariable | 12 | pass1 | Check if the fault is valid Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A
    7 | CheckVariableType | 14 | pass1 | - | 0

85. {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 | 02002
    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 | 02001
    3 | CheckToVariant | 10 | pass1 | Checks the allowed formats of the <to> element Author: michal.chmielewski@oracle.com | 01/15/2007 | 00032
    4 | CheckVariableAndPartVariant | 18 | pass1 | Variables used in <to> must not have part set if they are schema types. (part must not be set) Author: michal.chmielewski@oracle.com | 01/15/2007 | 00034
    5 | CheckPartnerLinkVariant | 20 | pass1 | <to> spec with partnerLink must have partnerRole set. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00037
    6 | CheckExpressionVariant | 50 | pass1 | Check variable reference expression as used in a <to> element. Author: michal.chmielewski@oracle.com | 01/10/2007 | 00033

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

87. {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 | 02002
    2 | CheckVariable | 1 | pass1 | Check the toVariable on the toPart. Author: michal.chmielewski@oracle.com | 03/15/2007 | N/A
    3 | CheckDuplicatePartFromVariable | 1 | pass1 | Check to see if part='' fromVariable='' is a duplicate entry. Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    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 | 02001
    5 | CheckVariableDefined | 4 | pass1 | Checks to see if the fromVariable is defined. Author: michal.chmielewski@oracle.com | 01/20/2007 | N/A
    6 | CheckMessageParts | 5 | pass1 | Check to see if the fromVariable type matches the part name specified Author: michal.chmielewski@oracle.com | 01/20/2007 | 00054
    7 | CheckToPartTypeCompatibility | 20 | pass1 | Check toPart and variable type compatibility Author: michal.chmielewski@oracle.com | 03/10/2007 | N/A

88. {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 | 02002
    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 | 02001
    3 | CheckEveryPartUsed | 10 | pass2 | Check to make sure that every to part is used Author: michal.chmielewski@oracle.com | 03/10/2007 | 00050

89. {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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

91. {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 | 02002
    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 | 02001
    3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model Author: michal.chmielewski@oracle.com | 10/2/2006 | 00004
    4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. Author: michal.chmielewski@oracle.com | 10/2/2006 | N/A

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

    4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator

    # | Rule | Seq | Tag | Description | Date | SA
    --- | --- | --- | --- | --- | --- | ---
    1 | SanityCheck | 1 | pass1 | XPath sanity check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check Author: michal.chmielewski@oracle.com | 02/16/2007 | N/A
    3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis Author: michal.chmielewski@oracle.com | 01/30/2007 | N/A
    4 | ExpressionType | 999,999 | pass1 | - | 0

93. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | CheckValidateVariables | 15 | pass1 | Make sure that the variables defined in the validate activity are defined. Author: michal.chmielewski@oracle.com | 02/15/2007 | N/A

94. {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 | 02002
    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 | 00024
    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 | 02001
    4 | CheckType | 2 | pass1 | Variable type specification (either element, messaageType, or type). Author: michal.chmielewski@oracle.com | 9/14/2006 | 00025
    5 | CheckMessageTypeNode | 4 | pass1 | Make sure that Message Type is visible from the import(s) Author: michal.chmielewski@oracle.com | 01/25/2007 | 00010
    6 | CheckElementNode | 4 | pass1 | Make sure that Element is visible from the import(s) Author: michal.chmielewski@oracle.com | 01/25/2007 | 00010
    7 | CheckTypeNode | 4 | pass1 | Make sure that Type is visible from the import(s) Author: michal.chmielewski@oracle.com | 01/25/2007 | 00010
    8 | CheckIfVariableHidesSuperVariables | 15 | pass1 | Check to see if variable hides super variables Author: michal.chmielewski@oracle.com | 01/25/2007 | N/A
    9 | CheckForEachCounter | 30 | pass1 | 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 | 01/20/2007 | 00076
    10 | RegisterTypesToCheck | 50 | pass1 | Mark the types/elements/messages used to be checked for duplicates Author: michal.chmielewski@oracle.com | 02/25/2007 | 00014
    11 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types Author: michal.chmielewski@oracle.com | 02/16/2007 | 00043

95. {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 | 02002
    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 | 02001
    3 | CheckDuplicateVariableName | 40 | pass1 | Checks for duplicate variable name Author: michal.chmielewski@oracle.com | 12/7/2006 | 00023

96. {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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | BasicSanityCheck | 5 | pass1 | Do a basic sanity check on the wait activity. Author: michal.chmielewski@oracle.com | 9/22/2006 | N/A

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

    5 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 | 02002
    2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName Author: michal.chmielewski@oracle.com | 10/05/2006 | N/A
    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 | N/A
    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 | 02001
    5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity Author: michal.chmielewski@oracle.com | 10/2/2006 | 01000

## Statistics

Total Rules: | 469
Annotated Rules: | 89
Total Nodes: | 97

## 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_CheckPortTypes_18`
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 for SA code 26 is missing
27 | Check for SA code 27 is missing
28 | Check for SA code 28 is missing
29 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. Author: michal.chmielewski@oracle.com Date: 3/6/2007 | Class: `Query` Method: `rule_CheckQuery_30`
30 | Check for SA code 30 is missing
31 | Check for SA code 31 is missing
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: `ToValidator` Method: `rule_CheckExpressionVariant_50`
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 | Check for SA code 39 is missing
40 | Check for SA code 40 is missing
41 | Check for SA code 41 is missing
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 | Check for SA code 73 is missing
74 | Check for SA code 74 is missing
75 | Check for SA code 75 is missing
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_CheckIfMyRoleIsDefined_5`
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: `CPartnerActivityValidator` Method: `rule_CheckOperationSet_0`
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_BasicSanityCheck_11`
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,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: `ReplyValidator` Method: `rule_CheckVariable_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: | 79
Missing SA Checks: | 15
% Complete: | 84.04
% TODO: | 15.96

## Error messages being reported against SA checks

Message Text | SA
--- | ---
{1} "{2}" of type "{4}" is not compatible with WSDL message "{3}". | 00048 00058 00087
The start activity <{0}> must be the first activity in the process. | 00056
Standard fault "{1}" cannot be handled in <{0}> when exitOnStandardFaults is set to yes. | 00003
The partner link "{1}" referenced from this <{0}> must have "{2}" defined. | 00037
Target scope "{2}" does not exist. | 00077
Target {3} "{2}" must have a compensationHandler or a faultHandler. | 00078
{1,choice,0#Node|1#Activity} <{0}> must contain at least {5,choice,1#one node|1<{5} nodes} from {3} | 02002
The <{1}> node present in this <{0}> has {2,choice,0# unspecified text value (is empty)| 1<has too many elements (1 element is required)} | 00038
<{3}> can only occur at most {5,choice,1#one time|1<{5} times} in parent {1,choice,0#node|1#activity} <{0}> | 02002
<{1}> name "{2}" is already defined in this scope/process. | 00018 00023 00044 00064 00068 00069
This <{0}> with name="{1}" was already defined previously | 00022
Cannot import type "{1}" from location "{2}" | 01234
The XSD type "{1}" of {2} "{3}" in this <{0}> is not a simple XSD type. | 00045
This <{0}> uses undefined message part "{1}" in message type "{2}" | 00021
There is no "{2}" message that is used by this <{0}> - {3,choice,0#node <{4}> |2#attribute "{4}"} must be omitted. | 00047
Solicit-response operation "{4}" in portType "{3}" cannot be used in a BPEL process. | 00001
XSD element <{0}> in import {1} conflicts with element of the same name in {2}. | 00014
{1,choice,0#Node|1#Activity} <{0}> must have {2} {3,choice,0#node|1#activity|2#attribute} present. | 00080 00081 00083 00090
The variable name "{1}" is used as a counter name in <{2}>. | 00076
The link "{1}" used as a {0} is not defined in the enclosing flow. | 00065
Scope "{1}" cannot have a <{2}> because because it is itself inside an FCT-hander. | 00079
The "{1}" has a control cycle where the source "{2}" has the target "{3}" as a preceding activity. | 00072
<{0}> cannot be a child of <{1}>; it can only be a child of {2} | 02001
The link "{1}" does not have a source. | 00066
{0} attribute refers to an unsupported language URI {1} | 00004
A catch for fault "{1}" already exist. | 00093
Extension "{1}" is not supported by this implementation. | 00009
{1,choice,0#Node|1#Activity} <{0}> must specify one {3,choice,0#node|1#activity|2#attribute} {2}. | 00081 00090
The attribute {1} must be set to "{2}" on this <{0}> | 00057
Attribute "{0}" must not be set on this <{1}> {2,choice,0#node|1#activity}. | 00046
{3,choice,0#Node|1#Activity|2#Attribute} {2} must not be specified on {1,choice,0#node|1#activity} <{0}>. | 00090
Attribute "{1}" cannot be set because {2} "{3}" is not an element. | 00042
Immediately enclosed {0} "{1}" must have a unique name within the outer scope "{3}". | 00092
"{1}" is set to "{2}" on this <{0}> {4,choice,0#node|1#activity} but it can only be set to {3} | 00017 00032 00046 00090 01001 01010 02003 02004
The {1} of "{2}" is not compatible with {3} of "{4}" - {5} | 00043
Message part "{1}" does not exist in message "{2}" | 00034 00054
partnerLink "{1}" uses portType "{3}" (via partnerLinkType "{2}") which has an overloaded operation "{4}". | 00002
Attribute "{1}" is not set on this <{0}> {2,choice,0#node|1#activity}. | 00000 00010 00024 00032 00046 00047 00081 00088 00090 01001 01004 01010 02003 02004
The <{0}> activity named "{1}" must be in a fault, compensate, or termination handlers. | 00007 00008
The "{1}" cannot be used on <{0}> that does not have {2} defined. | 00017
<{0}> activity "{1}" specifies a portType "{2}", yet this portType does not match the portType derived from "{4}" of partnerLink "{3}" defined in WSDL "{5}" | 00005
Isolated scope "{1}" cannot exist within another isolated scope (scope "{3}"). | 00091
<{0}> activity "{1}" is trying to use partnerLink "{2}" which does not have a "{3}" defined. | 00084
Part "{3}" must be specified on this <{2}> - activity <{1}> requires it. | 00050
The targetNamespace {2} of the imported document is not the default namespace. | 00012
This <{0}> activity is a start activity and cannot have an onAlarm component. | 00062
The import namespace {1} and the imported document target namespace {2} do not match. | 00011
The {1} start activities must share at least one correlation. | 00057
Either "{1}" or "{2}" attribute is required on this <{0}> | 00019 00020
The partner link "{1}" referenced from this <{0}> must have "{2}" defined. | 00035 00036
The <{1}> activity named {0} must be in a fault handler. | 00006
The part "{1}" is already specified in another <{0}>. | 00053
The link "{1}" is not unique - the link "{2}" also makes an identical connection. | 00067
The form of <{0}> is not valid (too many variants detected). | 00032
The variable name "{0}" contains an illegal period (.) character. | 00024
Notification operation "{4}" in portType "{3}" (via partnerLinkType "{2}") cannot be used in a BPEL process. | 00001
The link "{1}" does not have a target. | 00066
The link "{1}" crosses repeatable boundary on <{2}>. | 00070
The "{0}" attribute of this <{1}> is set to "{2}" - it is not a valid NCName. | 00000 00024 01004
Either <{1}> *or* attribute "{2}" must be specified on <{0}>. | 00051 00052 00055 00059 00063 00085
The {1} "{2}" is not of messageType and a "part" is specified in this <{0}> node. | 00034
"{1}" is set to "{3}" on this <{0}> {2,choice,0#|1#activity} but it cannot be resolved (check value of "{1}", imports, WSDLs or XSDs). | 00010 00017 00021 00032 00045 00081 00088 00090 02003 02004
Link "{1}" must be outbound only; target activity must be outside of the enclosing <{2}>. | 00071
Variable "{0}" must be have either messageType,element, or type defined. | 00025
There is no start activity in process "{1}" | 00015
{0} "{1}" must have "{2}" and/or "{3}" set. | 00016

## Warning messages being reported against SA checks

Message Text | SA
--- | ---
The expression in <{0}> cannot be checked - no expression validator has been registered for language {1}. | 00029 00033 01000
The {1} of simple type "{2}" is not compatible with {3} of simple type "{4}" - a BPEL runtime may provide an implicit conversion. | 00043
The {3,choice,0#node|1#activity} <{0}> refers to a {1} (via the attribute "{2}") - this {1} needs to be defined correctly. | 00032 02003 02004

## Information messages being reported against SA checks

Message Text | SA
--- | ---
Copy rule not checked - {1} type-of "{2}", {3} type-of "{4}". | 00043
The {1} of {0} is not defined in BPEL 2.0 and is not understood by this implementation. | 00013