Camila R. Rocha RA: 022247

1
SDLSpecification and Description Language
Disciplina Engenharia de Software I Professora
Eliane Martins

• Camila R. Rocha RA 022247
• Silvia C. M. Soares RA 012895

2
Agenda

• Introdução
• Objetivos
• Características e Aspectos Cobertos pelo Modelo
• Componentes
• Ferramentas
• Estudo de Caso
• Conclusões
• Bibliografia

3
Introdução
FDT Formal Description Technique
TÉCNICA
Orientada a Objetos
LINGUAGEM
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)
ORIGEM
4
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.

5
Características e Aspectos Cobertos pelo Modelo

• Sintaxes gráfica (.GR) e textual (.PR)
• Definição de tipos de dados
• Reutilização do código
• Simulações em alto nível
• Suporte à concorrência
• Portabilidade

• Fácil especificação da comunicação de processos
• Descrição hierárquica
• Facilidade para alteração e manutenção (média)
• Alto poder de documentação
• Alto grau de testabilidade

6
Componentes
Estrutura
Comunicação
Comportamento
Dados
7
Componentes
8
Notação
Direção do fluxo de dados
9
Ferramentas

• TAU SDL
• ObjectGeode

10
Estudo de Caso
11
Estudo de Caso Estrutura do Sistema e Comunicação
Declaração dos sinais (em um objeto texto)
Interface com o ambiente
Canal
Sinal
Bloco
12
Estudo de Caso Estrutura do Bloco Elevador
Canal externo
Processo com 11 instâncias
Sinais recebidos
Sinais enviados
13
Estudo de Caso Comportamento do Processo Motor
Início
Estado qualquer
Declaração variável interna
Estado
Estímulo
Tarefa
Resposta
Retorna estado anterior
14
Estudo de Caso Exemplos outras notações
Decisão
Novo Tipo de Dado
Chamada Procedimento
Comentário
15
Estudo de Caso Exemplo Procedure
Início
Parâmetros
Retorno
16
Cinderella Verificação Sintaxe
Sinais não declarados
Erros
17
Cinderella Correção
Não há mais erros
18
Cinderella Simulação
19
Cinderella Simulação - Sinal
20
Cinderella Simulação Estado Botão
21
Cinderella Simulação Estado Sistema Central
Breakpoint
22
Cinderella Simulação Estado Motor
23
Conclusões

• Incompatibilidade entre seus editores na
  representação gráfica e na textual
• Baixo suporte à descrição síncrona
• Alteração e manutenção
• Público usuário ainda pequeno

• Especificação de comunicação assíncrona entre
  processos e de Sistemas de Telecomunicações
  Interativos
• Diferentes formas de representação com apoio de
  tools
• Verificação Dinâmica (Simulação concorrente) e
  Validação
• Portabilidade
• Documentação
• Geração de código

24
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/sd
  l.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/SDLTutori
  al/ SAMTutorialFinal.html