Eine Sprache, oft eine Maschine-verarbeitbare Kombination von natürlichen und formalen Sprache verwendet, um die Anforderungen, Design, Verhalten oder andere Merkmale eines Systems oder einer Systemkomponente anzugeben.