LTSA-WS / WS-Engineer Plug-in (Eclipse version History)

22/03/2005 v0.5.0

 
  • Tested on Eclipse Runtime and SDK 3.1.2, with JRE 5.0 (required)
  • Moved mapping pages from editors to LTSA WS Compatibility View
  • Rebuilt LTSA WS Compatibility View for BPEL, WS-CDL and MSC Design, Interaction and Obligations verification (see this paper for detailed approach).
  • Added WS-Engineer menu to Navigator view for quick safety and progress checks of BPEL and WS-CDL file
  • Violations automatically shown as MSCs from Navigator menu and Compatibility checks
  • Improved handling of WS-CDL document (v1.0) translation to FSP
  • Fixed some further Draw and Animation sync. Issues
  • Icons for Outline view elements (compositions, processes etc) and views titles
  
30/11/2005 v0.4.1

 
  • Tested on Eclipse runtime 3.1.1
  • Fixed xml comments issue in BPEL4WS translation
  • Fixed intermittent freeze on animator view
 
27/11/2005 v0.4.0 - WS-Engineer
  • Added translation of WS-CDL descriptions to interaction model - open .cdl extension files with LTSA WS-CDL editor
  • Added LTS Animator view - provides step-by-step interaction of compiled/composed process models
  • Added partial synthesis of MSCs to BPEL4WS implementations and WS-CDL descriptions (select MSC xml in Navigator view and choose translate on context menu).
  • Note: Tutorials for the above will be added asap.
11/07/2005 v0.31 - Updated

 
  • Updated mapping page (BPEL4WS) - .xml files of MSC specifications can be drag/dropped onto mapping page and automatically be included in verification
  • Fixed "save as" and "save" for all editor pages (BPEL4WS/MSC)
  • Included ICWS2005 and SCC2005 demo files for version demonstrated
  • Renamed WS Choreography view to WS Compatibility
  • Trace Violations now appear in BPEL4WS translated form rather than MSC labels
10/04/2005 v0.3 - Updated
  • Migrated LTSA-MSC Editor as additional LTSA plug-in editor
  • .msc/.xml files can be opened with editor
11/03/2005 v0.2 - Updated
  • Compilation/Composition tasks now performed as Eclipse Jobs.
  • Added LTSA-WS Choreography View for specifying multiple BPEL4WS processes and composing connected interaction model.
  • Fixed various LTSA Draw issues with new compiled models.
23/11/2004 v0.1 - First Release
  • The first Eclipse version released

LTSA-BPEL4WS Plug-in (standalone version)

Date Version Description Download Prerequisites
18/08/2004 0.5.3 Compositional Model of multiple processes, linking process interactions between partners based upon a synchronous messaging model.  WSDL now included in verification of interface against process interactions - and determines process role.  Tutorial 2 presents a simple use of how the modeling features work in this version (see Tutorials above). here Full Install 0.5
10/03/2004 0.5.2 Fixed issue with selecting FSP specification (as per verification tutorial).  Thanks to Mariya Koshkina (York U, Toronto) for raising this issue.

here

 Full Install 0.5
01/03/2004 0.5.1 Fixed issue with XML comments and 1st process activity root not being recognised.

here

 Full Install 0.5
24/02/2004 0.5 Now based upon BPEL4WS 1.1 specification.  Added support for <pick>, <onMessage> and <link> constructs.  Global <faultHandlers> also supported.  This version also provides a list box to add multiple processes and compose them together.  Linking of processes is currently being added to version 0.6.

here

 LTSA Tool, IBM BPEL4WS 1.1 Libraries
15/09/2003 0.4 BPEL4WS 1.0

here

 LTSA Tool, IBM BPEL4WS 1.0 Libraries

Complete Installation Package

Date Version Description Download Prerequisites
18/09/2004 0.5.3 As v0.5 but updated with v0.5.3 BPEL4WS plug-in

here

JRE 1.4.1+
24/02/2004 0.5 LTSA 2.3 with BPEL4WS 1.1 Plugin  (see plugin for details of latest version)

here

JRE 1.4.1+
15/09/2003 0.4 LTSA 2.3 with BPEL4WS 1.0 Plugin

here

JRE 1.4.1+

Libraries

Date Version Description Download
24/02/2004 1.1 BPEL4WS 1.1 Libraries

here
15/09/2003 1.0 BPEL4WS 1.0 Libraries

here

LTSA-BPEL4WS Tutorials

Date Description

Link

Plug-in Required
15/09/2003 Tutorial 1 - Model-based Verification of Web Service Compositions Tutorial 1 Full Install 0.5
18/08/2004 Tutorial 2 - Compatibility Verification for Web Service Choreography Tutorial 2 Full Install 0.5.3