Feynman path integrals in a phase space