Computational Complexity of Web Service Composition Based on Behavioral Descriptions