WEB SERVICES AND FORMAL METHODS: THIRD INTERNATIONAL WORKSHOP, WS-FM 2006, VIENNA, AUSTRIA, SEPTEMBER 8-9, 2006: PROCEEDINGS