Modeling and Reasoning about Service Behaviors and Their Compositions