BPEL Validator Rules
Validators
- {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckValidate 10 pass1 - 0 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}branches
5 rules in class org.eclipse.bpel.validator.rules.BranchesValidator
# Rule Seq Tag Description Date SA 1 CheckSuccessfulBranchesOnly 0 pass1 - 0 2 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 5 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}branches
12 rules in class org.eclipse.bpel.validator.xpath.Branches
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 checkIntegerExpression 15 pass1 Check unsigned integer expression on branches 01/20/2007 75 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckExitStandardFaults 1 pass1 When exitOnStandardFault=yes, standard fault handlers cannot be present. 01/10/2007 3 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckFaultVariable 4 pass1 Fault variable must have message type or element set 01/25/2007 81 5 CheckDuplicateCatch 10 pass1 Check to see if a duplicate catch has been specified 01/20/2007 93 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckPlacement 10 pass1 Check compensate placement 10/5/2006 8 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckPlacement 10 pass1 Check compensateScope placement. 10/5/2006 7 6 CheckTargetScopeNCName 15 pass1 Check target scope NCName 02/27/2007 1,004 7 CheckTargetScope 25 pass2 Make sure that the target scope exists 02/27/2007 77 8 CheckTargetScopeHandlers 27 pass2 Target of compenateScope must have a fault or compensation handler 02/27/2007 78 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}condition
12 rules in class org.eclipse.bpel.validator.xpath.Condition
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 checkBooleanExpression 15 pass1 Checks for boolean expression on conditions 01/30/2007 0 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 VerifyKeepSrcElement 5 pass1 Check to see if keep source element is one of the allowed values 02/12/2007 1,001 4 CheckCompatibleCopy 40 pass2 From and to spec must have compatible types 02/16/2007 43 5 CheckKeepSrcElement 50 pass2 Check if both from and to specs are EII; only then can keepSrcElement be set 02/16/2007 42 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the NCName of the correlation 01/20/2007 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckInitiate 2 pass1 Check the initiate attribute values 01/20/2007 1,010 5 CheckPatternValues 5 pass1 Check the pattern attribute values of correlation 02/20/2007 46 6 CheckDuplicateCorrelation 10 pass1 Check to see if the correlation is already specified 01/20/2007 0 7 ExistCorrelationSet 12 pass1 - 0 8 ExistCorrelationSet 13 pass1 Correlation set lookup, first associated scope, then ancestor scopes 03/15/2007 88 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the NCName of the correlationSet 01/20/2007 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckDuplicateCorrelationSet 2 pass1 Check to see if the correlationSet is already specified 01/20/2007 44 5 CheckPropertiesAttribute 10 pass1 - 0 6 CheckProperties 15 pass1 Properties used in a MUST be defined using XML Schema simple types. 03/01/2007 45 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {http://schemas.xmlsoap.org/wsdl/}definitions - no validator.
- {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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 02/28/2007 49 2 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 3 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 4 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 5 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckHandlerCount 1 pass1 At least one onAlarm or onEvent must be present in event handlers. 01/10/2007 83 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckMustUnderstand 1 pass1 - 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckNamespaceURI 2 pass1 - 0 5 CheckMustUnderstand 20 pass1 Mandatory extensions must be understood 03/15/2007 9 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}extensionAssignOperation - no validator.
- {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckHandlerCount 1 pass1 At least one catch or catchAll must be present in fault handlers. 01/10/2007 80 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}finalCounterValue
12 rules in class org.eclipse.bpel.validator.xpath.FinalCounterValue
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 checkIntegerExpression 15 pass1 Check unsigned integer expression on startCounterValue, finalCounterValue 01/20/2007 74 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}for
12 rules in class org.eclipse.bpel.validator.xpath.For
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 checkDurationExpression 17 pass1 Checks duration expression on for, and repeatUntil 01/30/2007 0 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckParallel 1 pass1 - 0 3 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 4 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 5 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 6 CheckCounterName 2 pass1 - 0 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}from
8 rules in class org.eclipse.bpel.validator.rules.FromValidator
# Rule Seq Tag Description Date SA 1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckFromVariant 10 pass1 Checks the allowed formats of the element 01/15/2007 32 4 CheckVariableVariant 18 pass1 Variables used in must not have part set if they are schema types. (part must not be set) 01/15/2007 34 5 CheckPartnerLinkVariantMyRole 21 pass1 A partner link referenced in a spec with endpoint reference of 'myRole' must have myRole set. 01/10/2007 35 6 CheckPartnerLinkVariantPartnerRole 22 pass1 A partner link referenced in a spec with endpoint reference of 'partnerRole' must have partnerRole set. 01/10/2007 36 7 CheckLiteralVariant 30 pass1 The literal spec must return a EII or a TII only 01/10/2007 38 8 CheckExpressionVariant 50 pass1 Checks the actual expression using the expression language validator. 10/2/2006 1,000 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}from
13 rules in class org.eclipse.bpel.validator.xpath.From
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 CheckIdempotentFunctions 15 functions Check that initialize expressions use idempotent functions 03/15/2007 26 8 SanityCheck 1 pass1 - 0 9 CheckExpressionSyntax 2 pass1 - 0 10 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 11 CheckGeneralExpression 15 pass1 Check the general XPath expression 01/10/2007 0 12 ExpressionType 999,999 pass1 - 0 13 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckVariable 1 pass1 - 0 3 CheckDuplicatePartToVariable 1 pass1 Check to see if part='' toVariable='' is a duplicate entry. 01/20/2007 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckVariableDefined 4 pass1 Checks to see if the toVariable is defined. 01/20/2007 0 6 CheckMessagePart 5 pass1 Check to see if the toVariable matches the type of the partName 01/20/2007 53 7 ImplicitOnEventVariable 10 pass1 Variables defined in fromPart are implicitly declared in the associated scope 03/15/2007 86 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}if
6 rules in class org.eclipse.bpel.validator.rules.IfValidator
# Rule Seq Tag Description Date SA 1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 BasicSanityCheck 11 pass1 Check if a condition is present on the while activity 10/2/2006 1,000 6 CheckNoActivity 25 pass1 Check to see if there is any activity in the while loop. 10/2/2006 1,000 - {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) 02/15/2007 2,002 2 CheckIfImportTypesSet 1 pass1 - 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckLocation 3 pass1 - 0 5 CheckImportType 4 pass1 Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. 10/3/2006 13 6 CheckNamespaceOfImport 8 pass1 Imported namespace, if set, must match 01/15/2007 11 7 CheckImportLocation 14 pass1 Imported node location problem 03/29/2007 1,234 8 CheckNamespaceOfImport 15 pass1 When import has no namespace, the targetNamespace must be empty. 01/15/2007 12 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}invoke
19 rules in class org.eclipse.bpel.validator.rules.InvokeValidator
# Rule Seq Tag Description Date SA 1 LookupPartnerLink 0 pass1 - 0 2 LookupPortType 0 pass1 - 0 3 CheckOperationSet 0 pass1 - 0 4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 5 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 6 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 7 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 8 CheckPartnerLink 2 pass1 - 0 9 CheckInputVariable 3 pass1 Check if inputVariable is set and exists and is defined correctly. 01/20/2007 2,003 10 CheckOutputVariable 3 pass1 Check if outputVariable is set and exists and is defined correctly. 01/20/2007 2,004 11 CheckPortType 3 pass1 - 0 12 CheckPartnerLinkType 4 pass1 - 0 13 CheckIfPartnerRoleIsDefined 5 pass1 - 0 14 checkToPartsPresence 10 pass1 Check to see if toPart is specified; if so then inputVariable must not be used on the reply. 01/20/2007 51 15 CheckRolePortTypeWithInvokePortType 10 pass1 Checks portType and derived portType values on invoke activity. 9/25/2006 5 16 checkFromPartsPresence 11 pass1 Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. 01/20/2007 52 17 CheckInputOutputMessages 12 pass1 - 0 18 CheckTwoWayInvocation 25 pass1 One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) 02/22/2007 47 19 CheckVariableAndMessageStructureCompatibility 40 pass1 Check message type compatability on invoke 02/22/2007 48 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}joinCondition
14 rules in class org.eclipse.bpel.validator.xpath.JoinCondition
# Rule Seq Tag Description Date SA 1 CheckBPELFunctionsInJoinConditions 0 bpel.functions BPEL Functions must not be used in joinConditions 01/20/2007 28 2 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 3 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 4 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 5 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 6 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 7 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 8 SanityCheck 1 pass1 - 0 9 CheckExpressionSyntax 2 pass1 - 0 10 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 11 checkBooleanExpression 15 pass1 Checks for boolean expression on joinCondition 01/30/2007 73 12 ExpressionType 999,999 pass1 - 0 13 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 14 CheckLinkReference 17 variables Check the link reference for joinCondition (only incoming link names) 01/30/2007 73 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the NCName of the link 02/15/2007 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckLinkConnections 10 pass2 Every link must have exactly one activity as source and one as target 02/17/2007 66 5 CheckDistinctLinks 12 pass2 Two different links MUST NOT share the same source *and* target activities; that is, at most one link may be used to connect two activities. 02/17/2007 67 6 ControlCycle 14 pass2 A declared in a MUST NOT create a control cycle, that is, the source activity must not have the target activity as a logically preceding activity. 02/17/2007 72 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckDuplicateLinkName 40 pass1 Check for unique link name 12/7/2006 64 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the NCName of the messageExchange 02/15/2007 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckDuplicateName 40 pass1 Check for unique message exchange name 12/7/2006 1,001 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 BasicSanityCheck 5 pass1 - 0 - {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 03/15/2007 84 2 LookupPortType 0 pass1 - 0 3 CheckOperationSet 0 pass1 - 0 4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 5 CheckName 1 pass1 - 0 6 CheckSuppressJoinFailure 1 pass1 - 0 7 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 8 CheckPartnerLink 2 pass1 - 0 9 CheckPortType 3 pass1 - 0 10 CheckPartnerLinkType 4 pass1 - 0 11 LookupVariable 5 pass1 Either messageType or element must be specified if variable variant is used 3/15/2007 90 12 CheckIfMyRoleIsDefined 5 pass1 - 0 13 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on onEvent. 03/13/2007 5 14 CheckInputMessage 12 pass1 - 0 15 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on onEvent 03/15/2007 87 16 checkFromPartsPresence 50 pass1 Check to see if fromPart is specified; if so then variable must not be used onEvent. 03/20/2007 85 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}onMessage
19 rules in class org.eclipse.bpel.validator.rules.OnMessageValidator
# Rule Seq Tag Description Date SA 1 LookupPartnerLink 0 pass1 - 0 2 LookupPortType 0 pass1 - 0 3 CheckOperationSet 0 pass1 - 0 4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 5 CheckName 1 pass1 - 0 6 CheckSuppressJoinFailure 1 pass1 - 0 7 LookupVariable 1 pass1 - 0 8 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 9 CheckCreateInstanceSetting 2 pass1 - 0 10 CheckPartnerLink 2 pass1 - 0 11 CheckIfStartActivity 3 pass1 Check if this 'start' activity is positioned correctly 01/10/2007 56 12 CheckVariable 3 pass1 - 0 13 CheckPortType 3 pass1 - 0 14 CheckPartnerLinkType 4 pass1 - 0 15 CheckIfMyRoleIsDefined 5 pass1 - 0 16 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on receive activity. 9/25/2006 5 17 CheckInputMessage 12 pass1 - 0 18 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on receive 02/22/2007 58 19 checkFromPartsPresence 50 pass1 Check to see if fromPart is specified; if so then variable must not be used on onMessage. 01/20/2007 63 - {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 02/16/2007 1 2 checkOverloadedOperationNames 0 direct Check for overloaded operation names in port types 02/16/2007 2 3 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 4 CheckName 1 pass1 - 0 5 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 6 CheckPartnerLinkType 2 pass1 - 0 7 CheckForUndefinedPartnerLinkRoles 4 pass1 myRole or partnerRole (or both) must be set 09/19/2006 16 8 CheckInitializePartnerRole 8 pass1 Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). 09/19/2006 17 9 CheckPartnerLinkRoles 10 pass1 - 0 10 CheckRolesOnPartnerLinkType 17 pass1 - 0 11 CheckPortTypes 18 pass1 - 0 - {http://docs.oasis-open.org/wsbpel/2.0/plnktype}partnerLinkType - no validator.
- {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckDuplicateName 40 pass1 Checks for duplicate partner link name 12/7/2006 18 - {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) 02/15/2007 2,002 2 CheckCreateInstanceSet 1 pass1 Checks to see if the createInstance attribute is set. 01/10/2007 0 3 CheckOnMessagesOnAlarms 1 pass1 Check if at least 1 onAlarm/onMessage is present in a 01/15/2007 0 4 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 5 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 6 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 7 CheckNoAlaram 2 pass1 When createInstance is set to yes, onAlarm must not be there. 01/10/2007 62 8 CheckIfStartActivity 3 pass1 Check if this pick activity is positioned correctly 01/10/2007 56 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Rule to check the name of the process 9/14/2006 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckExpressionLanguage 3 pass1 Checks the expression language for support in the BPEL model 9/14/2006 4 5 CheckQueryLanguage 4 pass1 Checks the query language for support in the BPEL model 9/14/2006 4 6 CheckExitOnStandardFault 10 pass1 Check exitOnStandardFault attribute setting 01/10/2007 0 7 CheckSuppressJoinFailre 11 pass1 Check supressJoinFailure attribute setting 01/10/2007 0 8 CheckReferencedTypes 300 pass2 Check if used types/elements/messages have conflicting definitions 02/10/2007 14 9 CheckIfProcessHasStartActivity 1,000 pass2 Verifies that a start activity has been found in the process 02/01/2007 15 10 CheckCorrelationSetsOnStartActivities 2,000 pass2 Check common correlation sets on all the start activities 03/10/2007 57 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the NCName of the property 02/15/2007 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckDuplicateName 5 pass1 - 0 5 CheckPropertyType 10 pass1 Either the type or element attributes MUST be present but not both. 02/17/2007 19 6 CheckTypeOrElement 15 pass1 - 0 - {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) 02/15/2007 2,002 2 CheckQName 1 pass1 Check the QName of the property for this propertyAlias 02/15/2007 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckPropertyAliasDefinition 10 pass1 Either the type or element attributes MUST be present or messageType AND part. 02/17/2007 20 5 ChceckPropertyAliasTypes 13 pass1 Check types of property aliases 03/18/2007 21 6 CheckDuplicatePropertyAlias 25 pass1 Detect duplicate propertyAlias definitions 03/20/2007 22 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckQueryLanguageSupport 20 pass1 Checks the query language for support in the BPEL model 10/2/2006 4 4 CheckQuery 30 pass1 Checks the actual query using the query language validator. 10/2/2006 1,000 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}query
15 rules in class org.eclipse.bpel.validator.xpath.Query
# Rule Seq Tag Description Date SA 1 CheckBPELFunctions 0 bpel.functions BPEL Functions must not be used in query expressions for propertyAlias 01/20/2007 29 2 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 3 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 4 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 5 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 6 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 7 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 8 CheckLocationPath 16 location There is no implicit context node in XPath expressions used in BPEL 0/20/2007 27 9 SanityCheck 1 pass1 - 0 10 CheckExpressionSyntax 2 pass1 - 0 11 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 12 CheckQuery 15 pass1 Check the query location path 01/20/2007 0 13 ExpressionType 999,999 pass1 - 0 14 CheckVariable 0 variables BPEL variables cannot be used in propertyAlias queries 01/30/2007 29 15 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckQueryLanguageSupport 20 pass1 Checks the query language for support in the BPEL model 10/2/2006 4 4 CheckQuery 30 pass1 WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. 3/6/2007 29 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}receive
19 rules in class org.eclipse.bpel.validator.rules.ReceiveValidator
# Rule Seq Tag Description Date SA 1 LookupPartnerLink 0 pass1 - 0 2 LookupPortType 0 pass1 - 0 3 CheckOperationSet 0 pass1 - 0 4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 5 LookupVariable 1 pass1 - 0 6 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 7 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 8 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 9 CheckCreateInstanceSetting 2 pass1 - 0 10 CheckPartnerLink 2 pass1 - 0 11 CheckIfStartActivity 3 pass1 Check if this 'start' activity is positioned correctly 01/10/2007 56 12 CheckVariable 3 pass1 - 0 13 CheckPortType 3 pass1 - 0 14 CheckPartnerLinkType 4 pass1 - 0 15 CheckIfMyRoleIsDefined 5 pass1 - 0 16 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on receive activity. 9/25/2006 5 17 CheckInputMessage 12 pass1 - 0 18 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on receive 02/22/2007 58 19 checkFromPartsPresence 50 pass1 Check to see if fromPart is specified; if so then variable must not be used on the receive. 01/20/2007 55 - {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) 02/15/2007 2,002 2 CheckIfRightParentParent 1 pass1 - 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 5 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}repeatEvery
11 rules in class org.eclipse.bpel.validator.xpath.XPathValidator
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 ExpressionType 999,999 pass1 - 0 11 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}repeatUntil
6 rules in class org.eclipse.bpel.validator.rules.RepeatUntilValidator
# Rule Seq Tag Description Date SA 1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 BasicSanityCheck 11 pass1 Check if a condition is present on the while activity 10/2/2006 1,000 6 CheckNoActivity 25 pass1 Check to see if there is any activity in the while loop. 10/2/2006 1,000 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}reply
16 rules in class org.eclipse.bpel.validator.rules.ReplyValidator
# Rule Seq Tag Description Date SA 1 LookupPartnerLink 0 pass1 - 0 2 LookupPortType 0 pass1 - 0 3 CheckOperationSet 0 pass1 - 0 4 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 5 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 6 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 7 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 8 CheckPartnerLink 2 pass1 - 0 9 CheckVariable 3 pass1 - 0 10 CheckPortType 3 pass1 - 0 11 CheckPartnerLinkType 4 pass1 - 0 12 CheckIfPartnerRoleIsDefined 5 pass1 - 0 13 CheckRolePortTypeWithReceivePortType 10 pass1 Checks portType and derived portType values on reply activity. 9/25/2006 5 14 CheckOutputMessage 12 pass1 - 0 15 CheckVariableAndMessageStructureCompatibility 20 pass1 Check message type compatability on reply 02/22/2007 58 16 checkToPartsPresence 50 pass1 Check to see if toPart is specified; if so then variable must not be used on the reply. 01/20/2007 59 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckRethrowPlacement 10 pass1 Check rethrow placement (catch or catchAll) 10/5/2006 6 - {http://docs.oasis-open.org/wsbpel/2.0/plnktype}role - no validator.
- {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckExitOnStandardFault 10 pass1 Check exitOnStandardFault attribute setting 01/10/2007 0 6 CheckIsolatedAttribute 10 pass1 Check isolated attribute setting on scope 01/10/2007 0 7 CheckNoIsolatedScopeDescendants 20 pass1 Isolated scopes may not contain other isolated scopes 01/24/2007 91 8 CheckUniqueScopeNames 20 pass1 Within a scope all immediately enclosed scopes must have unique name 01/24/2007 92 9 CheckRootFCTScope 25 pass1 Root scope inside an FCT-handler MUST not have a compensation handler 02/28/2007 79 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 - 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckIfInFlow 2 pass1 Check if we are within a flow, if not disable rest of rules 02/17/2007 1,200 5 CheckAgainstDeclaredLink 11 pass1 The value of the linkName attribute of MUST be the name of a declared in an enclosing activity. 02/16/2007 65 6 CheckIfSourceAlreadyUsed 12 pass1 Every link must have exactly one activity as source and one as target 02/17/2007 66 7 CheckRepeatableConstruct 15 pass1 Link must not cross repeatable constructs 02/17/2007 70 8 CheckEventHandlersBoundary 20 pass2 Check for links crossing event handlers boundaries 02/17/2007 71 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}sources
3 rules in class org.eclipse.bpel.validator.rules.SourcesValidator
# Rule Seq Tag Description Date SA 1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckUniqueSourceName 10 pass1 elements must have distinct linkNames 02/16/2007 68 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}startCounterValue
12 rules in class org.eclipse.bpel.validator.xpath.StartCounterValue
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 checkIntegerExpression 15 pass1 Check unsigned integer expression on startCounterValue, finalCounterValue 01/20/2007 74 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 - 0 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckIfInFlow 2 pass1 Check if we are within a flow, if not disable rest of rules 02/17/2007 1,200 5 CheckIfSourceAlreadyUsed 12 pass1 Every link must have exactly one activity as source and one as target 02/17/2007 66 6 CheckAgainstDeclaredLink 12 pass1 The value of the linkName attribute of MUST be the name of a declared in an enclosing activity. 02/16/2007 65 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckUniqueTargetName 10 pass1 elements must have distinct linkNames 02/16/2007 69 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckFaultName 10 pass1 - 0 6 CheckFaultVariable 12 pass1 - 0 7 CheckVariableType 14 pass1 - 0 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckToVariant 10 pass1 Checks the allowed formats of the element 01/15/2007 32 4 CheckVariableAndPartVariant 18 pass1 Variables used in must not have part set if they are schema types. (part must not be set) 01/15/2007 34 5 CheckPartnerLinkVariant 20 pass1 spec with partnerLink must have partnerRole set. 01/10/2007 37 6 CheckExpressionVariant 50 pass1 Check variable reference expression as used in a element. 01/10/2007 33 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}to
12 rules in class org.eclipse.bpel.validator.xpath.To
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 CheckVariableReference 15 pass1 Check variable reference expression on to nodes 01/20/2007 33 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckVariable 1 pass1 - 0 3 CheckDuplicatePartFromVariable 1 pass1 Check to see if part='' fromVariable='' is a duplicate entry. 01/20/2007 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckVariableDefined 4 pass1 Checks to see if the fromVariable is defined. 01/20/2007 0 6 CheckMessageParts 5 pass1 Check to see if the fromVariable type matches the part name specified 01/20/2007 54 7 CheckToPartTypeCompatibility 20 pass1 Check toPart and variable type compatibility 03/10/2007 0 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckEveryPartUsed 10 pass2 Check to make sure that every to part is used 03/10/2007 50 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}transitionCondition
12 rules in class org.eclipse.bpel.validator.xpath.TransitionCondition
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 checkBooleanExpression 0 pass1 Checks for boolean expression on transitionCondition 01/30/2007 1,022 8 SanityCheck 1 pass1 - 0 9 CheckExpressionSyntax 2 pass1 - 0 10 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckExpressionLanguageSupport 20 pass1 Checks the expression language for support in the BPEL model 10/2/2006 4 4 CheckExpression 100 pass1 Checks the actual expression using the expression language validator. 10/2/2006 0 - {urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0}until
12 rules in class org.eclipse.bpel.validator.xpath.Until
# Rule Seq Tag Description Date SA 1 CheckGetVariableProperty 0 bpel.functions Arguments to getVariableProperty must be quoted strings 01/29/2007 30 2 CheckGetVariableProperty2ndArgument 0 bpel.functions The second argument MUST be a string literal conforming to the definition of QName in section 3 01/29/2007 31 3 CheckDoXslTransform 10 bpel.functions 1st arguments to doXslTransform must be quoted string 01/29/2007 39 4 CheckDoXslTransform 11 bpel.functions There must be an even number of arguments doXslTransform 01/29/2007 40 5 CheckDoXslTransform 15 bpel.functions 3rd,5th,7th, etc. arguments must be QName strings 01/29/2007 41 6 CheckFunctions 1 functions Check functions in XPath expressions 03/02/2007 1,015 7 SanityCheck 1 pass1 - 0 8 CheckExpressionSyntax 2 pass1 - 0 9 StaticXPathExpressionAnalysis 10 pass1 Create the static analysis visitor for expression analysis 01/30/2007 0 10 checkDeadlineExpression 15 pass1 Check deadline expression on the Until node 01/20/2007 1,024 11 ExpressionType 999,999 pass1 - 0 12 CheckVariable 10 variables Check the variable namespace prefix 01/30/2007 0 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 CheckValidateVariables 15 pass1 - 0 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Checks that variable NCName further does not contain a period (.) in the name. 9/14/2006 24 3 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 4 CheckType 2 pass1 Variable type specification (either element, messaageType, or type). 9/14/2006 25 5 CheckMessageTypeNode 4 pass1 Make sure that Message Type is visible from the import(s) 01/25/2007 10 6 CheckElementNode 4 pass1 Make sure that Element is visible from the import(s) 01/25/2007 10 7 CheckTypeNode 4 pass1 Make sure that Type is visible from the import(s) 01/25/2007 10 8 CheckIfVariableHidesSuperVariables 15 pass1 Check to see if variable hides super variables 01/25/2007 0 9 CheckForEachCounter 30 pass1 For the enclosed scope MUST NOT declare a variable with the same name as specified in the counterName attribute of . 01/20/2007 76 10 RegisterTypesToCheck 50 pass1 Mark the types/elements/messages used to be checked for duplicates 02/25/2007 14 11 CheckCompatibleCopy 40 pass2 From and to spec must have compatible types 02/16/2007 43 - {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) 02/15/2007 2,002 2 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 3 CheckDuplicateVariableName 40 pass1 Checks for duplicate variable name 12/7/2006 23 - {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) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 BasicSanityCheck 5 pass1 Do a basic sanity check on the wait activity. 9/22/2006 0 - {http://docs.oasis-open.org/wsbpel/2.0/process/executable}while
6 rules in class org.eclipse.bpel.validator.rules.WhileValidator
# Rule Seq Tag Description Date SA 1 CheckChildrenNodes 0 pass1 Check my children nodes (types and occurances) 02/15/2007 2,002 2 CheckName 1 pass1 Check the name of the activity which must be valid NCName 10/05/2006 0 3 CheckSuppressJoinFailure 1 pass1 Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. 10/05/2006 0 4 CheckParentNode 1 pass1 Check to make sure that my parent node is within a set of allowed nodes 02/15/2007 2,001 5 BasicSanityCheck 11 pass1 Check if a condition is present on the while activity 10/2/2006 1,000 6 CheckNoActivity 25 pass1 Check to see if there is any activity in the while loop. 10/2/2006 1,000
Statistics
| Total Rules: | 570 |
|---|---|
| Annotated Rules: | 103 |
| Total Nodes: | 90 |
SA Checks done (against the spec)
| SA | Description | Method |
|---|---|---|
| 1 | Check solicit-response or notification port types |
Class: PartnerLinkValidator Method: checkSolicitResponseAndNotification |
| 2 | Check for overloaded operation names in port types |
Class: PartnerLinkValidator Method: checkOverloadedOperationNames |
| 3 | When exitOnStandardFault=yes, standard fault handlers cannot be present. |
Class: CatchValidator Method: rule_CheckExitStandardFaults_1 |
| 4 | Checks the expression language for support in the BPEL model |
Class: ConditionValidator Method: rule_CheckExpressionLanguageSupport_20 |
| 5 | Checks portType and derived portType values on invoke activity. |
Class: ReplyValidator Method: rule_CheckRolePortTypeWithReceivePortType_10 |
| 6 | Check rethrow placement (catch or catchAll) |
Class: RethrowValidator Method: rule_CheckRethrowPlacement_10 |
| 7 | Check compensateScope placement. |
Class: CompensateScopeValidator Method: rule_CheckPlacement_10 |
| 8 | Check compensate placement |
Class: CompensateValidator Method: rule_CheckPlacement_10 |
| 9 | Mandatory extensions must be understood |
Class: ExtensionValidator Method: rule_CheckMustUnderstand_20 |
| 10 | Make sure that Message Type is visible from the import(s) |
Class: VariableValidator Method: rule_CheckTypeNode_4 |
| 11 | Imported namespace, if set, must match |
Class: ImportValidator Method: rule_CheckNamespaceOfImport_8 |
| 12 | When import has no namespace, the targetNamespace must be empty. |
Class: ImportValidator Method: rule_CheckNamespaceOfImport_15 |
| 13 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. |
Class: ImportValidator Method: rule_CheckImportType_4 |
| 14 | Check if used types/elements/messages have conflicting definitions |
Class: VariableValidator Method: rule_RegisterTypesToCheck_50 |
| 15 | Verifies that a start activity has been found in the process |
Class: ProcessValidator Method: CheckIfProcessHasStartActivity |
| 16 | myRole or partnerRole (or both) must be set |
Class: PartnerLinkValidator Method: rule_CheckForUndefinedPartnerLinkRoles_4 |
| 17 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). |
Class: PartnerLinkValidator Method: rule_CheckInitializePartnerRole_8 |
| 18 | Checks for duplicate partner link name |
Class: PartnerLinksValidator Method: rule_CheckDuplicateName_40 |
| 19 | Either the type or element attributes MUST be present but not both. |
Class: Property Method: rule_CheckPropertyType_10 |
| 20 | Either the type or element attributes MUST be present or messageType AND part. |
Class: PropertyAlias Method: rule_CheckPropertyAliasDefinition_10 |
| 21 | Check types of property aliases |
Class: PropertyAlias Method: rule_ChceckPropertyAliasTypes_13 |
| 22 | Detect duplicate propertyAlias definitions |
Class: PropertyAlias Method: rule_CheckDuplicatePropertyAlias_25 |
| 23 | Checks for duplicate variable name |
Class: VariablesValidator Method: rule_CheckDuplicateVariableName_40 |
| 24 | Checks that variable NCName further does not contain a period (.) in the name. |
Class: VariableValidator Method: rule_CheckName_1 |
| 25 | Variable type specification (either element, messaageType, or type). |
Class: VariableValidator Method: rule_CheckType_2 |
| 26 | Check that initialize expressions use idempotent functions |
Class: From Method: CheckIdempotentFunctions |
| 27 | There is no implicit context node in XPath expressions used in BPEL |
Class: Query Method: CheckLocationPath |
| 28 | BPEL Functions must not be used in joinConditions |
Class: JoinCondition Method: CheckBPELFunctionsInJoinConditions |
| 29 | BPEL Functions must not be used in query expressions for propertyAlias |
Class: Query Method: rule_CheckQuery_30 |
| 30 | Arguments to getVariableProperty must be quoted strings |
Class: XPathValidator Method: CheckGetVariableProperty |
| 31 | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
Class: XPathValidator Method: CheckGetVariableProperty2ndArgument |
| 32 | Checks the allowed formats of the <from> element |
Class: ToValidator Method: rule_CheckToVariant_10 |
| 33 | Check variable reference expression as used in a <to> element. |
Class: To Method: rule_CheckVariableReference_15 |
| 34 | Variables used in <from> must not have part set if they are schema types. (part must not be set) |
Class: ToValidator Method: rule_CheckVariableAndPartVariant_18 |
| 35 | A partner link referenced in a <from> spec with endpoint reference of 'myRole' must have myRole set. |
Class: FromValidator Method: rule_CheckPartnerLinkVariantMyRole_21 |
| 36 | A partner link referenced in a <from> spec with endpoint reference of 'partnerRole' must have partnerRole set. |
Class: FromValidator Method: rule_CheckPartnerLinkVariantPartnerRole_22 |
| 37 | <to> spec with partnerLink must have partnerRole set. |
Class: ToValidator Method: rule_CheckPartnerLinkVariant_20 |
| 38 | The literal <from> spec must return a EII or a TII only |
Class: FromValidator Method: rule_CheckLiteralVariant_30 |
| 39 | 1st arguments to doXslTransform must be quoted string |
Class: XPathValidator Method: CheckDoXslTransform_10 |
| 40 | There must be an even number of arguments doXslTransform |
Class: XPathValidator Method: CheckDoXslTransform_11 |
| 41 | 3rd,5th,7th, etc. arguments must be QName strings |
Class: XPathValidator Method: CheckDoXslTransform_15 |
| 42 | Check if both from and to specs are EII; only then can keepSrcElement be set |
Class: CopyValidator Method: rule_CheckKeepSrcElement_50 |
| 43 | From and to spec must have compatible types |
Class: VariableValidator Method: rule_CheckCompatibleCopy_40 |
| 44 | Check to see if the correlationSet is already specified |
Class: CorrelationSetValidator Method: rule_CheckDuplicateCorrelationSet_2 |
| 45 | Properties used in a <correlationSet> MUST be defined using XML Schema simple types. |
Class: CorrelationSetValidator Method: rule_CheckProperties_15 |
| 46 | Check the pattern attribute values of correlation |
Class: CorrelationValidator Method: rule_CheckPatternValues_5 |
| 47 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) |
Class: InvokeValidator Method: rule_CheckTwoWayInvocation_25 |
| 48 | Check message type compatability on invoke |
Class: InvokeValidator Method: rule_CheckVariableAndMessageStructureCompatibility_40 |
| 49 | The static analysis check number 49. Refer to spec for description |
Class: EmptyValidator Method: rule_SA49_0 |
| 50 | Check to make sure that every to part is used |
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. |
Class: InvokeValidator Method: rule_checkToPartsPresence_10 |
| 52 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. |
Class: InvokeValidator Method: rule_checkFromPartsPresence_11 |
| 53 | Check to see if the toVariable matches the type of the partName |
Class: FromPartValidator Method: rule_CheckMessagePart_5 |
| 54 | Check to see if the fromVariable type matches the part name specified |
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. |
Class: ReceiveValidator Method: rule_checkFromPartsPresence_50 |
| 56 | Check if this 'start' <receive> activity is positioned correctly |
Class: ReceiveValidator Method: rule_CheckIfStartActivity_3 |
| 57 | Check common correlation sets on all the start activities |
Class: ProcessValidator Method: CheckCorrelationSetsOnStartActivities |
| 58 | Check message type compatability on receive |
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. |
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. |
Class: PickValidator Method: rule_CheckNoAlaram_2 |
| 63 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. |
Class: OnMessageValidator Method: rule_checkFromPartsPresence_50 |
| 64 | Check for unique link name |
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. |
Class: TargetValidator Method: rule_CheckAgainstDeclaredLink_12 |
| 66 | Every link must have exactly one activity as source and one as target |
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. |
Class: LinkValidator Method: rule_CheckDistinctLinks_12 |
| 68 | <source> elements must have distinct linkNames |
Class: SourcesValidator Method: rule_CheckUniqueSourceName_10 |
| 69 | <target> elements must have distinct linkNames |
Class: TargetsValidator Method: rule_CheckUniqueTargetName_10 |
| 70 | Link must not cross repeatable constructs |
Class: SourceValidator Method: rule_CheckRepeatableConstruct_15 |
| 71 | Check for links crossing event handlers boundaries |
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. |
Class: LinkValidator Method: rule_ControlCycle_14 |
| 73 | Checks for boolean expression on joinCondition |
Class: JoinCondition Method: CheckLinkReference |
| 74 | Check unsigned integer expression on startCounterValue, finalCounterValue |
Class: StartCounterValue Method: checkIntegerExpression |
| 75 | Check unsigned integer expression on branches |
Class: Branches Method: checkIntegerExpression |
| 76 | For <forEach> the enclosed scope MUST NOT declare a variable with the same name as specified in the counterName attribute of <forEach>. |
Class: VariableValidator Method: rule_CheckForEachCounter_30 |
| 77 | Make sure that the target scope exists |
Class: CompensateScopeValidator Method: rule_CheckTargetScope_25 |
| 78 | Target of compenateScope must have a fault or compensation handler |
Class: CompensateScopeValidator Method: rule_CheckTargetScopeHandlers_27 |
| 79 | Root scope inside an FCT-handler MUST not have a compensation handler |
Class: ScopeValidator Method: rule_CheckRootFCTScope_25 |
| 80 | At least one catch or catchAll must be present in fault handlers. |
Class: FaultHandlersValidator Method: rule_CheckHandlerCount_1 |
| 81 | Fault variable must have message type or element set |
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. |
Class: EventHandlersValidator Method: rule_CheckHandlerCount_1 |
| 84 | Partner Link resolution: associated scope first, then ancestor scopes |
Class: OnEventValidator Method: rule_LookupPartnerLink_0 |
| 85 | Check to see if fromPart is specified; if so then variable must not be used onEvent. |
Class: OnEventValidator Method: rule_checkFromPartsPresence_50 |
| 86 | Variables defined in fromPart are implicitly declared in the associated scope |
Class: FromPartValidator Method: rule_ImplicitOnEventVariable_10 |
| 87 | Check message type compatability on onEvent |
Class: OnEventValidator Method: rule_CheckVariableAndMessageStructureCompatibility_20 |
| 88 | Correlation set lookup, first associated scope, then ancestor scopes |
Class: CorrelationValidator Method: rule_ExistCorrelationSet_13 |
| 89 | Check for SA code 89 is missing | |
| 90 | Either messageType or element must be specified if variable variant is used |
Class: OnEventValidator Method: rule_LookupVariable_5 |
| 91 | Isolated scopes may not contain other isolated scopes |
Class: ScopeValidator Method: rule_CheckNoIsolatedScopeDescendants_20 |
| 92 | Within a scope all immediately enclosed scopes must have unique name |
Class: ScopeValidator Method: rule_CheckUniqueScopeNames_20 |
| 93 | Check to see if a duplicate catch has been specified |
Class: CatchValidator Method: rule_CheckDuplicateCatch_10 |
| 1,000 | Checks the actual expression using the expression language validator. |
Class: WhileValidator Method: rule_CheckNoActivity_25 |
| 1,001 | Check to see if keep source element is one of the allowed values |
Class: MessageExchangesValidator Method: rule_CheckDuplicateName_40 |
| 1,004 | Check target scope NCName |
Class: CompensateScopeValidator Method: rule_CheckTargetScopeNCName_15 |
| 1,010 | Check the initiate attribute values |
Class: CorrelationValidator Method: rule_CheckInitiate_2 |
| 1,015 | Check functions in XPath expressions |
Class: XPathValidator Method: CheckFunctions |
| 1,022 | Checks for boolean expression on transitionCondition |
Class: TransitionCondition Method: checkBooleanExpression |
| 1,024 | Check deadline expression on the Until node |
Class: Until Method: checkDeadlineExpression |
| 1,200 | Check if we are within a flow, if not disable rest of rules |
Class: TargetValidator Method: rule_CheckIfInFlow_2 |
| 1,234 | Imported node location problem |
Class: ImportValidator Method: rule_CheckImportLocation_14 |
| 2,001 | Check to make sure that my parent node is within a set of allowed nodes |
Class: CValidator Method: rule_CheckParentNode_1 |
| 2,002 | Check my children nodes (types and occurances) |
Class: CValidator Method: rule_CheckChildrenNodes_0 |
| 2,003 | Check if inputVariable is set and exists and is defined correctly. |
Class: InvokeValidator Method: rule_CheckInputVariable_3 |
| 2,004 | Check if outputVariable is set and exists and is defined correctly. |
Class: InvokeValidator Method: rule_CheckOutputVariable_3 |
Completeness of SA checks
| Total SA Checks: | 94 |
|---|---|
| Implemented SA Checks: | 90 |
| Missing SA Checks: | 4 |
| % Complete: | 95.74 |
| % TODO: | 4.26 |