Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I...
Transcript of Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I...
![Page 1: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/1.jpg)
Camila R. Rocha RA: 022247
Silvia C. M. Soares RA: 012895
Disciplina: Engenharia de Software IProfessora: Eliane Martins
SDLSpecification and Description Language
![Page 2: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/2.jpg)
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
![Page 3: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/3.jpg)
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:
![Page 4: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/4.jpg)
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.
![Page 5: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/5.jpg)
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
![Page 6: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/6.jpg)
Maio/2003 SDL – Specification and Description Language 6
Componentes
EstruturaComunicação
ComportamentoDados
![Page 7: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/7.jpg)
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
![Page 8: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/8.jpg)
Maio/2003 SDL – Specification and Description Language 8
Notação
Direção do fluxode dados
![Page 9: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/9.jpg)
Maio/2003 SDL – Specification and Description Language 9
Ferramentas
TAU SDL
ObjectGeode
![Page 10: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/10.jpg)
Maio/2003 SDL – Specification and Description Language 10
Estudo de Caso
![Page 11: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/11.jpg)
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
![Page 12: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/12.jpg)
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
![Page 13: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/13.jpg)
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
![Page 14: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/14.jpg)
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
![Page 15: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/15.jpg)
Maio/2003 SDL – Specification and Description Language 15
Estudo de Caso
Exemplo: Procedure
Retorno
Parâmetros
Início
![Page 16: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/16.jpg)
Maio/2003 SDL – Specification and Description Language 16
Cinderella: Verificação Sintaxe
Sinais não declarados
Erros
![Page 17: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/17.jpg)
Maio/2003 SDL – Specification and Description Language 17
Cinderella: Correção
Não há mais erros
![Page 18: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/18.jpg)
Maio/2003 SDL – Specification and Description Language 18
Cinderella: Simulação
![Page 19: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/19.jpg)
Maio/2003 SDL – Specification and Description Language 19
Cinderella: Simulação - Sinal
![Page 20: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/20.jpg)
Maio/2003 SDL – Specification and Description Language 20
Cinderella: Simulação – Estado Botão
![Page 21: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/21.jpg)
Maio/2003 SDL – Specification and Description Language 21
Breakpoint
Cinderella: Simulação – Estado Sistema Central
![Page 22: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/22.jpg)
Maio/2003 SDL – Specification and Description Language 22
Cinderella: Simulação – Estado Motor
![Page 23: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/23.jpg)
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
![Page 24: Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.](https://reader036.fdocuments.us/reader036/viewer/2022070311/552fc10b497959413d8c11a7/html5/thumbnails/24.jpg)
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