For strictly convex billiard maps of smooth boundaries, we get a Birkhoff normal form via a list of constructive generating functions. Based on this, we get an explicit formula for the beta function (locally), and explored the relation between the spectral invariants of the billiard maps and the beta function.