format model spec