Skip to Main Content
In this work we explain how to perform the design and verification of a Web services composition with time restrictions using the Web services translation tool, WST for short. We pay special attention to Web services systems with timing restrictions. As illustration, we use a case study called ldquoform generator servicerdquo, a system that allows developers to manage a form repository by means of several Web services. We show how to design this system and the verification of some properties on it, using a timed automata representation.