Specifikationsspråket är ett formellt språk avsett för en deklarativ beskrivning av strukturen, relationerna, egenskaperna hos data och metoder för deras transformationer (till skillnad från aktiva språk) utan att uttryckligen nämna ordningen på utförda åtgärder och använda specifika datavärden.
Till skillnad från programmeringsspråk som används vid implementering av datorprogram , används specifikationsspråk för systemanalys , kravanalys , utveckling av arkitekturen för skapade mjukvarusystem och formell mjukvaruverifiering.
Olika specifikationsspråk används för att beskriva strukturen av ett informationssystem, domänmodeller och andra uppgifter relaterade till mjukvaru- och databasutveckling ( UML , ERD , DFD ) och kan ha både text- och binära format, samt en grafisk representation av språkkonstruktioner. De används också för att beskriva användargränssnitt ( XUL , XAML ), rapportmallar, dokumenttransformationer, samt dataöverföringsformat mellan applikationer i distribuerade informationssystem ( XML , JSON , CLEAR ). En annan tillämpning av specifikationsspråk är beskrivningen av databasstrukturer, nämligen den deklarativa delen av SQL brukar kallas Data Definition Language ( DDL ). Vid parsning och parsning (parsing) används specifikationsspråk, till exempel Backus -Naur-formen och ABNF ( förstärkt Backus-Naur-form ) är allmänt accepterade formella språk för specifikation av nätverksprotokoll och till och med syntaxen för aktiva programmeringsspråk; reguljära uttryck liknar notationerna ovan, men formen av reguljära uttryck är tio gånger mer kompakt, och parsningsalgoritmer med deras hjälp är väl utvecklade, och reguljära uttryck stöds i de allra flesta moderna programmeringsspråk.
Specifikationsmetoder kan klassificeras enligt flera kriterier [1] :
Att använda tillståndsövergångsparadigmet [1] :
Algebraiskt paradigm [1] :
Processalgebra [1] :
Logik [1] :