Web Services Formal Methods and Behavioral Types