PDL
Language derived from a programming language like Ada and contains additional, more abstract, constructs to increase its expressive power
Checked syntactically and semantically by software tools
Requirements omissions and inconsistencies inferred
PDL is useful if:
- when operation is specified as a sequence of simpler actions and the order of execution is important
- when hardware and software interfaces have to be specified
Disadvantages
- insufficient expression, design decisions may be made too early