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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckValidate | 10 | pass1 | Check validate attribute in assign activity. |
03/15/2007 | N/A |
5 rules in class org.eclipse.bpel.validator.rules.BranchesValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | CheckSuccessfulBranchesOnly | 0 | pass1 | Check successfulBranchesOnly attribute. |
03/15/2007 | N/A |
| 2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 5 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckExitStandardFaults | 1 | pass1 | When exitOnStandardFault=yes, standard fault handlers cannot be present. |
01/10/2007 | 00003 |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckFaultVariable | 4 | pass1 | Fault variable must have message type or element set |
01/25/2007 | 00081 |
| 5 | CheckDuplicateCatch | 10 | pass1 | Check to see if a duplicate catch has been specified |
01/20/2007 | 00093 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckPlacement | 10 | pass1 | Check compensate placement |
10/5/2006 | 00008 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckPlacement | 10 | pass1 | Check compensateScope placement. |
10/5/2006 | 00007 |
| 6 | CheckTargetScopeNCName | 15 | pass1 | Check target scope NCName |
02/27/2007 | 01004 |
| 7 | CheckTargetScope | 25 | pass2 | Make sure that the target scope exists |
02/27/2007 | 00077 |
| 8 | CheckTargetScopeHandlers | 27 | pass2 | Target of compenateScope must have a fault or compensation handler |
02/27/2007 | 00078 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | VerifyKeepSrcElement | 5 | pass1 | Check to see if keep source element is one of the allowed values |
02/12/2007 | 01001 |
| 4 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types |
02/16/2007 | 00043 |
| 5 | CheckKeepSrcElement | 50 | pass2 | Check if both from and to specs are EII; only then can keepSrcElement be set |
02/16/2007 | 00042 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the NCName of the correlation |
01/20/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckInitiate | 2 | pass1 | Check the initiate attribute values |
01/20/2007 | 01010 |
| 5 | CheckPatternValues | 5 | pass1 | Check the pattern attribute values of correlation |
02/20/2007 | 00046 |
| 6 | CheckDuplicateCorrelation | 10 | pass1 | Check to see if the correlation is already specified |
01/20/2007 | N/A |
| 7 | ExistCorrelationSet | 12 | pass1 | Check to see if the correlation set exists |
01/20/2007 | N/A |
| 8 | ExistCorrelationSet | 13 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the NCName of the correlationSet |
01/20/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckDuplicateCorrelationSet | 2 | pass1 | Check to see if the correlationSet is already specified |
01/20/2007 | 00044 |
| 5 | CheckPropertiesAttribute | 10 | pass1 | Check if property attribute is set |
01/20/2007 | N/A |
| 6 | CheckProperties | 15 | pass1 | Properties used in a |
03/01/2007 | 00045 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
0 rules in class org.eclipse.bpel.validator.wsdl.Definitions
| # | Rule | Seq | Tag | Description | Date | SA |
|---|
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 00049 |
| 2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 4 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckHandlerCount | 1 | pass1 | At least one onAlarm or onEvent must be present in event handlers. |
01/10/2007 | 00083 |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckMustUnderstand | 1 | pass1 | Check mustUnderstand attribute. |
03/15/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckNamespaceURI | 2 | pass1 | Check namespaceURI attribute. |
03/15/2007 | N/A |
| 5 | CheckMustUnderstand | 20 | pass1 | Mandatory extensions must be understood |
03/15/2007 | 00009 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
2 rules in class org.eclipse.bpel.validator.rules.UnknownElementValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckHandlerCount | 1 | pass1 | At least one catch or catchAll must be present in fault handlers. |
01/10/2007 | 00080 |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckParallel | 1 | pass1 | Check parallel attribute in forEach activity. |
03/15/2007 | N/A |
| 3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 4 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 6 | CheckCounterName | 2 | pass1 | Check the NCName of the forEach activity counter. |
01/20/2007 | N/A |
9 rules in class org.eclipse.bpel.validator.rules.FromValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckFromVariant | 10 | pass1 | Checks the allowed formats of the |
01/15/2007 | 00032 |
| 4 | CheckVariableVariant | 18 | pass1 | Variables used in |
01/15/2007 | 00034 |
| 5 | CheckPartnerLinkVariantMyRole | 21 | pass1 | A partner link referenced in a |
01/10/2007 | 00035 |
| 6 | CheckPartnerLinkVariantPartnerRole | 22 | pass1 | A partner link referenced in a |
01/10/2007 | 00036 |
| 7 | CheckLiteralVariant | 30 | pass1 | The literal |
01/10/2007 | 00038 |
| 8 | CheckExpressionVariant | 50 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 01000 |
| 9 | CheckQueryVariant | 55 | pass1 | Query variant checking. |
07/07/2007 | 01000 |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckVariable | 1 | pass1 | Check toVariable on the toPart. |
03/15/2007 | N/A |
| 3 | CheckDuplicatePartToVariable | 1 | pass1 | Check to see if part='' toVariable='' is a duplicate entry. |
01/20/2007 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckVariableDefined | 4 | pass1 | Checks to see if the toVariable is defined. |
01/20/2007 | N/A |
| 6 | CheckMessagePart | 5 | pass1 | Check to see if the toVariable matches the type of the partName |
01/20/2007 | 00053 |
| 7 | ImplicitOnEventVariable | 10 | pass1 | Variables defined in fromPart are implicitly declared in the associated scope |
03/15/2007 | 00086 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 rules in class org.eclipse.bpel.validator.rules.IfValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 01000 |
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 | 02002 |
| 2 | CheckIfImportTypesSet | 1 | pass1 | Check if importType is set on import |
03/15/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckLocation | 3 | pass1 | Check if location is set on import |
03/15/2007 | N/A |
| 5 | CheckImportType | 4 | pass1 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. |
10/3/2006 | 00013 |
| 6 | CheckNamespaceOfImport | 8 | pass1 | Imported namespace, if set, must match |
01/15/2007 | 00011 |
| 7 | CheckImportLocation | 14 | pass1 | Imported node location problem |
03/29/2007 | 01234 |
| 8 | CheckNamespaceOfImport | 15 | pass1 | When import has no namespace, the targetNamespace must be empty. |
01/15/2007 | 00012 |
19 rules in class org.eclipse.bpel.validator.rules.InvokeValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
| 2 | LookupPortType | 0 | pass1 | - | 0 | |
| 3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
| 4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 6 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
| 9 | CheckInputVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
| 10 | CheckOutputVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. |
01/20/2007 | 02004 |
| 11 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
| 12 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
| 13 | CheckIfPartnerRoleIsDefined | 5 | pass1 | Checks if partner role is defined in invoke activity. |
9/25/2006 | N/A |
| 14 | checkToPartsPresence | 10 | pass1 | Check to see if toPart is specified; if so then inputVariable must not be used on the reply. |
01/20/2007 | 00051 |
| 15 | CheckRolePortTypeWithInvokePortType | 10 | pass1 | Checks portType and derived portType values on invoke activity. |
9/25/2006 | 00005 |
| 16 | checkFromPartsPresence | 11 | pass1 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. |
01/20/2007 | 00052 |
| 17 | CheckInputOutputMessages | 12 | pass1 | Checks if input and output messages are defined for invoke activity. |
9/25/2006 | N/A |
| 18 | CheckTwoWayInvocation | 25 | pass1 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) |
02/22/2007 | 00047 |
| 19 | CheckVariableAndMessageStructureCompatibility | 40 | pass1 | Check message type compatability on invoke |
02/22/2007 | 00048 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 0 | |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the NCName of the link |
02/15/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckLinkConnections | 10 | pass2 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 00066 |
| 5 | CheckDistinctLinks | 12 | pass2 | Two different links MUST NOT share the same source *and* target activities; that is, at most one link may be used to connect two activities. |
02/17/2007 | 00067 |
| 6 | ControlCycle | 14 | pass2 | A declared in a |
02/17/2007 | 00072 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckDuplicateLinkName | 40 | pass1 | Check for unique link name |
12/7/2006 | 00064 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the NCName of the messageExchange |
02/15/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckDuplicateName | 40 | pass1 | Check for unique message exchange name |
12/7/2006 | 01001 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | BasicSanityCheck | 5 | pass1 | Basic sanity check of wait activity |
03/15/2007 | N/A |
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 | 00084 |
| 2 | LookupPortType | 0 | pass1 | - | 0 | |
| 3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
| 4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 5 | CheckName | 1 | pass1 | - | 0 | |
| 6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0 | |
| 7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
| 9 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
| 10 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
| 11 | LookupVariable | 5 | pass1 | Either messageType or element must be specified if variable variant is used |
3/15/2007 | 00090 |
| 12 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if my role is defined in onMessage activity. |
9/25/2006 | 00084 |
| 13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on onEvent. |
03/13/2007 | 00005 |
| 14 | CheckInputMessage | 12 | pass1 | Checks if input message is defined for onEvent activity. |
9/25/2006 | N/A |
| 15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on onEvent |
03/15/2007 | 00087 |
| 16 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used onEvent. |
03/20/2007 | 00085 |
19 rules in class org.eclipse.bpel.validator.rules.OnMessageValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
| 2 | LookupPortType | 0 | pass1 | - | 0 | |
| 3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
| 4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 5 | CheckName | 1 | pass1 | - | 0 | |
| 6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0 | |
| 7 | LookupVariable | 1 | pass1 | Check variable on receive activity |
01/10/2007 | N/A |
| 8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 9 | CheckCreateInstanceSetting | 2 | pass1 | Check createInstance attribute on receive activity. |
01/10/2007 | N/A |
| 10 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
| 11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' |
01/10/2007 | 00056 |
| 12 | CheckVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
| 13 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
| 14 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
| 15 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if partner role is defined in receive activity. |
9/25/2006 | N/A |
| 16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. |
9/25/2006 | 00005 |
| 17 | CheckInputMessage | 12 | pass1 | Checks if input messages is defined for receive activity. |
9/25/2006 | N/A |
| 18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive |
02/22/2007 | 00058 |
| 19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. |
01/20/2007 | 00063 |
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 | 00001 |
| 2 | checkOverloadedOperationNames | 0 | direct | Check for overloaded operation names in port types |
02/16/2007 | 00002 |
| 3 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 4 | CheckName | 1 | pass1 | Check the NCName of the partner link. |
02/15/2007 | N/A |
| 5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 6 | CheckPartnerLinkType | 2 | pass1 | Checks partner link type |
01/15/2007 | 00032 |
| 7 | CheckForUndefinedPartnerLinkRoles | 4 | pass1 | myRole or partnerRole (or both) must be set |
09/19/2006 | 00016 |
| 8 | CheckInitializePartnerRole | 8 | pass1 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). |
09/19/2006 | 00017 |
| 9 | CheckPartnerLinkRoles | 10 | pass1 | Check if partner link role exists |
03/15/2007 | N/A |
| 10 | CheckRolesOnPartnerLinkType | 17 | pass1 | - | 0 | |
| 11 | CheckPortTypes | 18 | pass1 | Check if port type is set on the partnerLink |
09/19/2006 | 00017 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckDuplicateName | 40 | pass1 | Checks for duplicate partner link name |
12/7/2006 | 00018 |
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 | 02002 |
| 2 | CheckCreateInstanceSet | 1 | pass1 | Checks to see if the createInstance attribute is set. |
01/10/2007 | N/A |
| 3 | CheckOnMessagesOnAlarms | 1 | pass1 | Check if at least 1 onAlarm/onMessage is present in a |
01/15/2007 | N/A |
| 4 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 5 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 6 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 7 | CheckNoAlaram | 2 | pass1 | When createInstance is set to yes, onAlarm must not be there. |
01/10/2007 | 00062 |
| 8 | CheckIfStartActivity | 3 | pass1 | Check if this pick activity is positioned correctly |
01/10/2007 | 00056 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Rule to check the name of the process |
9/14/2006 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckExpressionLanguage | 3 | pass1 | Checks the expression language for support in the BPEL model |
9/14/2006 | 00004 |
| 5 | CheckQueryLanguage | 4 | pass1 | Checks the query language for support in the BPEL model |
9/14/2006 | 00004 |
| 6 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting |
01/10/2007 | N/A |
| 7 | CheckSuppressJoinFailre | 11 | pass1 | Check supressJoinFailure attribute setting |
01/10/2007 | N/A |
| 8 | CheckReferencedTypes | 300 | pass2 | Check if used types/elements/messages have conflicting definitions |
02/10/2007 | 00014 |
| 9 | CheckIfProcessHasStartActivity | 1,000 | pass2 | Verifies that a start activity has been found in the process |
02/01/2007 | 00015 |
| 10 | CheckCorrelationSetsOnStartActivities | 2,000 | pass2 | Check common correlation sets on all the start activities |
03/10/2007 | 00057 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the NCName of the property |
02/15/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckDuplicateName | 5 | pass1 | Check if property name is duplicated |
02/15/2007 | N/A |
| 5 | CheckPropertyType | 10 | pass1 | Either the type or element attributes MUST be present but not both. |
02/17/2007 | 00019 |
| 6 | CheckTypeOrElement | 15 | pass1 | Attribute cannot be resolved for XSD type or element. |
02/17/2007 | N/A |
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 | 02002 |
| 2 | CheckQName | 1 | pass1 | Check the QName of the property for this propertyAlias |
02/15/2007 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckPropertyAliasDefinition | 10 | pass1 | Either the type or element attributes MUST be present or messageType AND part. |
02/17/2007 | 00020 |
| 5 | ChceckPropertyAliasTypes | 13 | pass1 | Check types of property aliases |
03/18/2007 | 00021 |
| 6 | CheckDuplicatePropertyAlias | 25 | pass1 | Detect duplicate propertyAlias definitions |
03/20/2007 | 00022 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | CheckQuery | 30 | pass1 | Checks the actual query using the query language validator. |
10/2/2006 | 01000 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | CheckQuery | 30 | pass1 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. |
3/6/2007 | 00029 |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 0 | |
19 rules in class org.eclipse.bpel.validator.rules.ReceiveValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
| 2 | LookupPortType | 0 | pass1 | - | 0 | |
| 3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
| 4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 5 | LookupVariable | 1 | pass1 | Check variable on receive activity |
01/10/2007 | N/A |
| 6 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 7 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 9 | CheckCreateInstanceSetting | 2 | pass1 | Check createInstance attribute on receive activity. |
01/10/2007 | N/A |
| 10 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
| 11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' |
01/10/2007 | 00056 |
| 12 | CheckVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
| 13 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
| 14 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
| 15 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if partner role is defined in receive activity. |
9/25/2006 | N/A |
| 16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. |
9/25/2006 | 00005 |
| 17 | CheckInputMessage | 12 | pass1 | Checks if input messages is defined for receive activity. |
9/25/2006 | N/A |
| 18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive |
02/22/2007 | 00058 |
| 19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on the receive. |
01/20/2007 | 00055 |
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 | 02002 |
| 2 | CheckIfRightParentParent | 1 | pass1 | - | 0 | |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 5 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 0 | |
5 rules in class org.eclipse.bpel.validator.rules.RepeatUntilValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 01000 |
16 rules in class org.eclipse.bpel.validator.rules.ReplyValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
| 2 | LookupPortType | 0 | pass1 | - | 0 | |
| 3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
| 4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 6 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
| 9 | CheckVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
| 10 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
| 11 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
| 12 | CheckIfPartnerRoleIsDefined | 5 | pass1 | Checks if partner role is defined in reply activity. |
9/25/2006 | N/A |
| 13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on reply activity. |
9/25/2006 | 00005 |
| 14 | CheckOutputMessage | 12 | pass1 | Checks if output message is defined for reply activity. |
9/25/2006 | N/A |
| 15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on reply |
02/22/2007 | 00058 |
| 16 | checkToPartsPresence | 50 | pass1 | Check to see if toPart is specified; if so then variable must not be used on the reply. |
01/20/2007 | 00059 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckRethrowPlacement | 10 | pass1 | Check rethrow placement (catch or catchAll) |
10/5/2006 | 00006 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting |
01/10/2007 | N/A |
| 6 | CheckIsolatedAttribute | 10 | pass1 | Check isolated attribute setting on scope |
01/10/2007 | N/A |
| 7 | CheckNoIsolatedScopeDescendants | 20 | pass1 | Isolated scopes may not contain other isolated scopes |
01/24/2007 | 00091 |
| 8 | CheckUniqueScopeNames | 20 | pass1 | Within a scope all immediately enclosed scopes must have unique name |
01/24/2007 | 00092 |
| 9 | CheckRootFCTScope | 25 | pass1 | Root scope inside an FCT-handler MUST not have a compensation handler |
02/28/2007 | 00079 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the source variable NCName |
9/14/2006 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules |
02/17/2007 | 01200 |
| 5 | CheckAgainstDeclaredLink | 11 | pass1 | The value of the linkName attribute of |
02/16/2007 | 00065 |
| 6 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 00066 |
| 7 | CheckRepeatableConstruct | 15 | pass1 | Link must not cross repeatable constructs |
02/17/2007 | 00070 |
| 8 | CheckEventHandlersBoundary | 20 | pass2 | Check for links crossing event handlers boundaries |
02/17/2007 | 00071 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckUniqueSourceName | 10 | pass1 | 02/16/2007 | 00068 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the target variable NCName |
9/14/2006 | N/A |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules |
02/17/2007 | 01200 |
| 5 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 00066 |
| 6 | CheckAgainstDeclaredLink | 12 | pass1 | The value of the linkName attribute of |
02/16/2007 | 00065 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckUniqueTargetName | 10 | pass1 | 02/16/2007 | 00069 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckFaultName | 10 | pass1 | - | 0 | |
| 6 | CheckFaultVariable | 12 | pass1 | Check if the fault is valid |
02/15/2007 | N/A |
| 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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckToVariant | 10 | pass1 | Checks the allowed formats of the |
01/15/2007 | 00032 |
| 4 | CheckVariableAndPartVariant | 18 | pass1 | Variables used in |
01/15/2007 | 00034 |
| 5 | CheckPartnerLinkVariant | 20 | pass1 | 01/10/2007 | 00037 | |
| 6 | CheckExpressionVariant | 50 | pass1 | Check variable reference expression as used in a |
01/10/2007 | 00033 |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckVariable | 1 | pass1 | Check the toVariable on the toPart. |
03/15/2007 | N/A |
| 3 | CheckDuplicatePartFromVariable | 1 | pass1 | Check to see if part='' fromVariable='' is a duplicate entry. |
01/20/2007 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckVariableDefined | 4 | pass1 | Checks to see if the fromVariable is defined. |
01/20/2007 | N/A |
| 6 | CheckMessageParts | 5 | pass1 | Check to see if the fromVariable type matches the part name specified |
01/20/2007 | 00054 |
| 7 | CheckToPartTypeCompatibility | 20 | pass1 | Check toPart and variable type compatibility |
03/10/2007 | N/A |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckEveryPartUsed | 10 | pass2 | Check to make sure that every to part is used |
03/10/2007 | 00050 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
| 4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
| 2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
| 3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
| 4 | ExpressionType | 999,999 | pass1 | - | 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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | CheckValidateVariables | 15 | pass1 | Make sure that the variables defined in the validate activity are defined. |
02/15/2007 | N/A |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Checks that variable NCName further does not contain a period (.) in the name. |
9/14/2006 | 00024 |
| 3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 4 | CheckType | 2 | pass1 | Variable type specification (either element, messaageType, or type). |
9/14/2006 | 00025 |
| 5 | CheckMessageTypeNode | 4 | pass1 | Make sure that Message Type is visible from the import(s) |
01/25/2007 | 00010 |
| 6 | CheckElementNode | 4 | pass1 | Make sure that Element is visible from the import(s) |
01/25/2007 | 00010 |
| 7 | CheckTypeNode | 4 | pass1 | Make sure that Type is visible from the import(s) |
01/25/2007 | 00010 |
| 8 | CheckIfVariableHidesSuperVariables | 15 | pass1 | Check to see if variable hides super variables |
01/25/2007 | N/A |
| 9 | CheckForEachCounter | 30 | pass1 | For |
01/20/2007 | 00076 |
| 10 | RegisterTypesToCheck | 50 | pass1 | Mark the types/elements/messages used to be checked for duplicates |
02/25/2007 | 00014 |
| 11 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types |
02/16/2007 | 00043 |
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 | 02002 |
| 2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 3 | CheckDuplicateVariableName | 40 | pass1 | Checks for duplicate variable name |
12/7/2006 | 00023 |
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 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | BasicSanityCheck | 5 | pass1 | Do a basic sanity check on the wait activity. |
9/22/2006 | N/A |
5 rules in class org.eclipse.bpel.validator.rules.WhileValidator
| # | Rule | Seq | Tag | Description | Date | SA |
|---|---|---|---|---|---|---|
| 1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
| 2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
| 3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
| 4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
| 5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 01000 |
| Total Rules: | 469 |
|---|---|
| Annotated Rules: | 89 |
| Total Nodes: | 97 |
| 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_CheckPortTypes_18 |
| 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 for SA code 26 is missing | |
| 27 | Check for SA code 27 is missing | |
| 28 | Check for SA code 28 is missing | |
| 29 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. |
Class: Query Method: rule_CheckQuery_30 |
| 30 | Check for SA code 30 is missing | |
| 31 | Check for SA code 31 is missing | |
| 32 | Checks the allowed formats of the <from> element |
Class: ToValidator Method: rule_CheckToVariant_10 |
| 33 | Check variable reference expression as used in a <to> element. |
Class: ToValidator Method: rule_CheckExpressionVariant_50 |
| 34 | Variables used in <from> must not have part set if they are schema types. (part must not be set) |
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 | Check for SA code 39 is missing | |
| 40 | Check for SA code 40 is missing | |
| 41 | Check for SA code 41 is missing | |
| 42 | Check if both from and to specs are EII; only then can keepSrcElement be set |
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 | Check for SA code 73 is missing | |
| 74 | Check for SA code 74 is missing | |
| 75 | Check for SA code 75 is missing | |
| 76 | For <forEach> the enclosed scope MUST NOT declare a variable with the same name as specified in the counterName attribute of <forEach>. |
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_CheckIfMyRoleIsDefined_5 |
| 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: CPartnerActivityValidator Method: rule_CheckOperationSet_0 |
| 89 | Check for SA code 89 is missing | |
| 90 | Either messageType or element must be specified if variable variant is used |
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_BasicSanityCheck_11 |
| 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,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: ReplyValidator Method: rule_CheckVariable_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: | 79 |
| Missing SA Checks: | 15 |
| % Complete: | 84.04 |
| % TODO: | 15.96 |
| Message Text | SA |
|---|---|
| {1} "{2}" of type "{4}" is not compatible with WSDL message "{3}". |
00048
00058 00087 |
| The start activity <{0}> must be the first activity in the process. | 00056 |
| Standard fault "{1}" cannot be handled in <{0}> when exitOnStandardFaults is set to yes. | 00003 |
| The partner link "{1}" referenced from this <{0}> must have "{2}" defined. | 00037 |
| Target scope "{2}" does not exist. | 00077 |
| Target {3} "{2}" must have a compensationHandler or a faultHandler. | 00078 |
| {1,choice,0#Node|1#Activity} <{0}> must contain at least {5,choice,1#one node|1<{5} nodes} from {3} | 02002 |
The <{1}> node present in this <{0}> has {2,choice,0# unspecified text value (is empty)| 1|
00038
|
|
| <{3}> can only occur at most {5,choice,1#one time|1<{5} times} in parent {1,choice,0#node|1#activity} <{0}> | 02002 |
| <{1}> name "{2}" is already defined in this scope/process. |
00018
00023 00044 00064 00068 00069 |
| This <{0}> with name="{1}" was already defined previously | 00022 |
| Cannot import type "{1}" from location "{2}" | 01234 |
| The XSD type "{1}" of {2} "{3}" in this <{0}> is not a simple XSD type. | 00045 |
| This <{0}> uses undefined message part "{1}" in message type "{2}" | 00021 |
| There is no "{2}" message that is used by this <{0}> - {3,choice,0#node <{4}> |2#attribute "{4}"} must be omitted. | 00047 |
| Solicit-response operation "{4}" in portType "{3}" cannot be used in a BPEL process. | 00001 |
| XSD element <{0}> in import {1} conflicts with element of the same name in {2}. | 00014 |
| {1,choice,0#Node|1#Activity} <{0}> must have {2} {3,choice,0#node|1#activity|2#attribute} present. |
00080
00081 00083 00090 |
| The variable name "{1}" is used as a counter name in <{2}>. | 00076 |
| The link "{1}" used as a {0} is not defined in the enclosing flow. | 00065 |
| Scope "{1}" cannot have a <{2}> because because it is itself inside an FCT-hander. | 00079 |
| The "{1}" has a control cycle where the source "{2}" has the target "{3}" as a preceding activity. | 00072 |
| <{0}> cannot be a child of <{1}>; it can only be a child of {2} | 02001 |
| The link "{1}" does not have a source. | 00066 |
| {0} attribute refers to an unsupported language URI {1} | 00004 |
| A catch for fault "{1}" already exist. | 00093 |
| Extension "{1}" is not supported by this implementation. | 00009 |
| {1,choice,0#Node|1#Activity} <{0}> must specify one {3,choice,0#node|1#activity|2#attribute} {2}. |
00081
00090 |
| The attribute {1} must be set to "{2}" on this <{0}> | 00057 |
| Attribute "{0}" must not be set on this <{1}> {2,choice,0#node|1#activity}. | 00046 |
| {3,choice,0#Node|1#Activity|2#Attribute} {2} must not be specified on {1,choice,0#node|1#activity} <{0}>. | 00090 |
| Attribute "{1}" cannot be set because {2} "{3}" is not an element. | 00042 |
| Immediately enclosed {0} "{1}" must have a unique name within the outer scope "{3}". | 00092 |
| "{1}" is set to "{2}" on this <{0}> {4,choice,0#node|1#activity} but it can only be set to {3} |
00017
00032 00046 00090 01001 01010 02003 02004 |
| The {1} of "{2}" is not compatible with {3} of "{4}" - {5} | 00043 |
| Message part "{1}" does not exist in message "{2}" |
00034
00054 |
| partnerLink "{1}" uses portType "{3}" (via partnerLinkType "{2}") which has an overloaded operation "{4}". | 00002 |
| Attribute "{1}" is not set on this <{0}> {2,choice,0#node|1#activity}. |
00000
00010 00024 00032 00046 00047 00081 00088 00090 01001 01004 01010 02003 02004 |
| The <{0}> activity named "{1}" must be in a fault, compensate, or termination handlers. |
00007
00008 |
| The "{1}" cannot be used on <{0}> that does not have {2} defined. | 00017 |
| <{0}> activity "{1}" specifies a portType "{2}", yet this portType does not match the portType derived from "{4}" of partnerLink "{3}" defined in WSDL "{5}" | 00005 |
| Isolated scope "{1}" cannot exist within another isolated scope (scope "{3}"). | 00091 |
| <{0}> activity "{1}" is trying to use partnerLink "{2}" which does not have a "{3}" defined. | 00084 |
| Part "{3}" must be specified on this <{2}> - activity <{1}> requires it. | 00050 |
| The targetNamespace {2} of the imported document is not the default namespace. | 00012 |
| This <{0}> activity is a start activity and cannot have an onAlarm component. | 00062 |
| The import namespace {1} and the imported document target namespace {2} do not match. | 00011 |
| The {1} start activities must share at least one correlation. | 00057 |
| Either "{1}" or "{2}" attribute is required on this <{0}> |
00019
00020 |
| The partner link "{1}" referenced from this <{0}> must have "{2}" defined. |
00035
00036 |
| The <{1}> activity named {0} must be in a fault handler. | 00006 |
| The part "{1}" is already specified in another <{0}>. | 00053 |
| The link "{1}" is not unique - the link "{2}" also makes an identical connection. | 00067 |
| The form of <{0}> is not valid (too many variants detected). | 00032 |
| The variable name "{0}" contains an illegal period (.) character. | 00024 |
| Notification operation "{4}" in portType "{3}" (via partnerLinkType "{2}") cannot be used in a BPEL process. | 00001 |
| The link "{1}" does not have a target. | 00066 |
| The link "{1}" crosses repeatable boundary on <{2}>. | 00070 |
| The "{0}" attribute of this <{1}> is set to "{2}" - it is not a valid NCName. |
00000
00024 01004 |
| Either <{1}> *or* attribute "{2}" must be specified on <{0}>. |
00051
00052 00055 00059 00063 00085 |
| The {1} "{2}" is not of messageType and a "part" is specified in this <{0}> node. | 00034 |
| "{1}" is set to "{3}" on this <{0}> {2,choice,0#|1#activity} but it cannot be resolved (check value of "{1}", imports, WSDLs or XSDs). |
00010
00017 00021 00032 00045 00081 00088 00090 02003 02004 |
| Link "{1}" must be outbound only; target activity must be outside of the enclosing <{2}>. | 00071 |
| Variable "{0}" must be have either messageType,element, or type defined. | 00025 |
| There is no start activity in process "{1}" | 00015 |
| {0} "{1}" must have "{2}" and/or "{3}" set. | 00016 |
| Message Text | SA |
|---|---|
| The expression in <{0}> cannot be checked - no expression validator has been registered for language {1}. |
00029
00033 01000 |
| The {1} of simple type "{2}" is not compatible with {3} of simple type "{4}" - a BPEL runtime may provide an implicit conversion. | 00043 |
| The {3,choice,0#node|1#activity} <{0}> refers to a {1} (via the attribute "{2}") - this {1} needs to be defined correctly. |
00032
02003 02004 |
| Message Text | SA |
|---|---|
| Copy rule not checked - {1} type-of "{2}", {3} type-of "{4}". | 00043 |
| The {1} of {0} is not defined in BPEL 2.0 and is not understood by this implementation. | 00013 |