Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » BPEL Designer » WS-Engineer and BPEL Designer
WS-Engineer and BPEL Designer [message #10162] Mon, 24 December 2007 05:56
No real name is currently offline No real name
Messages: 1
Registered: July 2009
Junior Member
Users of this tool may be interested in a model-based BPEL verification
and validation plug-in...WS-Engineer, available here:

http://www.doc.ic.ac.uk/ltsa/eclipse/wsengineer/

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 models of WS-BPEL, WS-CDL and WSIF Logs
- Analysis of interaction models for specified properties (e.g. trace
equivalence, deadlock, liveness etc)
- Synthesis of composition and choreography interaction processes from
behaviour models (in the form of Message Sequence Charts)
- Verification 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/WSIF Logs).

I am actively looking at integrating the BPEL Designer and Model-Checker
more closely.

Kind Regards
Howard.
Previous Topic:BPMN to BPEL
Next Topic:Error: activator org.eclipse.bpel.. is invalid
Goto Forum:
  


Current Time: Tue Jul 29 21:04:13 EDT 2014

Powered by FUDForum. Page generated in 0.12459 seconds