|
WS-Engineer Plug-in For LTSA Eclipse
The LTSA 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 engineering including:
| • | Support for BPEL4WS 1.1, WS-CDL 1.0 and WSIF (Web Service Invocation Framework) Log analysis. |
| • | Analysis of interaction models for specified properties (e.g. trace equivalence, deadlock, liveness etc) |
| • | Synthesis of composition and choreography interaction processes from behaviour models |
| • | Verfication of service behaviour models (e.g. for partner obligations) |
| • | Validation through interactive and animated models |
| • | Trace analysis for service composition interaction logs (e.g. BPWS4J Logs) |
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.
|