Add validation specifications
Implement validation logic