SDL
Specification and Description Language
Disciplina: Engenharia de Software I
Professora: Eliane Martins
Camila R. Rocha
RA: 022247
Silvia C. M. Soares
RA: 012895
Agenda








Introdução
Objetivos
Características e Aspectos Cobertos pelo Modelo
Componentes
Ferramentas
Estudo de Caso
Conclusões
Bibliografia
Maio/2003
SDL – Specification and Description Language
2
Introdução
LINGUAGEM:
Orientada a Objetos
TÉCNICA:
FDT – Formal Description
Technique
ORIGEM:
1972- Início da criação da linguagem (CCITT Comité
Consultatif International Telegraphique e Telephonique)
1988 - Técnica de definição formal
1992 - Conceitos de Orientação a Objetos
2000 - Conceitos novos (como utilização de UML)
Maio/2003
SDL – Specification and Description Language
3
Objetivos
 Especificar a estrutura, o comportamento e os
dados de sistemas de tempo real e distribuídos;
 Especificar a comunicação assíncrona entre
processos;
 Especificar Sistemas de Telecomunicações
Interativos;
 Gerar códigos.
Maio/2003
SDL – Specification and Description Language
4
Características e
Aspectos Cobertos pelo Modelo
 Sintaxes gráfica (.GR) e
textual (.PR)
 Fácil especificação da
comunicação de
processos
 Definição de tipos de
dados
 Descrição hierárquica
 Reutilização do código
 Facilidade para alteração
e manutenção (média)
 Simulações em alto nível
 Suporte à concorrência
 Alto poder de
documentação
 Portabilidade
 Alto grau de testabilidade
Maio/2003
SDL – Specification and Description Language
5
Componentes
Estrutura
Comportamento
Maio/2003
Comunicação
Dados
SDL – Specification and Description Language
6
Componentes
Ambiente
permitir inserção
de rotas de sinais
entre blocos e
outros níveis de
hierarquia
subrotina com a
descrição de
uma função a
ser utilizada em
um processo
Maio/2003
inserir especificação
do circuito através dos
blocos e da comunicação
com o meio ambiente
onde são descritos a
recepção e envio de
sinais e a relação e
operações entre estes
sinais
SDL – Specification and Description Language
7
Notação
Direção do fluxo
de dados
Maio/2003
SDL – Specification and Description Language
8
Ferramentas
 TAU SDL
 ObjectGeode
Maio/2003
SDL – Specification and Description Language
9
Estudo de Caso
Maio/2003
SDL – Specification and Description Language
10
Estudo de Caso
Estrutura do Sistema e Comunicação
Declaração dos sinais (em um objeto texto)
Interface com
o ambiente
Canal
Sinal
Bloco
Maio/2003
SDL – Specification and Description Language
11
Estudo de Caso
Estrutura do Bloco Elevador
Canal externo
Processo com 11 instâncias
Sinais recebidos
Sinais enviados
Maio/2003
SDL – Specification and Description Language
12
Estudo de Caso
Comportamento do Processo Motor
Início
Declaração variável interna
Estado
Estímulo
Estado
qualquer
Tarefa
Resposta
Retorna estado anterior
Maio/2003
SDL – Specification and Description Language
13
Estudo de Caso
Exemplos: outras notações
Decisão
Chamada Procedimento
Novo Tipo
de Dado
Comentário
Maio/2003
SDL – Specification and Description Language
14
Estudo de Caso
Exemplo: Procedure
Início
Parâmetros
Retorno
Maio/2003
SDL – Specification and Description Language
15
Cinderella: Verificação Sintaxe
Sinais não declarados
Erros
Maio/2003
SDL – Specification and Description Language
16
Cinderella: Correção
Não há mais erros
Maio/2003
SDL – Specification and Description Language
17
Cinderella: Simulação
Maio/2003
SDL – Specification and Description Language
18
Cinderella: Simulação - Sinal
Maio/2003
SDL – Specification and Description Language
19
Cinderella: Simulação – Estado Botão
Maio/2003
SDL – Specification and Description Language
20
Cinderella: Simulação –
Estado Sistema Central
Breakpoint
Maio/2003
SDL – Specification and Description Language
21
Cinderella: Simulação – Estado Motor
Maio/2003
SDL – Specification and Description Language
22
Conclusões
 Especificação de comunicação
assíncrona entre processos e de
Sistemas de Telecomunicações
Interativos
 Incompatibilidade entre seus
editores na representação
gráfica e na textual
 Diferentes formas de
representação com apoio de tools
 Baixo suporte à descrição
síncrona
 Verificação Dinâmica (Simulação
concorrente) e Validação
 Alteração e manutenção
 Público usuário ainda
pequeno
 Portabilidade
 Documentação
 Geração de código
Maio/2003
SDL – Specification and Description Language
23
Bibliografia
 Telelogic. SDL Training with ObjectGeode
 Tutorial WebProForum:
 http://www.iec.org/online/tutorials/sdl/index.html
 Ferramenta Jade:
 http://www.dcc.ufmg.br/~coelho/jade.html
 SDL Forum
 http://www.sdl-forum.org/SDL/index.htm
 Tutorial Telelogic
 http://www.telelogic.com/products/tau/languages/sdl.cfm
 RIES, L. H. SDL – Uma Linguagem de Especificação de Sistemas
 www.inf.pucrs.br/~gaph/tutorials/sdl.ppt
 FISCHER, J; HOLZ, E. SDL 2000 Tutorial
 http://www.informatik.hu-berlin.de/~holz/SDLTutorial/
SAMTutorialFinal.html
Maio/2003
SDL – Specification and Description Language
24