WS-Engineer for WS-CDL and BPEL4WS

Dear Group,

 

WS-Engineer Link:  http://www.doc.ic.ac.uk/ltsa/bpel4ws

 

I invite you to review the tool we are developing for the analysis and
behaviour-based synthesis of web service compositions and choreography.  The
LTSA WS-Engineer (v0.4) plug-in for Eclipse is an extension to the Labelled
Transition System Analyser (LTSA) which allows models to be described by
translation of BPEL4WS implementations and WS-CDL descriptions, and can be
used to perform model-based engineering features including:

 

- Analysis of interaction models (trace equiv, deadlock, liveness)

- Synthesis of composition and choreography interaction processes from
behaviour models (message sequence charts)

- Verfication of WS compositions against behaviour models (either WS-CDL or
MSC models)

- Validation through interactive and animated models.

 

Verification can be performed against specification scenarios in the form of
message sequence charts. 

 

The LTSA can also be used to detect the presence of implied scenarios in the
system as part of an iterative design process.

 

We believe that a unique feature of our tool will be to create single WS-CDL
documents from the synthesis of multiple interaction scenarios (built as a
series of Message Sequence Charts).

 

Steve R-T:  This seems to fit with your primer quite nicely... thoughts?

 

Comments/reviews welcome.

 

Regards

Howard Foster