“…To get a flavor of the challenges in applying formal methods to the development of web services, we redesign the MOTION [5,12,24,20](MObile Teamwork Infrastructure for Organizations Networking) platform which is a platform for mobile team collaboration that one of this paper's authors was co-architect and co-developer of. The MOTION platform is a typi-cal example of enterprise wide, open, and Internetand component-based application, hence, an interesting candidate for the application of the web service technology.…”