Informtica de Gesto

Anlise Estruturada
O que a Anlise?
A Anlise o estudo de um problema, antes da tomada de qualquer aco. No domnio especfico do desenvolvimento de sistemas de computadores, corresponde ao estudo de determinada rea de negcio ou aplicao, usualmente levando especificao de um novo sistema. A Aco que ser tomada posteriormente ser a implementao do novo sistema.

O trmino com sucesso da fase de Anlise envolve:

Seleco do objectivo ptimo;

Elaborao de documentao detalhada de como atingir o objectivo de modo a permitir avaliar a subsequente implementao; Elaborao de previses fiveis dos mais importantes parmetros associados com o objectivo; Receber feed- back de todos os intervenientes dos itens acima.
1 Joo Bastos

Informtica de Gesto

Anlise Estruturada
Especificao
O analista o intermedirio entre o utilizador, que decide o que deve ser feito, e a equipe de desenvolvimento que faz o trabalho. Ele serve de interlocutor e utiliza o documento final de especificao como ponte entre o utilizador e a equipe de desenvolvimento. O sucesso da fase de especificao depende do produto, que neste caso o documento final de especificao, o qual deve ser capaz de servir de modelo para o novo sistema. Documento final de especificao dever ajudar visualizao do novo sistema, dai que o documento final de especificao o modelo do novo sistema.

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Problemas da Anlise
A principal preocupao da Anlise: no atingir o sucesso, mas sim evitar o fracasso A Anlise essencialmente uma tcnica de negocio defensiva. O facto da maioria dos projectos consumirem elevados recursos na manuteno uma indicao que as equipes de desenvolvimento esto falhando na sua tarefa. Problemas de comunicao uma natural dificuldade em descrever procedimentos; A natureza evolutiva dos requisitos os alvos atingir tendem a se alterar com o passar do tempo. A falta de metodologias apropriadas para ajudar na especificao dos sistemas. Problemas de manuteno do Documento de Especificao grandes projectos, envolvem enormes processos de especificao.
3 Joo Bastos

Informtica de Gesto

Anlise Estruturada
O que a Anlise Estruturada? Novos objectivos:
Os produtos da Anlise tm de ser de fcil manuteno, especialmente o Documento de Especificao. Os problemas de tamanho devem ser lidados com uma metodologia efectiva de particionamento. Tem que existir uma separao entre consideraes lgicas e fsicas, dividindo a responsabilidade da especificao entre o utilizador o analista. necessrio construir o modelo do sistema lgica de tal modo que o utilizador pode ganhar familiaridade com as caractersticas do sistema antes da sua implementao.

Joo Bastos

Informtica de Gesto

Anlise Estruturada
O que a Anlise Estruturada? Que ferramentas?
Para ajudar a particionar os requisitos Diagrama de fluxos de Dados Rede de processos interrelacionados. Para lidar com a enorme quantidade de detalhes Dicionrio de Dados Novas ferramentas para descrever procedimento e lgica superiores ao texto narrativo Portugus estruturado Tabelas de Deciso rvores de Deciso

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Fase de Anlise Clssica
Requisitos do Utilizador Oramento e Plano Survey Documento de Executabilidade Anlise

Requisitos Fsicos

Requisitos do Utilizador

Especificao Funcional Configurao e Necessidades de Performance

Estudo do Hardware

Design Preliminar

Configurao Final

Especificao do Sistema

Design Detalhado

Especificao do Programa

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Fase de Anlise em Anlise Estruturada - 1
Requisitos do Utilizador 1 Survey Documento de Executabilidade 2 Anlise Oramento e Plano Requisitos Fisicos

Requisitos do Utilizador

Especificao Funcional Dados de Configurao

4 Estudo do Hardware

3 Design Estruturado

Design da Pacckage

Plano de Teste

5 Implementap Descendente

Sistema

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Fase de Anlise em Anlise Estruturada - 2
3.2 Derivar Grfico da Estrutura Diagrama de Fluxo de Dados Especificao Funcional 3.1 Codificao da Especificao Funcional Diagrama de Fluxo de Dados Grfico de Estrutura Transforma Descrio

