Formally designing Web services for mobile team collaboration

We illustrate a symbiotic relationship between existing model oriented specification techniques and Web services. Through the formal re-design of a platform for mobile team collaboration, we investigate the suitability of existing formal specification and verification techniques to Web services. In general, this preliminary work suggests that a lot is still to be done on understanding the computational behavior of Web services, hence on specifying and verifying them.