Building Dynamic Models of Service Compositions