Welcome to the WIKI for Web Service Engineers!
This site aims to provide a news and discussion for all things related to (Web) Service Engineering.
The site is also a central place to discuss the LTSA WS-Engineer plug-in for Eclipse. The WS-Engineer tool is an extension to the Labelled Transition System Analyser (LTSA) which allows models to be described by translation of the BPEL implementations and WS-CDL descriptions, and can be used to perform model-based engineering including:
- Analysis of interaction models (e.g. trace equivalence, deadlock, liveness etc)
- Synthesis of composition and choreography interaction processes from behaviour models (e.g. message sequence charts)
- Verfication of WS compositions against behaviour models (e.g. for partner obligations)
- Validation through interactive and animated models
- Trace analysis for service composition interaction logs (e.g. BPWS4J Logs)
Most recent forum posts…
See all at the Web Service Engineer Forum
Re: WS-Engineer Obligation Test problem (Sun, 10 Jan 2010 09:57:02 +0000)
Re: WS-Engineer Obligation Test problem (Tue, 05 Jan 2010 13:36:39 +0000)
Re: WS-Engineer Obligation Test problem (Tue, 05 Jan 2010 11:48:40 +0000)
WS-Engineer Obligation Test problem (Tue, 05 Jan 2010 11:22:20 +0000)
Re: Links between activities of a flow not modeled (Fri, 06 Nov 2009 20:17:16 +0000)
Re: Links between activities of a flow not modeled (Fri, 06 Nov 2009 08:19:15 +0000)
