Synthesis of Composite E-Services Based on Automated Reasoning (Short Paper)