Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I...

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


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:


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.


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


Componentes

EstruturaComunicação

ComportamentoDados


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


Notação

Direção do fluxode dados


Ferramentas

TAU SDL

ObjectGeode


Estudo de Caso


Estudo de Caso

Estrutura do Sistema e Comunicação

Declaração dos sinais (em um objeto texto)

Bloco

Canal

Sinal

Interface com o ambiente


Estudo de Caso

Estrutura do Bloco Elevador

Canal externo Processo com 11 instâncias

Sinais recebidos

Sinais enviados


Estudo de Caso

Comportamento do Processo Motor

Início

Estado

Declaração variável interna Estado qualquer

Estímulo

Tarefa

Resposta

Retorna estado anterior


Estudo de Caso

Exemplos: outras notações

Comentário

Chamada Procedimento

Decisão

Novo Tipo de Dado


Estudo de Caso

Exemplo: Procedure

Retorno

Parâmetros

Início


Cinderella: Verificação Sintaxe

Sinais não declarados

Erros


Cinderella: Correção

Não há mais erros


Cinderella: Simulação


Cinderella: Simulação - Sinal


Cinderella: Simulação – Estado Botão


Breakpoint

Cinderella: Simulação – Estado Sistema Central


Cinderella: Simulação – Estado Motor


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


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

Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I...

Documents

Transcript of Camila R. Rocha RA: 022247 Silvia C. M. Soares RA: 012895 Disciplina: Engenharia de Software I...