H.Foster, WS-Engineer 2008: A Service Architecture, Behaviour and Deployment Verification Platform, in Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. December 2008
Abstract
|
Preview
|
|
In this demonstration we present the LTSA WS-Engineer Tool Suite. WS-Engineer1 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.
|
Links
Further details will be added for related links and this publication.
|
Tools
Further details will be added for related tools and this publication.
|
|
Â
|
