Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description.

Apresentação em tema: "Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description."— Transcrição da apresentação:

1 Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I Professora: Eliane Martins SDL Specification and Description Language

2 Maio/2003SDL – Specification and Description Language2 Agenda Introdução Objetivos Características e Aspectos Cobertos pelo Modelo Componentes Ferramentas Estudo de Caso Conclusões Bibliografia

3 Maio/2003SDL – Specification and Description Language3 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:

4 Maio/2003SDL – Specification and Description Language4 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 Maio/2003SDL – Specification and Description Language5 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 Maio/2003SDL – Specification and Description Language6 Componentes Estrutura Comunicação Comportamento Dados

7 Maio/2003SDL – Specification and Description Language7 Componentes Ambiente inserir especificação do circuito através dos blocos e da comunicação com o meio ambiente permitir inserção de rotas de sinais entre blocos e outros níveis de hierarquia onde são descritos a recepção e envio de sinais e a relação e operações entre estes sinais subrotina com a descrição de uma função a ser utilizada em um processo

8 Maio/2003SDL – Specification and Description Language8 Notação Direção do fluxo de dados

9 Maio/2003SDL – Specification and Description Language9 Ferramentas TAU SDL ObjectGeode

10 Maio/2003SDL – Specification and Description Language10 Estudo de Caso

11 Maio/2003SDL – Specification and Description Language11 Estudo de Caso Estrutura do Sistema e Comunicação Declaração dos sinais (em um objeto texto) Bloco Canal Sinal Interface com o ambiente

12 Maio/2003SDL – Specification and Description Language12 Estudo de Caso Estrutura do Bloco Elevador Canal externo Processo com 11 instâncias Sinais recebidos Sinais enviados

13 Maio/2003SDL – Specification and Description Language13 Estudo de Caso Comportamento do Processo Motor Início Estado Declaração variável interna Estado qualquer Estímulo Tarefa Resposta Retorna estado anterior

14 Maio/2003SDL – Specification and Description Language14 Estudo de Caso Exemplos: outras notações Comentário Chamada Procedimento Decisão Novo Tipo de Dado

15 Maio/2003SDL – Specification and Description Language15 Estudo de Caso Exemplo: Procedure Retorno Parâmetros Início

16 Maio/2003SDL – Specification and Description Language16 Cinderella: Verificação Sintaxe Sinais não declarados Erros

17 Maio/2003SDL – Specification and Description Language17 Cinderella: Correção Não há mais erros

18 Maio/2003SDL – Specification and Description Language18 Cinderella: Simulação

19 Maio/2003SDL – Specification and Description Language19 Cinderella: Simulação - Sinal

20 Maio/2003SDL – Specification and Description Language20 Cinderella: Simulação – Estado Botão

21 Maio/2003SDL – Specification and Description Language21 Breakpoint Cinderella: Simulação – Estado Sistema Central

22 Maio/2003SDL – Specification and Description Language22 Cinderella: Simulação – Estado Motor

23 Maio/2003SDL – Specification and Description Language23 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

24 Maio/2003SDL – Specification and Description Language24 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