Declarative description and validation of function parameters