Limbajul de specificare este un limbaj formal destinat unei descriere declarativă a structurii, relațiilor, proprietăților datelor și metodelor de transformare a acestora (spre deosebire de limbajele active) fără a menționa în mod explicit ordinea acțiunilor efectuate și folosind valori specifice datelor.
Spre deosebire de limbajele de programare utilizate în implementarea programelor de calculator , limbajele de specificații sunt folosite pentru analiza sistemului , analiza cerințelor , dezvoltarea arhitecturii sistemelor software create și verificarea formală a software-ului.
Diverse limbaje de specificații sunt folosite pentru a descrie structura unui sistem informațional, modele de domenii și alte sarcini legate de dezvoltarea de software și baze de date ( UML , ERD , DFD ) și pot avea atât formate text, cât și binar, precum și o reprezentare grafică. a constructelor limbajului. Ele sunt, de asemenea, folosite pentru a descrie interfețele utilizator ( XUL , XAML ), șabloane de rapoarte, transformări de documente, precum și formate de transfer de date între aplicații din sistemele de informații distribuite ( XML , JSON , CLEAR ). O altă aplicație a limbajelor de specificare este descrierea structurilor bazei de date, și anume, partea declarativă a SQL este de obicei numită Data Definition Language ( DDL ). La analizarea și analizarea (parsarea), sunt folosite limbaje de specificații, de exemplu, forma Backus-Naur și ABNF ( forma augmentată Backus-Naur ) sunt limbaje formale în general acceptate pentru specificarea protocoalelor de rețea și chiar a sintaxei de limbaje de programare active; expresiile regulate sunt similare cu notațiile menționate mai sus, cu toate acestea, forma expresiilor regulate este de zece ori mai compactă, iar algoritmii de analiză cu ajutorul lor sunt bine dezvoltați, iar expresiile regulate sunt acceptate în marea majoritate a limbajelor de programare moderne.
Metodele de specificare pot fi clasificate după mai multe criterii [1] :
Folosind paradigma tranziției de stat [1] :
Paradigma algebrică [1] :
Algebra proceselor [1] :
Logica [1] :