Verification in Pervasive Computing -- to Mobile Trajectory Based Services: A New