Grfico de Estrutura

Dicionrio de Dados

3.3 Design dos Mdulos Plano de Teste 3.4 Design da Package Design da Package

Diagramas de Estrutura de Dados

Descrio do Mdulo

Dados de Configurao

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Exerccio 1
Definir o Diagrama de Fluxo de Dados para um sistema de controlo de uma mquina de bebidas com pagamento em moedas.
1. Sem a opo de troco 2. Com a opo de troco em moedas

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Caractersticas da Especificao Estruturada
Resultado Final consiste de: Diagramas de Fluxos de Dados mostrando a decomposio das principais funes e todas as interfaces dos vrios mdulos. Dicionrio de Dados documentando cada um dos fluxos de interface e depsitos de dados em qualquer DFD. Descrio de Transformaes, descrio documentada de cada um dos processos dos DFDs num modo rigoroso (Portugus Estruturado, Tabelas de Deciso ou rvores de Deciso)
10 Joo Bastos

Informtica de Gesto

Anlise Estruturada
A Especificao Estruturada dever ter as seguintes qualidades:
Ter uma representao grfica conceptualmente fcil de entender Ser particionada particionada de cima para baixo com progresso suave do mais abstracto para o mais detalhado. Rigorosa um rigorosa especificao do processo. De fcil manuteno a redundncia minimizada e o processo de alterao controlado. Iterativa interaco permanente com o utilizador. Lgica e no fsica no dependente de hardware ou de plataforma de desenvolvimento.

11

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Exemplo de DFD
Transao 1. Edita e encaminha Inscrio 2. Inscrio Ficheiro de Pagamentos Ficheiro de Pessoas Ficheiro de Seminrios

Pagamento

Cancelamento

Consulta

3. Registo de pagamento

I-Data

6. Emisso de Factura

Factura Dados do pagamento Dados do cancelamento 5. Cancelamento 4. Consulta 8. Produz Resposta 7. Emisso de confirmao Confirmao

Dados da Consulta

Resposta consulta Cliente

Ficheiro de Pessoas

Ficheiro de Seminrios

Ficheiro de Pagamentos

12

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Exemplo de Dicionrio de Dados Dados_do_Pagamento = Nome_Cliente + Endereo_cliente + Nmero_factura + Total_pagamento Nmero_factura = Nmero_conta_cliente + ID_vendedor + Contagem_factura_sequencial

13

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Exemplo de Portugus Estruturado
Poltica de Processamento das Facturas Se montante da factura excede 5000$00 Se conta_cliente tem factura com mais de 60 dias em pagamento, suspende confirmao at pagamento de factura. Seno (conta ok) emite confirmao e factura. Seno (factura menor ou igual a 5000$00) Se conta_cliente tem factura com mais de 60 dias em pagamento, emite confirmao, factura e escreve mensagem para cobrana. Seno (conta ok) emite confirmao e factura.

14

Joo Bastos

Informtica de Gesto

Anlise Estruturada
Tabela de Deciso
REGRAS

CONDIES 1. Factura > 5000$00 2. Conta for a prazo +60dias

1 S S

2 N S

3 S N

4 N N

ACES
N S Y Y

1.Emite Confirmao
N S Y Y

2.Emite Factura
N S N N

3.Mensagem para Cobrana

15

Joo Bastos

Informtica de Gesto

Anlise Estruturada
rvore de deciso
Facturas c/ + 60dias Factura > 5000$ Poltica Vendas Factura <= 5000$ Suspende emisso factura e confirmao

Facturas ok Facturas c/ + 60dias

Emite factura e confirmao Emite factura, confirmao e mensagem

Facturas ok

Emite factura e confirmao

16

Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

Elementos dos Diagramas de Fluxos de Dados
1. 2. 3. 4. Fluxos de Dados representado por vectores nomeados Processos representados por crculos Depsitos de Dados (ficheiros ou BDs) representados por duas rectas paralelas Fontes ou receptculos de dados representados por caixas quadradas

