W3C home > Mailing lists > Public > public-ws-chor@w3.org > November 2005

WS-Engineer for WS-CDL and BPEL4WS

From: Howard Foster <hf1@doc.ic.ac.uk>
Date: Mon, 28 Nov 2005 22:22:44 -0000
To: <public-ws-chor@w3.org>
Cc: <yoshida@doc.ic.ac.uk>
Message-ID: <E1EgrNo-0006oZ-9z@lisa.w3.org>
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.



Howard Foster
Received on Tuesday, 29 November 2005 14:52:50 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:34 UTC