Een taal gebruikt voor het identificeren van een reeks van banen, beschrijven hun eisen voor een besturingssysteem, en controle van de uitvoering ervan.