Exemplo

P1

P1

17

Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

1. Fluxo de Dados
Definio Um fluxo de dados uma ligao pela qual pacotes de informao conhecida fluem.
cpia_da_factura_ creditada pagamento

Cliente

Creditar facturas
cheque

Ordem_encomenda_ urgente

Controlo Stocks

relatrio_stocks
18

Aquisio
Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

1. Fluxo de Dados convenes
Fluxos de dados so hifenizados Os nomes so escolhidos no s para representar os dados que se movem atravs do fluxo bem como o que sabe desses dados. Os fluxos de dados podem convergir e divergir Os fluxo de dados que entram e saem de depsitos de dados no necessitam de nomes.
Ficheiro contas nmero_conta_ vlido relatrio_ reaco

A B
Joo Bastos

nmero_conta

Verificar conta

rejeio
19

relatrio_ problemas

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

1. Fluxo de Dados incorreces
Um fluxo de dados no uma representao de um fluxo de controlo.
Departamento Contabilidade

recolhe_ prximo_ carto Carto_ aceite

carto

Editar carto
Um fluxo de dados no um activador de um processo.
registo empregados pagamento rejeitados

folha_tempos dia_semana
20

Verificar conta

Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

2. Os Processos
Os processos sempre representam o trabalho realizado sobre os dados. Nome do processo tem que dar uma ideia geral do que se passa.

Exemplo Lista palavras

palavras

correco gramatical

palavras_correctas

palavras_ incorrectas
21 Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

3. Destinos de Dados
Trata-se de depsitos temporrios de dados tais como ficheiros ou bases de dados. A direco da seta importante. Se no existir qualquer escrita no depsito de dados a seta unidirecional. Exemplo:

registo_novo_item

actualiza registo itens

relatrio_chegadas

Registo Itens
22 Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

4. Fontes ou Destinos de Dados
A fonte ou receptculo de dados uma pessoa ou organizao, fora do contexto do sistema que envia ou recebe dados para a rede do sistema. Exemplo:

Banco Central Cliente Filial Bancria Banco Diagrama de Contexto

23 Joo Bastos

Informtica de Gesto

Anlise Estruturada Diagrama de Fluxos de Dados

Exerccios 1. Preparar um diagrama de fluxo de dados para calcular o volume e a rea da superfcie de um cilindro. As entradas so a altura e o raio do cilindro. As sadas so o volume e a rea de superfcie do cilindro. Discutir os vrios mtodos de implementar o diagrama de fluxo de dados. 2. Usando a formula quadrtica como ponto de partida, preparar um diagrama de fluxo de dados para calcular as razes da equao quadrtica ax2+bx+c=0. Nmeros reais, a, b e c so as entradas. A sada so os valores de x=R1, e x=R2, que satisfazem a equao. Lembrar que R1 e R2 podem ser reais ou complexos, dependendo dos valores de a, b e c. A frmula quadrtica de R1 e R2 :

