Contract representation for validation and run time monitoring