Specification and Description Language: differenze tra le versioni

Versione delle 16:02, 25 giu 2010

Versione attuale delle 02:13, 13 ott 2025

(11 versioni intermedie di 8 utenti non mostrate)

Riga 1:

Lo '''Specification and Description Language''' ('''SDL''') è un [[linguaggio di specifica]] definito dall'[[ITU-T]] e orientato alla [[specifica formale|descrizione formale]] del comportamento di sistemi [[hardware]]/[[softwraesoftware]] per le [[telecomunicazioni]], [[sistema distribuito|distribuiti]] e [[sistema reattivo|reattivi]]. La semantica del linguaggio è basata sul modello formale delle [[macchina a stati finiti|macchine a stati finiti]] ("Finite State Machine(s)", FSM).

Il linguaggio comprende una notazione grafica (nota come '''SDL/GR''') e una testuale ('''SDL/PR'''); le due notazioni sono [[semantica]]mente equivalenti e interscambiabili. La seconda è orientata soprattutto all'interscambio e all'archiviazione dei documenti di specifica realizzati in SDL.

Riga 5:

La prima versione del linguaggio venne sviluppata nel [[1976]] ('''SDL-76'''). Successive revisioni ebbero luogo nel [[1980]] ('''SDL-80'''), nel [[1984]] ('''SDL-84'''), nel [[1988]] ('''SDL-88'''), nel [[1992]] ('''SDL-92''') e nel [[1999]]-[[2000]] ('''SDL-2000'''). Le ultime versioni del linguaggio (a partire da SDL-92) hanno acquisito elementi del [[programmazione orientata agli oggetti|paradigma object-oriented]], e per l'ultima versione (SDL-2000) è stata realizzata un'integrazione con il [[linguaggio di modellazione]] a oggetti [[Unified Modeling Language|UML]] nella forma di un [[profilo UML]] dedicato a SDL.

== Altri progetti ==

[[Categoria:Linguaggi formali]]

{{interprogetto}}

==Collegamenti esterni==

* {{cita web|https://www.sdl-forum.org/|SDL Forum Society}}

{{Controllo di autorità}}

{{Portale|informatica}}

[[Categoria:LinguaggiTeoria dei linguaggi formali]]

[[Categoria:UML]]

[[Categoria:Telecomunicazioni]]

[[Categoria:Sistemi distribuiti]]