Γλώσσα που χρησιμοποιείται για τον προσδιορισμό μιας ακολουθίας των θέσεων εργασίας, περιγράφουν τις απαιτήσεις τους σε ένα λειτουργικό σύστημα και τον έλεγχο της εκτέλεσής τους.