WS-Engineer 2008

A Service Architecture, Behaviour and Deployment Verification Platform
  • Howard Foster
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Howard Foster
    • 1
  1. 1.Department of ComputingImperial College LondonLondonUK

Personalised recommendations