Un langage utilisé pour identifier une séquence d'emplois, décrire leurs exigences pour un système d'exploitation et de contrôler leur exécution.