service computing, composite service, service composition, constraint-aware service composition, context-aware service composition, service constraints, service constraint verification, composite service execution, composite service simulation