Ett språk som används för att identifiera en sekvens av arbetstillfällen, beskriva sina krav till ett operativsystem och kontrollera utförandet.