Validators

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  4. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}catch

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  12. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}copy

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
  17. {http://schemas.xmlsoap.org/wsdl/}definitions

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

    # Rule Seq Tag Description Date SA
  18. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}else

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  31. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}flow

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  34. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}forEach

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    3 CheckFromVariant 10 pass1 Checks the allowed formats of the element
    Author: michal.chmielewski@oracle.com
    01/15/2007 00032
    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 00034
    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 00035
    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 00036
    7 CheckLiteralVariant 30 pass1 The literal spec must return a EII or a TII only
    Author: michal.chmielewski@oracle.com
    01/10/2007 00038
    8 CheckExpressionVariant 50 pass1 Checks the actual expression using the expression language validator.
    Author: michal.chmielewski@oracle.com
    10/2/2006 01000
    9 CheckQueryVariant 55 pass1 Query variant checking.
    Author: michal.chmielewski@oracle.com
    07/07/2007 01000
  36. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}from

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  37. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}fromPart

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 LookupPartnerLink 0 pass1 - 0
    2 LookupPortType 0 pass1 - 0
    3 CheckOperationSet 0 pass1 Correlation set lookup, first associated scope, then ancestor scopes
    Author: michal.chmielewski@oracle.com
    03/15/2007 00088
    4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    5 CheckName 1 pass1 Check the name of the activity which must be valid NCName
    Author: michal.chmielewski@oracle.com
    10/05/2006 N/A
    6 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no.
    Author: michal.chmielewski@oracle.com
    10/05/2006 N/A
    7 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    8 CheckPartnerLink 2 pass1 Check if partner link exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    9 CheckInputVariable 3 pass1 Check if inputVariable is set and exists and is defined correctly.
    Author: michal.chmielewski@oracle.com
    01/20/2007 02003
    10 CheckOutputVariable 3 pass1 Check if outputVariable is set and exists and is defined correctly.
    Author: michal.chmielewski@oracle.com
    01/20/2007 02004
    11 CheckPortType 3 pass1 Check if port type exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    12 CheckPartnerLinkType 4 pass1 Check partner link type
    Author: michal.chmielewski@oracle.com
    02/27/2007 N/A
    13 CheckIfPartnerRoleIsDefined 5 pass1 Checks if partner role is defined in invoke activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    14 checkToPartsPresence 10 pass1 Check to see if toPart is specified; if so then inputVariable must not be used on the reply.
    Author: michal.chmielewski@oracle.com
    01/20/2007 00051
    15 CheckRolePortTypeWithInvokePortType 10 pass1 Checks portType and derived portType values on invoke activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 00005
    16 checkFromPartsPresence 11 pass1 Check to see if fromPart is specified; if so then outputVariable must not be used on invoke.
    Author: michal.chmielewski@oracle.com
    01/20/2007 00052
    17 CheckInputOutputMessages 12 pass1 Checks if input and output messages are defined for invoke activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    18 CheckTwoWayInvocation 25 pass1 One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart)
    Author: michal.chmielewski@oracle.com
    02/22/2007 00047
    19 CheckVariableAndMessageStructureCompatibility 40 pass1 Check message type compatability on invoke
    Author: michal.chmielewski@oracle.com
    02/22/2007 00048
  43. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}joinCondition

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  45. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}link

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 LookupPartnerLink 0 pass1 Partner Link resolution: associated scope first, then ancestor scopes
    Author: michal.chmielewski@oracle.com
    03/15/2007 00084
    2 LookupPortType 0 pass1 - 0
    3 CheckOperationSet 0 pass1 Correlation set lookup, first associated scope, then ancestor scopes
    Author: michal.chmielewski@oracle.com
    03/15/2007 00088
    4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    5 CheckName 1 pass1 - 0
    6 CheckSuppressJoinFailure 1 pass1 - 0
    7 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    8 CheckPartnerLink 2 pass1 Check if partner link exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    9 CheckPortType 3 pass1 Check if port type exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    10 CheckPartnerLinkType 4 pass1 Check partner link type
    Author: michal.chmielewski@oracle.com
    02/27/2007 N/A
    11 LookupVariable 5 pass1 Either messageType or element must be specified if variable variant is used
    Author: michal.chmielewski@oracle.com
    3/15/2007 00090
    12 CheckIfMyRoleIsDefined 5 pass1 Checks if my role is defined in onMessage activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 00084
    13 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on onEvent.
    Author: michal.chmielewski@oracle.com
    03/13/2007 00005
    14 CheckInputMessage 12 pass1 Checks if input message is defined for onEvent activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    15 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on onEvent
    Author: michal.chmielewski@oracle.com
    03/15/2007 00087
    16 checkFromPartsPresence 50 pass1 Check to see if fromPart is specified; if so then variable must not be used onEvent.
    Author: michal.chmielewski@oracle.com
    03/20/2007 00085
  53. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}onMessage

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

    # Rule Seq Tag Description Date SA
    1 LookupPartnerLink 0 pass1 - 0
    2 LookupPortType 0 pass1 - 0
    3 CheckOperationSet 0 pass1 Correlation set lookup, first associated scope, then ancestor scopes
    Author: michal.chmielewski@oracle.com
    03/15/2007 00088
    4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    5 CheckName 1 pass1 - 0
    6 CheckSuppressJoinFailure 1 pass1 - 0
    7 LookupVariable 1 pass1 Check variable on receive activity
    Author: michal.chmielewski@oracle.com
    01/10/2007 N/A
    8 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    9 CheckCreateInstanceSetting 2 pass1 Check createInstance attribute on receive activity.
    Author: michal.chmielewski@oracle.com
    01/10/2007 N/A
    10 CheckPartnerLink 2 pass1 Check if partner link exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    11 CheckIfStartActivity 3 pass1 Check if this 'start' activity is positioned correctly
    Author: michal.chmielewski@oracle.com
    01/10/2007 00056
    12 CheckVariable 3 pass1 Check if inputVariable is set and exists and is defined correctly.
    Author: michal.chmielewski@oracle.com
    01/20/2007 02003
    13 CheckPortType 3 pass1 Check if port type exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    14 CheckPartnerLinkType 4 pass1 Check partner link type
    Author: michal.chmielewski@oracle.com
    02/27/2007 N/A
    15 CheckIfMyRoleIsDefined 5 pass1 Checks if partner role is defined in receive activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    16 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on receive activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 00005
    17 CheckInputMessage 12 pass1 Checks if input messages is defined for receive activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    18 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on receive
    Author: michal.chmielewski@oracle.com
    02/22/2007 00058
    19 checkFromPartsPresence 50 pass1 Check to see if fromPart is specified; if so then variable must not be used on onMessage.
    Author: michal.chmielewski@oracle.com
    01/20/2007 00063
  54. {http://schemas.xmlsoap.org/wsdl/}operation - no validator.
  55. {http://schemas.xmlsoap.org/wsdl/}output - no validator.
  56. {http://schemas.xmlsoap.org/wsdl/}part - no validator.
  57. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}partnerLink

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    3 CheckQueryLanguageSupport 20 pass1 Checks the query language for support in the BPEL model
    Author: michal.chmielewski@oracle.com
    10/2/2006 00004
    4 CheckQuery 30 pass1 Checks the actual query using the query language validator.
    Author: michal.chmielewski@oracle.com
    10/2/2006 01000
  66. {http://docs.oasis-open.org/wsbpel/2.0/varprop}query

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    3 CheckQueryLanguageSupport 20 pass1 Checks the query language for support in the BPEL model
    Author: michal.chmielewski@oracle.com
    10/2/2006 00004
    4 CheckQuery 30 pass1 WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions.
    Author: michal.chmielewski@oracle.com
    3/6/2007 00029
  67. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}query

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  68. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}receive

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

    # Rule Seq Tag Description Date SA
    1 LookupPartnerLink 0 pass1 - 0
    2 LookupPortType 0 pass1 - 0
    3 CheckOperationSet 0 pass1 Correlation set lookup, first associated scope, then ancestor scopes
    Author: michal.chmielewski@oracle.com
    03/15/2007 00088
    4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    5 LookupVariable 1 pass1 Check variable on receive activity
    Author: michal.chmielewski@oracle.com
    01/10/2007 N/A
    6 CheckName 1 pass1 Check the name of the activity which must be valid NCName
    Author: michal.chmielewski@oracle.com
    10/05/2006 N/A
    7 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no.
    Author: michal.chmielewski@oracle.com
    10/05/2006 N/A
    8 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    9 CheckCreateInstanceSetting 2 pass1 Check createInstance attribute on receive activity.
    Author: michal.chmielewski@oracle.com
    01/10/2007 N/A
    10 CheckPartnerLink 2 pass1 Check if partner link exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    11 CheckIfStartActivity 3 pass1 Check if this 'start' activity is positioned correctly
    Author: michal.chmielewski@oracle.com
    01/10/2007 00056
    12 CheckVariable 3 pass1 Check if inputVariable is set and exists and is defined correctly.
    Author: michal.chmielewski@oracle.com
    01/20/2007 02003
    13 CheckPortType 3 pass1 Check if port type exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    14 CheckPartnerLinkType 4 pass1 Check partner link type
    Author: michal.chmielewski@oracle.com
    02/27/2007 N/A
    15 CheckIfMyRoleIsDefined 5 pass1 Checks if partner role is defined in receive activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    16 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on receive activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 00005
    17 CheckInputMessage 12 pass1 Checks if input messages is defined for receive activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    18 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on receive
    Author: michal.chmielewski@oracle.com
    02/22/2007 00058
    19 checkFromPartsPresence 50 pass1 Check to see if fromPart is specified; if so then variable must not be used on the receive.
    Author: michal.chmielewski@oracle.com
    01/20/2007 00055
  69. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}repeatEvery

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  71. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}repeatUntil

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

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

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

    # Rule Seq Tag Description Date SA
    1 LookupPartnerLink 0 pass1 - 0
    2 LookupPortType 0 pass1 - 0
    3 CheckOperationSet 0 pass1 Correlation set lookup, first associated scope, then ancestor scopes
    Author: michal.chmielewski@oracle.com
    03/15/2007 00088
    4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    5 CheckName 1 pass1 Check the name of the activity which must be valid NCName
    Author: michal.chmielewski@oracle.com
    10/05/2006 N/A
    6 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no.
    Author: michal.chmielewski@oracle.com
    10/05/2006 N/A
    7 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    8 CheckPartnerLink 2 pass1 Check if partner link exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    9 CheckVariable 3 pass1 Check if outputVariable is set and exists and is defined correctly.
    Author: michal.chmielewski@oracle.com
    01/20/2007 02003
    10 CheckPortType 3 pass1 Check if port type exists
    Author: michal.chmielewski@oracle.com
    03/15/2007 N/A
    11 CheckPartnerLinkType 4 pass1 Check partner link type
    Author: michal.chmielewski@oracle.com
    02/27/2007 N/A
    12 CheckIfPartnerRoleIsDefined 5 pass1 Checks if partner role is defined in reply activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    13 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on reply activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 00005
    14 CheckOutputMessage 12 pass1 Checks if output message is defined for reply activity.
    Author: michal.chmielewski@oracle.com
    9/25/2006 N/A
    15 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on reply
    Author: michal.chmielewski@oracle.com
    02/22/2007 00058
    16 checkToPartsPresence 50 pass1 Check to see if toPart is specified; if so then variable must not be used on the reply.
    Author: michal.chmielewski@oracle.com
    01/20/2007 00059
  73. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}rethrow

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

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

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

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

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  81. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}target

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

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

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    3 CheckToVariant 10 pass1 Checks the allowed formats of the element
    Author: michal.chmielewski@oracle.com
    01/15/2007 00032
    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 00034
    5 CheckPartnerLinkVariant 20 pass1 spec with partnerLink must have partnerRole set.
    Author: michal.chmielewski@oracle.com
    01/10/2007 00037
    6 CheckExpressionVariant 50 pass1 Check variable reference expression as used in a element.
    Author: michal.chmielewski@oracle.com
    01/10/2007 00033
  86. {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}to

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  87. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}toPart

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

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

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

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

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  91. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}until

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

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

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

    # Rule Seq Tag Description Date SA
    1 SanityCheck 1 pass1 XPath sanity check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    2 CheckExpressionSyntax 2 pass1 XPath syntax check
    Author: michal.chmielewski@oracle.com
    02/16/2007 N/A
    3 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis
    Author: michal.chmielewski@oracle.com
    01/30/2007 N/A
    4 ExpressionType 999,999 pass1 - 0
  93. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}validate

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

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

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

    # Rule Seq Tag Description Date SA
    1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances)
    Author: michal.chmielewski@oracle.com
    02/15/2007 02002
    2 CheckName 1 pass1 Checks that variable NCName further does not contain a period (.) in the name.
    Author: michal.chmielewski@oracle.com
    9/14/2006 00024
    3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes
    Author: michal.chmielewski@oracle.com
    02/15/2007 02001
    4 CheckType 2 pass1 Variable type specification (either element, messaageType, or type).
    Author: michal.chmielewski@oracle.com
    9/14/2006 00025
    5 CheckMessageTypeNode 4 pass1 Make sure that Message Type is visible from the import(s)
    Author: michal.chmielewski@oracle.com
    01/25/2007 00010
    6 CheckElementNode 4 pass1 Make sure that Element is visible from the import(s)
    Author: michal.chmielewski@oracle.com
    01/25/2007 00010
    7 CheckTypeNode 4 pass1 Make sure that Type is visible from the import(s)
    Author: michal.chmielewski@oracle.com
    01/25/2007 00010
    8 CheckIfVariableHidesSuperVariables 15 pass1 Check to see if variable hides super variables
    Author: michal.chmielewski@oracle.com
    01/25/2007 N/A
    9 CheckForEachCounter 30 pass1 For 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 00076
    10 RegisterTypesToCheck 50 pass1 Mark the types/elements/messages used to be checked for duplicates
    Author: michal.chmielewski@oracle.com
    02/25/2007 00014
    11 CheckCompatibleCopy 40 pass2 From and to spec must have compatible types
    Author: michal.chmielewski@oracle.com
    02/16/2007 00043
  95. {http://docs.oasis-open.org/wsbpel/2.0/process/executable}variables

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

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

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

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

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

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

Statistics

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

SA Checks done (against the spec)

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

Completeness of SA checks

Total SA Checks:94
Implemented SA Checks:79
Missing SA Checks:15
% Complete:84.04
% TODO:15.96

Error messages being reported against SA checks

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

Warning messages being reported against SA checks

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

Information messages being reported against SA checks

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