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 | |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
03/01/2007 | 45 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | |
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 |
01/15/2007 | 32 |
| 4 | CheckVariableVariant | 18 | pass1 | Variables used in |
01/15/2007 | 34 |
| 5 | CheckPartnerLinkVariantMyRole | 21 | pass1 | A partner link referenced in a |
01/10/2007 | 35 |
| 6 | CheckPartnerLinkVariantPartnerRole | 22 | pass1 | A partner link referenced in a |
01/10/2007 | 36 |
| 7 | CheckLiteralVariant | 30 | pass1 | The literal |
01/10/2007 | 38 |
| 8 | CheckExpressionVariant | 50 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 1,000 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
02/17/2007 | 72 |
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 |
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 |
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 |
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 |
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 | |
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 |
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' |
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 |
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 | |
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 |
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 |
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 |
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 | |
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 |
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 |
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 |
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 |
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' |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | 02/16/2007 | 68 |
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 |
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 |
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 |
02/16/2007 | 65 |
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 | 02/16/2007 | 69 |
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 |
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 | |
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 |
01/15/2007 | 32 |
| 4 | CheckVariableAndPartVariant | 18 | pass1 | Variables used in |
01/15/2007 | 34 |
| 5 | CheckPartnerLinkVariant | 20 | pass1 | 01/10/2007 | 37 | |
| 6 | CheckExpressionVariant | 50 | pass1 | Check variable reference expression as used in a |
01/10/2007 | 33 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | |
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 |
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 |
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 |
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 |
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 |
| Total Rules: | 570 |
|---|---|
| Annotated Rules: | 103 |
| Total Nodes: | 90 |
| 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 |
| Total SA Checks: | 94 |
|---|---|
| Implemented SA Checks: | 90 |
| Missing SA Checks: | 4 |
| % Complete: | 95.74 |
| % TODO: | 4.26 |