Text this: Alloy-based verification of Web service composition