Een taal, vaak een machine-gegevenscommunicatiesystemen combinatie van natuurlijke en formele taal, die wordt gebruikt om op te geven van de eisen, ontwerp, gedrag of andere kenmerken van een systeem of systeemcomponent.