Specification and Description Language: differenze tra le versioni

Versione delle 16:02, 25 giu 2010

Versione delle 16:02, 25 giu 2010

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 8:

[[Categoria:UML]]

[[Categoria:Telecomunicazioni]]

[[Categoria:Sistemi distribuiti]]