Analysis of behavioral compatibility in Web service composition based on LTS