Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description Language
Camila R. Rocha RA: 022247
Silvia C. M. Soares RA: 012895
Disciplina: Engenharia de Software IProfessora: Eliane Martins
SDLSpecification and Description Language
Maio/2003 SDL – Specification and Description Language 2
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 3
Introdução
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:
Orientada a Objetos
LINGUAGEM:FDT – Formal Description Technique
TÉCNICA:
Maio/2003 SDL – Specification and Description Language 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.
Maio/2003 SDL – Specification and Description Language 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
Maio/2003 SDL – Specification and Description Language 6
Componentes
EstruturaComunicação
ComportamentoDados
Maio/2003 SDL – Specification and Description Language 7
Componentes
Ambienteinserir especificaçãodo circuito através dosblocos e da comunicaçãocom o meio ambiente permitir inserção
de rotas de sinais entre blocos e outros níveis dehierarquia
onde são descritos a recepção e envio de sinais e a relação e operações entre estes sinaissubrotina com a
descrição de uma função a ser utilizada em um processo
Maio/2003 SDL – Specification and Description Language 8
Notação
Direção do fluxode dados
Maio/2003 SDL – Specification and Description Language 9
Ferramentas
TAU SDL
ObjectGeode
Maio/2003 SDL – Specification and Description Language 10
Estudo de Caso
Maio/2003 SDL – Specification and Description Language 11
Estudo de Caso
Estrutura do Sistema e Comunicação
Declaração dos sinais (em um objeto texto)
Bloco
Canal
Sinal
Interface com o ambiente
Maio/2003 SDL – Specification and Description Language 12
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 13
Estudo de Caso
Comportamento do Processo Motor
Início
Estado
Declaração variável interna Estado qualquer
Estímulo
Tarefa
Resposta
Retorna estado anterior
Maio/2003 SDL – Specification and Description Language 14
Estudo de Caso
Exemplos: outras notações
Comentário
Chamada Procedimento
Decisão
Novo Tipo de Dado
Maio/2003 SDL – Specification and Description Language 15
Estudo de Caso
Exemplo: Procedure
Retorno
Parâmetros
Início
Maio/2003 SDL – Specification and Description Language 16
Cinderella: Verificação Sintaxe
Sinais não declarados
Erros
Maio/2003 SDL – Specification and Description Language 17
Cinderella: Correção
Não há mais erros
Maio/2003 SDL – Specification and Description Language 18
Cinderella: Simulação
Maio/2003 SDL – Specification and Description Language 19
Cinderella: Simulação - Sinal
Maio/2003 SDL – Specification and Description Language 20
Cinderella: Simulação – Estado Botão
Maio/2003 SDL – Specification and Description Language 21
Breakpoint
Cinderella: Simulação – Estado Sistema Central
Maio/2003 SDL – Specification and Description Language 22
Cinderella: Simulação – Estado Motor
Maio/2003 SDL – Specification and Description Language 23
Conclusões 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
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
Maio/2003 SDL – Specification and Description Language 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/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