Web Services and Formal Methods, 6th International Workshop