The WS-Engineer Plug-in for LTSA
The WS-Engineer plug-in is an extension to the LTSA Eclipse Plug-in which allows service models to be described by translation of the service process descriptions, and can be used to perform model-based service engineering verification and validation.
The main features are listed below. Click 
for a preview screenshot or see the factsheet:
 |
 |
||
 |
Interaction checking of collaborating WS-BPEL orchestrations |
 |
|
 |
Obligations checking of WS-BPEL orchestrations and WS-CDL choreographies |
 |
|
 |
Deployment checking of WS-BPEL and UML2/xADL2 Deployment Models |
 |
|
 |
Modes Analysis and Generation of Adaptive Service Brokering Specs |
The WS-Engineer Tool is based upon the work by Dr. Howard Foster in his PhD thesis:
A Rigorous Approach to Engineering Web Service Compositions.
Demonstration Videos
 |
 |
WS-Engineer IC-SOC 2008 Demonstration Preview Illustrates using WS-Engineer for safety analysis of web service compositions. YouTube or download (AVI ~30MB) |
 |
|
Service Brokering with Modes Using WS-Engineer Demonstration of Service Mode specifications for Service Brokering of In-Vehicle Services. Generates Service Brokering inputs from UML2 ModeModels and checks safety and correctness. YouTube |
