Especificação de Processos

Apresentação em tema: "Especificação de Processos"— Transcrição da apresentação:

1 Especificação de Processos
Eveline Alonso Veloso PUC-Minas

2 Bibliografia YOURDON, Edward. Análise Estrutura Moderna. Tradução da 3ª edição americana, Rio de Janeiro: Campus, 1992, capítulo 11. PRESSMAN, Roger S. Engenharia de Software. 5ª edição, Rio de Janeiro: McGraw Hill, 2002, capítulo 12.

3 Especificação de Processos
Descrição do que ocorre dentro de cada bolha primitiva, do nível mais baixo de um DFD. A especificação de um processo é o DFD do nível imediatamente inferior.

4 Especificação de Processos
Objetivo: definir o que deve ser feito para transformar entradas em saídas; não como deve ser feito; não deve impor decisões arbitrárias de projeto ou de implementação. Requisitos: deve ser expressa de forma que possa ser efetivamente entendida por todos os envolvidos no projeto; usuários, analistas de sistemas, arquitetos de software, desenvolvedores, testadores, gerentes, etc; evitando a ambigüidade da linguagem natural.

5 Ferramentas para Especificação de Processos
É necessário conhecer uma combinação de ferramentas para especificação de processos; para que se possa selecionar a mais apropriada para cada situação. Ferramentas: Linguagem Estruturada Pre/Pós-condições Tabela de Decisão Árvore de Decisão

6 Linguagem Estruturada
Subconjunto do português com restrições: quanto aos tipos de sentenças que podem ser utilizadas; e à maneira como essas sentenças podem ser combinadas. Propósito: obter um razoável equilíbrio entre: a precisão de uma linguagem de programação; e a informalidade e legibilidade da língua que utilizamos normalmente.

7 Sentenças da Linguagem Estruturada
Equação algébrica: Exemplo: S = S0 + v0t + at2/2 Sentença imperativa: sentença composta por um verbo e um objeto. Verbos escolhidos a partir de um pequeno conjunto como leia, exiba, encontre, adicione, exclua, calcule, etc. Objetos devem ser compostos apenas por elementos de dados definidos: no dicionário de dados ou em termos locais. calcule saldo bancário Termos locais: são palavras explicitamente definidas na especificação de um processo individual.

8 Sentenças da Linguagem Estruturada
Seleção: utilizada para descrever sentenças alternativas; que devem ser executadas de acordo com o resultado de uma decisão binária. Estrutura: SE <condição> Sentença A SENÃO Sentença B FIM-SE Exemplo: SE idade-cliente < 18 categoria = 'Menor' SENÃO categoria = 'Maior' FIM-SE

9 Sentenças da Linguagem Estruturada
Repetição: usada para descrever uma sentença que deve ser executada repetidamente; até que uma determinada condição booleana seja verdadeira. Exemplo: total = 0 FAÇA-ENQUANTO há mais itens no pedido leia próximo item do pedido total = total + preço-unitário * quantidade-item FIM-ENQUANTO exiba total Estrutura: FAÇA-ENQUANTO <condição> Sentença A FIM-ENQUANTO

10 Linguagem Estruturada – Exemplo

11 Linguagem Estruturada – Exemplo – Processo 1
Linguagem Estruturada – Exemplo – Processo 1.2: Verificar estoque de livros há-estoque = verdadeiro FAÇA-ENQUANTO houver item de pedido em dados válidos de pedido e há-estoque encontre item de estoque em estoque onde código do livro = código do livro em dados válidos de pedido SE quantidade em estoque < quantidade solicitada resposta a pedido = ‘Não há livros suficientes para atender a seu pedido’ há-estoque = falso FIM-SE FIM-ENQUANTO SE há-estoque resposta a pedido = ‘Há livros suficientes em estoque’

12 Pre/Pós-condições Maneira de descrever a função que deve ser executada por um processo; sem indicar o procedimento que deve ser empregado. Precondições: descrevem o que deve ser verdadeiro; antes que o processo se inicie. Pós-condições: quando o processo terminar.

13 Pre/Pós-condições – Exemplo
Precondição: O cliente se apresenta com um número de conta coincidente com um número de conta em contas cujo status é ‘válido’. Pós-condição: A fatura é emitida contendo número de conta e valor da venda.