Specificație și limbaj de descriere

Limbajul de specificații și descriere ( SDL ) este un limbaj de specificații definit de UIT-T și orientat spre descrierea formală a comportamentului sistemelor hardware / software de telecomunicații distribuite și reactive . Semantica limbajului se bazează pe modelul formal al mașinilor cu stări finite („ Mașini de stări finite”, FSM).

Limbajul include notația grafică (cunoscută sub numele de SDL / GR ) și textuală ( SDL / PR ); cele două notații sunt semantic echivalente și interschimbabile. Al doilea este orientat în principal către schimbul și arhivarea documentelor de specificații create în SDL.

Prima versiune a limbajului a fost dezvoltată în 1976 ( SDL-76 ). Reviziile ulterioare au avut loc în 1980 ( SDL-80 ), 1984 ( SDL-84 ), 1988 ( SDL-88 ), 1992 ( SDL-92 ) și 1999 - 2000 ( SDL-2000 ). Cele mai recente versiuni ale limbajului (începând de la SDL-92) au achiziționat elemente ale paradigmei orientate obiect , iar pentru cea mai recentă versiune (SDL-2000) s-a realizat o integrare cu limbajul de modelare a obiectelor UML sub forma unui UML profil dedicat SDL.

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre specificații și limbaj de descriere

linkuri externe

• SDL Forum Society , pe sdl-forum.org .