(b

4ac 2a

24

Joo Bastos

Informtica de Gesto

Anlise Estruturada - Nveis de Decomposio nos DFDs

Regras Gerais de ajuda ao desenho de DFDs
Identificar todos os fluxos de dados que so input e output do sistema. Definir o Diagrama de Contexto. Criar os processos essenciais para transformar os inputs em outputs. Essencial representar o que observamos no sistema, processos, ficheiros e fluxos de dados. Dar nomes expressivos aos fluxos e aos processos criados. Ignorar inicializaes e condies de trmino, so questes a contemplar na definio dos processos. Omitir nesta fase detalhes relativos a erros triviais nos fluxos. Marca-se como rejeitado. No representar fluxos de controlo ou informao de controlo. Recomear de novo...

25

Joo Bastos

Informtica de Gesto

Anlise Estruturada - Nveis de Decomposio nos DFDs

Anlise de Cima para Baixo (Top-Down)
O objectivo da representao dos sistemas em Anlise Estruturada retrat-lo numa nica pgina. Quando isso no possvel necessrio proceder-se ao respectivo particionamento em subsistemas at que os elementos dos diagramas de mais baixo nvel, possam ser representados por primitivas de compreenso fcil. Esta forma de anlise implica vrios nveis de representao, desde o Diagrama de Contexto at os diagramas de mais baixo nvel em que os processos nos so mais decomponveis, chamados de Primitivas Funcionais. O Diagrama de Contexto serve o objectivo de definir o domnio do problema. O contexto expresso no s pelo nome dado ao Diagrama de Contexto mas tambm pelos inputs e outputs que lhe esto ligados.

26

Joo Bastos

Informtica de Gesto

Anlise Estruturada - Nveis de Decomposio nos DFDs

Balanceamento. Convenes de Numerao
O diagrama de decomposio de um processo pai tem de ter os mesmos inputs e outputs do do pai. O processo pai igual ao conjunto de processos em que decomposto chama-se a isso balanceamento Pode tambm ocorrer uma decomposio de algum fluxo chamando-se a isso partio dum fluxo de dados nos seus componentes.
27 Joo Bastos

Informtica de Gesto

Anlise Estruturada - Nveis de Decomposio nos DFDs

Balanceamento. Convenes de Numerao

28

Joo Bastos

Informtica de Gesto

Anlise Estruturada Ficheiros ou BDs

Os ficheiros ou bases de dados obedecem regra: So representados no primeiro nvel em que so usados como interface entre processos. Em consequncia, no primeiro nvel em que um ficheiro figura, todas as referncias ao ficheiro so representadas. Exemplo:
Ficheiro ALFA interface logo no Diagrama 0 e portanto logo representado. Ficheiro GAMA s figura no segundo nvel de decomposio pois local ao Diagrama 3 e igualmente todas as referncias so representadas.
29 Joo Bastos

Informtica de Gesto

Anlise Estruturada Regras de Decomposio

Em resumo:
Para se conhecer o detalhe dum processo necessrio analisar o diagrama com o mesmo nmero do processo. Inputs e Outputs so balanceados entre pai e filhos os fluxos de dados que entram e saem do processo pai so iguais ou equivalentes aos fluxos que entram e saem do diagrama do processo filho. Num determinado nvel, s os ficheiros e fluxos de dados que so interfaces entre os processos so mostrados. Ficheiros e fluxos de dados que s so relevantes no interior de um dado processo esto escondidos. No primeiro nvel em que um ficheiro mostrado, todas as referncias ao ficheiro devem ser representadas.

Extenso da decomposio Qual limite razovel de processos a representar num diagrama? Normalmente so 7.
30 Joo Bastos

Informtica de Gesto

Anlise Estruturada
Exerccio
Pretende-se especificar um sistema de controlo de tempos em Anlise Estruturada. Neste sistema deve ser possvel introduzir:
operaes realizadas; paragens das mquinas; paragens dos operadores; desvios tempo operao; desvios data-fim

E obter indicadores relativos s operaes realizadas tais como:

e indicadores de performance e desvios de utilizao.

a) Represente o Diagrama de Fluxo de Dados do sistema. b) Apresente a entrada no Dicionrio de Dados do fluxo Operaes_Planeadas. c) Descreva textualmente em Portugus Estruturado o procedimento de determinao dos desvios das operaes em relao ao planeado.

31

Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Tcnicas utilizadas para detectar falhas nos DFDs
Testes de Correco avalia se as operaes descritas pelo utilizador foram bem compreendidas e foram traduzidas num formato estruturado. Este teste preocupa-se com a correcta aplicao das regras de representao de um DFD. Testes de Utilidade avalia a compreenso do diagrama. Neste teste o objectivo criticar o contedo do diagrama e a sua lgica interna. Aproximaes a comear de novo inicia-se uma nova iterao com uma verso nova e melhorada. Com a comparao entre verses do DFD possvel detectar lacunas ou elementos redundantes.

