BPEL Validator Rules

Validators

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  6. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}compensate

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  9. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}completionCondition

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  10. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}condition

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  16. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}correlations

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  17. {http://schemas.xmlsoap.org/wsdl/}definitions - no validator.
  18. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}else

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  19. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}elseif

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  20. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}empty

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  27. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}faultHandlers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  38. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}if

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  46. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}messageExchange

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckName 1 pass1 Check the NCName of the messageExchange
    Author: michal.chmielewski@oracle.com
    02/15/2007 0
    3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  47. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}messageExchanges

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
    3 BasicSanityCheck 5 pass1 - 0
  49. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}onEvent

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 2,001
  77. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}throw

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Statistics

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

SA Checks done (against the spec)

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

Completeness of SA checks

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