A derivation of the Ising model for the computation of phase diagrams