Synthesizing Service Composition Models on the Basis of Temporal Business Rules