Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study