Service Engineer (previously known as WS-Engineer) is a tool for rigorous service engineering.
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.
