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.
Engage: Engineering Service Modes with WS-Engineer and Dino
Updated demonstration of Service Mode specifications for Service Brokering. Includes modelling, analysis, mode browsing and generation of Service Broker runtime artifacts. Video includes audio commentary. YouTube
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
WS-Engineer IC-SOC 2008 Demonstration Preview
Illustrates using WS-Engineer for safety analysis of web service compositions. YouTube or download (AVI ~30MB)
Additional plug-ins may be used in conjunction with WS-Engineer to support model-based engineering tasks.