Spesifikasjon og beskrivelse Språk

Den spesifikasjon og Description Language (SDL) eller spesifikasjon og Description Language (SDL) er en standard av International Telecommunications Union (ITU-T) i referanse Z.100. Dette språket har som mål å entydig beskrive telekommunikasjonsprotokollene. SDL-beskrivelser finnes således i ETSI-standarder som X.25 eller GSM .

Versjoner

SDL oppdateres hvert fjerde år, og den første stabile og brukbare versjonen anses å være den fra 1988. Følgende viktige trinn bør bemerkes:

Bruksområder

SDL-språket er det som kalles et modelleringsspråk som gjør det mulig å beskrive telekommunikasjonsprotokoller, men mer generelt brukes det også til å modellere applikasjoner i sanntid. Dette kommer av det faktum at semantikken til språket er basert på tjenester som er de som finnes i sanntidsoperativsystemer som

Spesielle egenskaper

Som mange modelleringsspråk gir SDL en grafisk abstraksjon av konsepter og tjenester som brukes i telekommunikasjonsprotokoller. Således er sending av en melding fra en statsmaskin representert med et grafisk symbol. Men fremfor alt definerer SDL abstrakte datatyper (TDA) og en manipulasjonssyntaks som gjør det mulig å beskrive systemet på en formell måte; altså helt og utvetydig.

Fire visninger

Arkitektur

Et SDL-system består av funksjonelle blokker, og hver blokk kan deles opp i underblokker og så videre. Den laveste nivåblokken består av en eller flere prosesser som er beskrevet i form av statsmaskiner.

SdlArchitecture.JPG

Kommunikasjon

Arkitekturblokkene er koblet til hverandre av kanaler som beskriver de forskjellige meldingene (eller signalene) som utveksles mellom blokkene.

SdlChannels.png

Oppførsel

Atferden er beskrevet grafisk som en utvidet tilstandsmaskin.

SdlStateMachine.png

I dette eksemplet er MyVariable av typen INTEGER den eneste lokale variabelen for prosessen. Den første overgang er den start overgang som initialiserer lokal variabel. En tilkoblingsforespørselsmelding blir sendt ( conReq ), en 5 sekunders tidtaker startes ( conReqTimer ), og PLC går i tilkoblingstilstand . I tilkoblingstilstand hvis timeren smeller - som tilsvarer mottak av en melding - sendes tilkoblingsforespørselen opptil 10 ganger. Hvis du mottar en tilkoblingsbekreftelse, går PLS-en i tilkoblet tilstand . Dette er et typisk scenario i telekommunikasjonsprotokoller.

De tilgjengelige symbolene er:

SdlSymbols.jpg

Data

SDL abstrakte datatyper tilbyr grunnleggende typer som INTEGER, REAL, CHARSTRING og strukturerte typer som strukturer (STRUCT), oppregnet (LITERALS), konstanter (SYNONYMS). Syntaksen ligner på Pascal, for eksempel vil en oppgave bli skrevet ': ='.

Se også

Relaterte teknologier

Eksterne linker

Verktøy