In this demonstration we present the LTSA WS-Engineer Tool Suite. WS-Engineer started as a formal service composition analysis tool for service orchestrations based upon the Labelled Transition Analyser (LTSA). Since its introduction in 2006, the tool suite has grown to consider several areas of service composition engineering, including architecture, behaviour and deployment. The tool is integrated into the Eclipse and IBM Rational Software Architect IDEs.
- 1.Foster, H., Uchitel, S., Magee, J., Kramer, J.: Ws-engineer:tool support for model-based engineering of web service compositions and choreography. In: IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China. IEEE, Los Alamitos (2006)Google Scholar