spec model validation