wsbpel-reqts message

Subject: Issue - 9 - Static analysis

From: ws-bpel issues list editor<peter.furniss@choreology.com>
To: wsbpel-reqts@lists.oasis-open.org
Date: Wed, 25 Jun 2003 15:28:14 +0100

This issue has been added to the wsbpel issue list. It is in the current version of the list at wsbpel document 2656, It is hoped to have a fixed url for the ever-changing list.

Issue - 9 - Static analysis

Origin: Initial issue log, item 2 (document details)
Date submitted: 23 May 2003
Submitter: Original authors group
Description:
Static analysis is a well-established technique to support robust design and implementation practice. The specification permits that static analysis may reject a BPEL process definition, depending on how pessimistic the static analysis is. As a result, some BPEL definitions may not be portable between different BPEL implementations.

Question: Is it possible to define a conservative set of restrictions that will ensure portability?

To comment on this issue, please follow-up to this announcement on the wsbpel-reqts@lists.oasis-open.org list (replying to this message should automatically send your message to that list), or ensure the subject line as you send it starts "Issue - 9 - [anything]".

To add a new issue, send email to the wsbpel requirements and issues coordination list, adding a proposed title for the issue to the subject line. See the issues procedures document for further information.