This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.

Bug 83742 - Validation rule for message exchange - SA00060
Summary: Validation rule for message exchange - SA00060
Status: RESOLVED FIXED
Alias: None
Product: soa
Classification: Unclassified
Component: BPEL Validation (show other bugs)
Version: 5.x
Hardware: All All
: P4 blocker (vote)
Assignee: Vladimir Yaroslavskiy
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-08-30 08:44 UTC by Mikhail Kondratyev
Modified: 2008-08-07 13:04 UTC (History)
0 users

See Also:
Issue Type: ENHANCEMENT
Exception Reporter:

Attachments
rule61 sample (20.63 KB, application/octet-stream)
2006-08-30 09:03 UTC, Mikhail Kondratyev 		Details
Test project (9.91 KB, application/x-compressed)
2008-08-07 13:02 UTC, Vladimir Yaroslavskiy 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Mikhail Kondratyev 2006-08-30 08:44:34 UTC 
The validator does not check the static analysis rule 61
The attached project violates the rule but still is not mark as invalid.
Comment 1 Mikhail Kondratyev 2006-08-30 09:03:15 UTC 
Created attachment 33391 [details]
rule61 sample
Comment 2 Denis Anisimov 2006-08-30 11:36:33 UTC 
This rule is not implemented.
Comment 3 Praveen Savur 2006-08-30 18:08:03 UTC 
Since rule is not yet implemented, I am changing to enhancement.

Rules implemented are marked with status 'Completed' here:
http://enterprise.netbeans.org/specs/bpel/StaticAnalysisRules.html
Comment 4 Denis Anisimov 2006-11-09 13:37:22 UTC 
Very complicated for implementation rule.
Knowing of previously executed activity is needed. 
So implementation should have some runtime logic for determining 
whether one activity precede other while execution.
Comment 5 Vladimir Yaroslavskiy 2007-04-03 12:48:08 UTC 
engine is not ready for message exchange
Comment 6 Jiri Prox 2007-09-17 20:27:08 UTC 
Obsolete milestone, please reevaluate
Comment 7 Vladimir Yaroslavskiy 2008-05-05 15:09:08 UTC 
SA00060:

The explicit use of messageExchange is needed only where the execution can result in multiple IMA-<reply> pairs (e.g.
<receive>-<reply> pair) on the same partnerLink and operation being executed simultaneously. In these cases, the process
definition MUST explicitly mark the pairing-up relationship.
Comment 8 Vladimir Yaroslavskiy 2008-08-07 13:02:43 UTC 
Created attachment 66806 [details]
Test project
Comment 9 Vladimir Yaroslavskiy 2008-08-07 13:04:06 UTC 
fixed in soa-dev: 925498d31c71