32

Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Testes de Correco razes para erros nos DFDs
Falta de fluxos de dados requeridos por um processo e que no so disponibilizados. Fluxos de dados perdidos no so utilizados em qualquer processo. Falta de processos para transformar determinados fluxos de dados. Decomposio de Processos incorrecta. Nomes de fluxos ou processos no expressivos. Existncia de fluxos de controlo ou representando informao de controlo. Concepo incorrecta o DFD supostamente funciona, consistente, mas no reflecte a realidade pretendida pelo utilizador.

33

Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Testes de Correco Compatibilidade dos DFDs
Erro mais comum a falta de atribuio de um nome para os fluxos de dados (falta de conhecimento da informao que o fluxo transporta.) A composio dos fluxos de dados tem de ser bem conhecida e correctamente expressa no Dicionrio de Dados. Introduo de pseudo-fluxos como fluxos de controlo que no possuem contedo. Falta de nomes apropriados e significativos para os fluxos e para os processos. Em resumo necessrio:
Assegurar que todos os fluxos de dados tm nome; Assegurar que sabemos definir todos os nomes usados; Eliminar fluxos de composio nula; Testar os nomes de processos quanto aos inputs e outputs; Testar nomes de processos quanto decomposio.
34 Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Testes de Correco Consistncia e conservao de dados
Uma falha corrente a inconsistncia relativamente aos fluxos de diferentes nveis com a adio ou subtraco de fluxos. Outro aspecto o princpio de conservao:
Um processo tem de ser capaz de produzir os seus outputs usando exclusivamente os fluxos de entrada representados.

Significa que, quando assim no acontece, falta uma interface, necessrio retroceder e corrigir o diagrama. Outro cenrio ocorre quando sucede o oposto. Fluxos que no tem utilidade dentro do processo, morrem dentre do mesmo. Neste caso necessrio analisar o fluxo e comprovar a sua inutilidade, eliminando-o posteriormente.

35

Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Testes de Correco Problemas de Ficheiros
A regra bsica da representao de ficheiros que no primeiro nvel em que um ficheiro declarado todas as referncias ao ficheiro devem ser representadas. Um ficheiro relativamente ao qual s so figurados fluxos de entrada configura uma situao de erro. Os dados entram, mas nunca mais saem. Necessrio verificar se existe uma sada omitida. Relativamente aos fluxos de sada de um ficheiro para um processo, o cenrio diferente. Isto porque somente os fluxos lquidos devem ser representados. A seta dupla de fluxo somente deve ser representada quando o processo alm de actualizar o ficheiro, tambm usa a respectiva informao do ficheiro para outro fim que no somente a leitura para actualizao.

36

Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Testes de Correco
A forma de detectar erros conceptuais envolve um trabalho ntimo com o utilizador com vista a testar o rigor com que os DFDs exprimem as operaes do sistema em estudo. O mtodo utilizado nesta deteco de erros o walktrough (passar atravs de) sobre os DFDs, seguindo as seguintes consideraes:
Os primeiros walktrough devem ser feitos no campo do utilizador. Os DFDs s devem ser disponibilizados aos utilizador quando estes estiverem familiarizados com os mtodos da Anlise Estruturada. Os walktrough devem ser complementados com informao adicional de caracter fsico. Quando feita uma anlise de um DFD deve ser disponibilizado o diagrama do nvel superior para manter a mente no contexto da discusso. Utilizar termos conhecidos ao utilizador.

37

Joo Bastos

Informtica de Gesto

Anlise Estruturada Avaliao e Refinamento dos DFDs

Testes de Correco Testes de Utilidade
O DFD pode estar tecnicamente correcto mas revelar-se de baixa utilidade com difcil leitura e compreenso. Deve ser legvel. Trs aspectos que ajudam a este teste:
Complexidade das interfaces: o nmero e a clareza dos fluxos que entram e saem dum processo importante para a sua compreenso (analisar se possvel subdividir ou transferir para outro processo). Nomes dos processos: os nomes dos processos devem ser um verbo de aco forte ligado ao objecto da aco. Equilbrio de Decomposio: cada nvel deve ser o mais possvel uniforme relativamente ao grau de decomposio dos processos a que respeita. Num dado nvel no se devem representar processos primitivos em simultneo com processos que explodem ainda mais trs ou quatro nveis.

