Specification-kielen erityisiä rakenteita ja joskus tarkastuksen kehittämiseksi, protokollista analysoida ja dokumentoida laitteiston tai ohjelmiston vaatimukset.