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

Slides:



Advertisements
Apresentações semelhantes
Orientação a objetos identidade abstração classificação encapsulamento
Advertisements

Fernando Augusto Silva Marins
Engenharia de Software
UML Modelando um sistema.
15/1/2014 Professor Leomir J. Borba- – 1 Tec. Em Analise e desenvolv. De Sistemas analise.
Teste de Software.
Identificando requisitos
Diagrama de Classes.
12 de Dezembro de 2002 Mestrado em Engenharia Electrotécnica e de Computadores Mestrando: Rogério Dias Paulo Orientador: Professor Doutor Adriano Carvalho.
Ney Laert Vilar Calazans
Fernando Moraes e Ney Laert Vilar Calazans
Ney Laert Vilar Calazans
VHDL Linguagem de Descrição e Síntese de Circuitos Digitais
Valéria Maria Lauande Março/2010
MetaMoS Metodologia para construção de Base de Conhecimento em modelagem e simulação dinâmica unidimensional.
Projeto de Sistemas de Software
Programação Orientada a Objetos*
Arquitetura em Camadas
Arquitetura de Aplicações Web
Amanda Meincke Melo RA:
Técnicas de Apoio ao Processo de Engenharia de Requisitos
Alexandre Parra Site: Linguagem Java Alexandre Parra Site:
Reutilização de Software
ANÁLISE E PROJETO ORIENTADA A OBJETOS UFRJ/IM/DCC Lab PSI mai/1999.
Paulo J. Azevedo Departamento de Informática Universidade do Minho
Gerencia de Projeto OO Aspectos Avançados em Engenharia de Software Aula 5 Fernanda Campos DCC/UFJF.
Engenharia de Software
Classes e objetos Modelagem
Uma visão geral Grupo: Alexandre Henrique Vieira Soares
CONCEITOS Modelo de Dados
Análise e Desenvolvimento de Sistemas
Paradigmas de programação
Introdução aos conceitos de Teste de Software
Aula 1 Minicurso: Astah Ministrantes: André Martins; Camila Brondani;
Porto Alegre, 29 de Junho de 2007 Porto Alegre, 29 de Junho de 2006 PROJETO DE INTERFACE PARA UM SISTEMA DE PROGRAMAÇÃO DE ROTAS DE CAMINHÕES DE UMA DISTRIBUIDORA.
Cap 2 – Processo de Software
Supporting Use Case Based Requirements Engineering David Marques Filipe Garcês Ricardo Cruz.
Projeto de Sistemas de Software
Arquiteturas de Referência
Uma Linguagem de Especificação de Sistemas
Qualidade de Produto de Software
Análise e Projeto de Sistemas UNIVERSIDADE DE CRUZ ALTA Ciência da Computação 2010/1.
A autoria - II.
BRAZIL IP The BrazilIP Network Verilog Curso do Brazil-IP Elmar Melcher UFCG
Detalhes sobre o curso
Engenharia de Software
MO801 - Tópicos em Arquitetura e Hardware Michele Tamberlini 05/2006
Modelos de Processo de Software
Casos de Uso no Engenharia de Software e Sistemas {abab, dtvp, jmmn, mscla, rmb2,
Professor: Márcio Amador
Aula 1 - Fundamentos Java SE Instituto Metodista Izabela Hendrix Curso de Tecnologia em Análise e Desenvolvimento de Sistemas Prof. Gilmar Medeiros – Agosto/2009.
Introdução a Teste de Software
OMNeT++.
METODOLOGIA, MÉTODOS E FERRAMENTAS
Qualidade no Desenvolvimento de Software Wolley W. Silva Baseado nas notas de aula dos professores Tatuo e Daisy.
Métodos Formais.
Ferramentas de Suporte a MDD: Um Quadro Comparativo
Desenvolvimento de Software Dirigido a Modelos
A Linguagem Formal de Especificação VDM-SL
O Sistema TeleMicro Marcelo Fantinato Tarcisio da Rocha Profa. Eliane Martins Maio de 2002 Instituto de Computação - Unicamp Especificação e Validação.
OMG SysML IST – 2006 M Nuno Rosa.
Análise e Projeto de Sistemas
André Drummond RA Danilo Benzatti RA
TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ANÁLISE E PROJETO DE SISTEMAS Aula /08/2012 Professor Leomir J. Borba-
Engenharia de Software
UML (Unified Modeling Language) Linguagem Unificada de Modelagem
UML (Unified Modeling Language) Linguagem Unificada de Modelagem
Fundamentos de Engenharia de SW Diagramas da UML Usados no Projeto de Software.
1 Especificação de Sistemas de Software e a UML. 2 Modelagem de sistema A modelagem de sistema auxilia o analista a entender a funcionalidade do sistema.
Análise e Conceção de Sistemas
Transcrição da apresentação:

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

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

Maio/2003SDL – Specification and Description Language3 Introdução Início da criação da linguagem (CCITT Comité Consultatif International Telegraphique e Telephonique) Técnica de definição formal Conceitos de Orientação a Objetos Conceitos novos (como utilização de UML) ORIGEM: Orientada a Objetos LINGUAGEM: FDT – Formal Description Technique TÉCNICA:

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.

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

Maio/2003SDL – Specification and Description Language6 Componentes Estrutura Comunicação Comportamento Dados

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Maio/2003SDL – Specification and Description Language24 Bibliografia Telelogic. SDL Training with ObjectGeode Tutorial WebProForum: Ferramenta Jade: SDL Forum Tutorial Telelogic RIES, L. H. SDL – Uma Linguagem de Especificação de Sistemas FISCHER, J; HOLZ, E. SDL 2000 Tutorial SAMTutorialFinal.html