Beruflich Dokumente
Kultur Dokumente
SDL permite elegir entre dos formas sintácticas Un canal representa una ruta unidireccional de
diferentes para la representación de sistemas: transporte de señales entre dos bloques o entre un
bloque y su entorno. Las señales transportadas por
- SDL/GR (Graphical Representation) canales se entregan al punto extremo de destino. Las
- SDL/PR (Phrase Representation) señales llegan al punto extremo de destino de un canal
SDL/GR es un lenguaje gráfico que permite visualizar la en el mismo orden en que fueron enviadas en el punto
estructura y flujos de control de un sistema y SDL/PR es origen. Pueden existir varios canales entre los dos
un lenguaje de programación, más apropiado para la mismos puntos extremos. Canales diferentes pueden
utilización de herramientas automatizadas. Ambas transportar señales del mismo tipo.
sintaxis tienen el mismo modelo semántico. La siguiente figura muestra la arquitectura de un sistema
La entidad principal en SDL es el sistema (SYSTEM) que SDL.
se compone de bloques (BLOCKS). Los bloques se
conectan entre sí y con el entorno (ENVIRONMENT) por
medio de canales (CHANNELS). Los canales sirven
como medio de transporte de las señales (SIGNALS)
entre bloques y con el entorno. Un bloque puede
contener varias especificaciones de procesos; un
proceso interactúa con otros procesos y con el entorno
por medio de las señales. Un proceso es modelado
como una máquina de estados finita extendida, lo cual
le agrega el uso de variables, parámetros, acciones y
temporizadores.
Sistema
Una definición de sistema en SDL es una especificación
o descripción de un sistema. Un sistema está separado
de su entorno por la frontera del sistema y contiene un
conjunto de bloques. La comunicación entre el sistema
y el entorno o entre los bloque dentro del sistema sólo
puede efectuarse mediante señales. Dentro de un
sistema, estas señales son transportadas por canales.
Los canales conectan bloques entre sí o con la frontera
del sistema. Debe haber por lo menos un bloque dentro
del sistema.
Bloque
Una definición de bloque es un contenedor para una o
más definiciones de proceso de un sistema. La