Context-aware service discovery and service composition over smart phones