2.3 PDL-based requirements definition