Skip to main content

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 10:56
No real name is currently offline No real nameFriend
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:

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
- 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.

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

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

Current Time: Thu Aug 18 11:47:53 GMT 2022

Powered by FUDForum. Page generated in 0.03802 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top