Język specyfikacji i opisu (SDL) lub język specyfikacji i opisu (SDL) to standard Międzynarodowego Związku Telekomunikacyjnego (ITU-T) w numerze referencyjnym Z.100. Język ten ma na celu jednoznaczne opisanie protokołów telekomunikacyjnych. Dlatego opisy SDL można znaleźć w standardach ETSI, takich jak X.25 lub GSM .
SDL jest aktualizowany co 4 lata, a za pierwszą stabilną i nadającą się do użytku wersję uważa się wersję z 1988 r. Należy zwrócić uwagę na następujące ważne kroki:
Język SDL to tak zwany język modelowania, który umożliwia opisywanie protokołów telekomunikacyjnych, ale bardziej ogólnie jest również używany do modelowania aplikacji czasu rzeczywistego. Wynika to z faktu, że semantyka języka opiera się na usługach, które są dostępne w systemach operacyjnych czasu rzeczywistego, takich jak
Podobnie jak wiele języków modelowania, SDL zapewnia graficzną abstrakcję pojęć i usług używanych w protokołach telekomunikacyjnych. Zatem wysłanie wiadomości z automatu stanowego jest reprezentowane przez symbol graficzny. Przede wszystkim jednak SDL definiuje abstrakcyjne typy danych (TDA) i składnię manipulacyjną, która pozwala na formalne opisanie systemu; to znaczy całkowicie i jednoznacznie.
System SDL składa się z bloków funkcjonalnych, a każdy blok można podzielić na podbloki i tak dalej. Blok najniższego poziomu składa się z jednego lub więcej procesów, które są opisane w postaci maszyn stanowych.
Bloki architektury są połączone ze sobą kanałami, które opisują różne komunikaty (lub sygnały), które są wymieniane między blokami.
Zachowanie jest opisane graficznie jako rozszerzona maszyna stanów.
W tym przykładzie MyVariable typu INTEGER jest jedyną lokalną zmienną procesu. Pierwsze przejście to przejście początkowe, które inicjalizuje zmienną lokalną. Wysyłany jest komunikat żądania połączenia ( conReq ), uruchamiany jest 5-sekundowy zegar ( conReqTimer ) i PLC przechodzi w stan połączenia . W stanie łączenia, jeśli zatrzaśnie się licznik czasu - co jest równoznaczne z odebraniem wiadomości - żądanie połączenia jest wysyłane do 10 razy. Jeśli otrzymane zostanie potwierdzenie połączenia, PLC przechodzi do stanu połączonego . Jest to typowy scenariusz w protokołach telekomunikacyjnych.
Dostępne symbole to:
Abstrakcyjne typy danych SDL oferują podstawowe typy, takie jak INTEGER, REAL, CHARSTRING i typy strukturalne, takie jak struktury (STRUCT), wyliczone (LITERALS), stałe (SYNONIMY). Składnia przypomina składnię Pascala, na przykład przypisanie zostanie zapisane jako „: =”.