Describing and reasoning on Web Services using process algebra