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