Automatic and Effective Service Provision with Context-aware Service Composition Mechanism in Cyber-Physical Systems