WS-Engineer 2008

Authors:
Howard Foster
Affiliations:
Department of Computing, Imperial College London, London, UK SW7 2BZ
Venue:
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Year:
2008

Citing 1
Cited 1

LTSA-WS: a tool for model-based verification of web service compositions and choreography

Proceedings of the 28th international conference on Software engineering

Interface decomposition for service compositions

Proceedings of the 33rd International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.