38

Joo Bastos

Informtica de Gesto

Dicionrio de Dados
O Dicionrio de Dados (DD) um repositrio de dados sobre dados, contm as definies rigorosas de todos os elementos que compem o DFD. o conjunto do DFD com o DD que compe a especificao do sistema em estudo. O DD contm as definies dos:
Fluxos de dados; Componentes de fluxos de dados; Ficheiros; Processos.

Qualquer que seja o mtodo utilizado na sua implementao, o DD deve satisfazer os seguintes requisitos:
As definies devem ser de acesso imediato pelo nome; No deve ocorrer qualquer tipo de redundncia; Deve ser de actualizao simples; Deve existir uma e uma s maneira de definir cada termo.
39 Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Caractersticas de uma Definio
Uma definio uma descrio que estabelece uma classe que contm o termo a definir e o conjunto de diferenas que o distingue de todos os outros membros da classe . Para alm das classes consideradas, Fluxos de Dados, Ficheiros e Processos existe uma quarta classe a considerar no DD, que so os Elementos de Dados. O Elemento de Dado um caso particular de um fluxo de dado, que no decomponvel. Isto so dados primitivos que no necessitam que qualquer decomposio suplementar. Exemplos de Elementos de dados so os caracteres e os dgitos

40

Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Decomposio Top-Down dos Dados
Na representao dos dados tambm se segue o princpio da agregao e detalhe. Isto significa que os fluxos de dados complexos so compostos de subcomponentes, os quais tambm podem ser decomponveis at se atingir o Elemento de Dado. No que diz respeito aos ficheiros, a situao a mesma. Podemos partir de uma base de dados composta de vrias tabelas, e cada uma delas composta por vrios campos (dados) e estes por elementos de dados. Um processo pode igualmente ser decomponvel em vrios subprocessos. Por exemplo: A=B+C; B=B1+B2+B3; C=C1+C2; donde A=B1+B2+B3+C1+C2

41

Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Operadores Relacionais
Resulta pois que as definies dos elementos do DD so representveis por formulas que declaram o objecto a definir, sendo este constitudo por conjuntos de componentes relacionados. As relaes entre os componentes so expressas pelos seguintes operadores:
OPERADOR Equivalente a E OU Iterao de Opcional Representao pela notao = + [ ] ou | {} ()

O operador iterao as vezes anotado com os limites inferior e superior 2{X}5

42 Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Outras Regras
No podem existir especificaes redundantes. Para se evitar redundncias obrigatrio tornar clara a que parte da especificao pertence cada elemento a definir. Ou seja: A informao relativa composio de dados seus componentes e como esto relacionados descrita no DD. A informao relativa ao contedo e processamento dos dados descrita na Descrio dos Processos. A informao relativa circulao dos dados descrita nos DFDs.

A observao cuidadosa desta regra evita a redundncia.

43

Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Terminologia
Termos Auto-definveis Muitas vezes os termos tm significado inteiramente compreensvel, sem qualquer ambiguidade. Exemplo: DESCRIO_OPERRIO = LTIMO_NOME_OPERRIO + NMERO_OPERRIO + IDADE A idade talvez pudesse ser representada por uma iterao de dois dgitos: IDADE = 2{DGITO}2. Este seria um procedimento excessivo que no acrescentava valor, pois todos sabem o que a idade. Este tipo de classes de Auto-Definio aceite no DD, mas o nico tipo de Auto-Definio consentida, ou seja para termos cuja compreenso universal. Existem no entanto dois tipos de termos de Auto-Definio que so incorrectos: Definio circular: a definio inclu o termo a definir. Definio circular indirecta: para A encontramos A=B e para B, encontramos B=A.
44 Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Exemplos de Entradas para Definies por Classes
FLUXO DE DADOS: SINNIMOS: COMPOSIO: OBSERVAES: MATERIAL_ATENDIDO COD_MATERIAL + QUANT + OF_DESTINO + DATA REGISTO PELO FIEL DE ARMAZM NO ATENDIMENTO ESTADO_OF PROGRESSO_OF 0 : PLANEADA 1 : FIRME 2 : EM CURSO 3 : TERMINADA

ELEMENTO DE DADO: SINNIMOS: VALORES:

OBSERVAES
45 Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Exemplos de Entradas para Definies por Classes
ORDENS_FABRICO {NUM_OF + DESCRIO + PRAZO + DATA_CRIAO + COD_ARTIGO + QUANTIDADE_PLANEADA + QUANTIDADE_ENTREGUE + ESTADO_OF} ORGANIZAO: INDEXADO POR NUM_OF *chave 1* INDEXADO POR COD_ARTIGO *chave 2* OBSERVAES: FICHEIRO: SINNIMOS: COMPOSIO:

46

Joo Bastos

Informtica de Gesto

Dicionrio de Dados
Exemplos de Entradas para Definies por Classes
PROCESSO: NMERO: DESCRIO: OBTER_SUGESTES_COMPRA 7.3.2.
OBTER_ARTIGO(ARTIGOS) ENQUANTO (NO FIM) (ARTIGOS) FAZER SE (ARTIGO = ARTIGO_COMPRA) ENTO CALCULAR DISPONVEL_TERICO; SE DISPONVEL_TERICO < PONTO_ENCOMENDA ENTO OBTER FORNECEDOR_PRINCIPAL(FORNECEDORES); INSERIR ARTIGO(SUGESTO_COMPRAS) OBTER_ARTIGOS(ARTIGOS); LISTAR(SUGESTO_COMPRAS) POR FORNECEDOR + ARTIGO

OBSERVAES:

47

Joo Bastos

Informtica de Gesto

Especificao do Processo
Cada processo deve incorporar uma mini-especificao que satisfaa as seguintes regras:
Deve existir uma mini-especificao por cada processo primitivo que figure nos conjuntos de DFDs produzidos; Cada mini-especificao deve descrever as regras que governam a transformao dos fluxos de dados no processo nos fluxos de sada; Cada mini-especificao deve descrever a poltica a usar no processo, mas no um mtodo para a sua implementao; As mini-especificaes devem estabelecer a poltica de transformao sem introduzir qualquer redundncia na especificao. Devem usar uma sintaxe clara e estruturada.

A sintaxe a usar no Portugus Estruturado deve limitar-se a:

Sequncias declarativas simples Estruturas de Deciso fechadas Estruturas Repetitivas fechadas
48 Joo Bastos

Informtica de Gesto

Especificao do Processo
Sintaxe de definio da mini-especificao
Uma sequncia de declaraes composta por uma ou mais sentenas imperativas. Uma sentena imperativa consiste num verbo transitivo simples em conjunto com os objectos directos e indirectos sobre que actua. Uma estrutura de deciso implementada pelo estabelecimento duma condio, seguida das aces correspondentes respectivamente verificao da condio e sua no verificao, podendo esta ser omitida se no tiver lugar aco correspondente. Se <condio> ento <aco> *correspondente verificao da condio* Seno <aco> *correspondente no verificao da condio*
49 Joo Bastos

Informtica de Gesto

Especificao do Processo
Sintaxe de definio da mini-especificao
A estrutura de deciso tambm pode ser implementada por regra de seleco quando vrias aces possveis dependem dos valores duma varivel de deciso. Caso <varivel> <valor 1> : <aco 1>; <valor 2> : <aco 2>; <valor n> : <aco n>. Uma estrutura repetitiva implementada pelo estabelecimento duma condio que controla a repetio duma aco. Enquanto <condio> fazer <aco> Ou Repetir <aco> At <condio>

50

Joo Bastos