Prof. Francisco Gerson A.

de Meneses

Engenharia de Software
Unidade IX Anlise Essencial Abordagem Bsica

Contedo Programtico
Introduo Comparao (Estruturada / Essencial) Fatores de uso Iniciando Arquitetura do modelo essencial Composio do modelo ambiental
Declarao dos objetivos do sistema Diagrama de contexto Lista de eventos

Prof. Francisco Gerson A. de Meneses

Composio do modelo comportamental

DFD Particionado por evento Diagrama entidade relacionamento Diagrama hierrquico de macro atividades

franciscogerson10@gmail.com

Dicionrio de dados Estudo de Caso - Sistema Hoteleiro

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Introduo
O mtodo da Anlise Essencial pode ser considerado um refinamento da Anlise Estruturada. tambm conhecido como Anlise Estruturada Moderna. Utiliza-se dos mesmos artefatos/ferramentas:

Comparao
MODELO ESTRUTURADO
Top-Down (Decomposio Funcional)

MODELO ESSENCIAL
(Lista de Eventos)

DFD 0 (escopo)

DFD 0 (escopo)

DFDs DER/DED Dicionrio de dados

A utilizao de uma Lista de Eventos, propicia um maior controle dos processos e dos dados, e altera a forma como esses artefatos/ferramentas so dispostos no modelo: DFD 1, e demais
Proc. 1 Proc. 2 Proc. 3 Proc. N Proc. 1 Proc. 2 Proc. 3 Proc. N

Lista de eventos

DFD Hierrquico
Proc. 1 Proc. 2

DER/DED DER/DED

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Fatores de uso
Pode-se sublinhar alguns fatores de seu uso: muito utilizado atualmente: sua maturidade facilita o uso dos recursos. Princpio da abstrao: parte dos eventos existentes em uma viso sinttica da realidade para se chegar aos dados ou informaes manipuladas. Principio da diviso: para resolver um problema, o mesmo dividido em um conjunto de problemas menores, que so mais fceis de serem compreendidos e resolvidos.

Fatores de uso
A premissa bsica descrever o sistema de maneira independente de restries tecnolgicas; assim, a resoluo mantm o foco apenas no problema do usurio. Isto implica dizer que devemos considerar na confeco do modelo essencial a existncia de uma tecnologia perfeita, assim, de uma forma abstrata teramos:

Os custos, consumo e desgaste dos equipamentos so zero A capacidade de armazenamento de dados do sistema infinita A velocidade dos processadores infinita O tempo de acesso a dados instantneo H Zero Erro (no ocorrem falhas)

PROBLEMA ??? Caso a se pensar...

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Iniciando
Antecedendo a aplicao do mtodo da anlise essencial faz-se um exame do domnio do problema (levantamento de requisitos). Busca-se funcionalidades e dados exigidos ao sistema que ser desenvolvido, inicialmente focando os aspectos mais essenciais pertinentes ao problema. Na anlise essencial um sistema de informao visto como um sistema de respostas planejadas. Os eventos no ambiente geram fluxos de dados (estmulos) para o sistema, os quais acionam aes (ativam processos que so alimentados pelos dados), que podem, por sua vez, gerar respostas internas (persistncia de dados) ou respostas que retornam ao ambiente (relatrios, emails, etc.). Tambm h a possibilidade de ocorrncia de eventos internos ao sistema, os quais geram fluxos temporais, que tambm acionam aes no sistema.

Iniciando
O problema (necessidade) existente estudado, porm no modelado (a princpio); Os esforos so concentrados na identificao das funcionalidades lgicas requeridas para o software que ser criado (Lista de Eventos). A partir de ento, cria-se um modelo essencial do software que ser desenvolvido. A anlise essencial constituda basicamente por duas fases ou modelos: Modelo Ambiental Modelo Comportamental Ambas podem ser observadas no seguinte organograma:

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Arquitetura do modelo essencial

Declarao dos Objetivos Diagrama de Contexto Lista de Eventos Anlise Essencial Modelo Ambiental

Composio do modelo ambiental

Tem-se a especificao macro do sistema que encontra-se inserido em um meio ambiente, buscando representar uma relao entre ambos. Eventos que ocorrem no meio ambiente so geradores de estmulos, os quais acionam procedimentos no sistema que, por sua vez, geram respostas. As respostas podero ser internas ao sistema ou ainda enviadas ao meio ambiente (respostas externas). Trs grandes atividades so elaboradas neste modelo:
A Declarao dos Objetivos do Sistema, A Elaborao do Diagrama de Contexto e a Especificao da Lista de Eventos.

DFD Particionado por Eventos Modelo Comportamental Diagr. Entidade Relacionamento

Modelo Essencial, adaptado de (Pompilho, 1995)

Normalizao

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Declarao dos objetivos do sistema

Deve-se fazer um minucioso levantamento de requisitos e conhecer profundamente o domnio do problema. Trata-se da especificao daquilo que o sistema dever fazer frente aos requisitos que foram identificados previamente. uma descrio textual, sem um formato estabelecido pelo mtodo. Deve tambm, quanto possvel refletir os desejos do usurio sobre alternativas de soluo dos problemas.

Diagrama de contexto
Semelhante Anlise Estrutura tradicional. Elaborado aps a especificao formal dos objetivos do sistema. Reflete graficamente a relao do sistema com o meio ambiente onde est inserido. Esta relao d-se atravs do recebimento de estmulos do meio ambiente, que ativam processos que por sua vez geram respostas (internas ou externas).

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Lista de eventos
Trata-se da especificao dos (processos) essenciais que o sistema ter. Tais atividades (no sistema) so ativadas por estmulos (fluxo de dados, temporal ou de controle), executam processamento e geram respostas. No h uma precedncia estabelecida para a elaborao da lista de eventos e o diagrama de contexto; so atividades que podem estar acontecendo paralelamente mas que devem estar consistentes.

Composio do modelo comportamental

a fase em que o analista passa a olhar para dentro do sistema. Ir detalhar, atravs do DFD particionado por eventos, como cada atividade existente na lista de eventos se comportar (como ela deve funcionar). Tambm far um modelo de dados (DER) sobre o qual o sistema atuar, observando critrios para conseguir bom desempenho da sua utilizao (por meio da normalizao dos dados). Acompanhando mais efetivamente este modelo cria-se o dicionrio de dados (muito embora ele j possa existir). Finalmente, pode-se criar o DFD Hierrquico do sistema, que representa o agrupamento de atividades essenciais afins, que enfocam determinado aspecto do sistema.

Vejamos cada uma dessas atividades:

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

DFD Particionado por evento

Para cada item da lista de eventos o Analista de Sistemas far um DFD, representando de forma grfica, individualmente, cada evento existente no sistema. Desta forma, haver tantos DFDs particionados por eventos quantos forem os itens existentes na lista de eventos.

Diagrama entidade relacionamento

Para a modelagem de dados, o Analista de Sistemas far inicialmente o DER. Poderoso instrumento para mapear como os dados esto organizados e como eles se relacionam. A representao inicial do modelo de armazenamento independe dos dispositivos onde os dados ficaro armazenados. Quando o DER estiver concludo, deve-se criar a modelagem fsica dos dados, gerando o Diagrama de Estrutura de Dados.

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Diagrama hierrquico de macro atividades

Trata-se de um DFD que propicia uma viso sinttica nica do sistema. Neste DFD sero aglutinadas as funcionalidades existentes na lista de eventos de acordo com os assuntos de que tratam. Pegam-se os DFDs particionados por eventos e verificam-se quais so aquelas atividades afins (que tratam de determinado assunto). Estes processos so aglutinados em somente um nico DFD, tendo uma viso sinttica, cuja finalidade, alm da documentao, a possibilidade de examinar-se e definir interfaces e locais de processamento. Pode-se gerar tambm o Diagrama Preliminar com uma viso geral de todos os processos do sistema.

Dicionrio de dados
Todos os dados referenciados na construo do sistema devem ter sua definio no dicionrio de dados. Para a construo do dicionrio existem alguns padres, nos quais comum encontrar-se a conveno simblica, conforme a seguir:

SMBOLO

SIGNIFICADO composto de E Opcional Iterao (repetio)

SMBOLO

SIGNIFICADO Escolha uma das opes Comentrio Atributo-chave Separa alternativas na construo []

= + () {}

[] ** @ / ou |

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

Na fase de exame do domnio do problema, estabeleceu-se que o objetivo apenas o controle da disponibilidade de quartos do hotel, portanto, no envolve qualquer outro aspecto, como controle financeiro, contbil, etc. Requisitos: Quando o cliente telefonar ou comparecer no hotel pedindo para reservar um quarto, o funcionrio verificar se existe a reserva do quarto, em caso negativo ser informada ao cliente a no-disponibilidade do quarto. Quando o cliente no mais desejar o quarto reservado, o funcionrio providenciar o cancelamento da reserva, disponibilizando novamente o quarto para outras reservas.

Estudo de Caso - Sistema Hoteleiro

Requisitos - continuao: Quando o cliente no comparecer ao hotel para hospedar-se at s 12h do dia da reserva, sua reserva ser cancelada automaticamente. Quando o cliente ocupar um quarto, reservado previamente, o funcionrio far o registro da ocupao do quarto pelo cliente. Caso o quarto no esteja reservado previamente, mas esteja livre, a liberao de ocupao ser fornecida ao cliente.

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

Quando o cliente deixar o hotel, notificando sua sada, lhe ser apresentada a conta e o quarto ser disponibilizado para limpeza. O cliente poder pagar a conta vista ou a prazo, utilizando carto de crdito ou cheque. Quando o quarto estiver limpo, aps uma ocupao, o gerente ir tornlo disponvel para nova locao.

Estudo de Caso - Sistema Hoteleiro

De posse destas informaes provenientes do levantamento de requisitos, segue um descritivo da anlise do problema e as especificaes tcnicas da soluo escolhida pelo Analista de Sistemas, com aplicao do mtodo da Anlise Essencial: => Declarao do Objetivo do Sistema:

Controlar o servio de reservas, registros e cobranas de quartos em um hotel

A declarao do objetivo do sistema deve estar resumida a um pargrafo e ser global, especificando o principal propsito da criao do software.

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Diagrama de Contexto:

Estudo de Caso - Sistema Hoteleiro

=> Diagrama de Contexto: Mostra apenas os limites do sistema e sua relao com o mundo fora dele. As entidades externas devem ser aquelas que representam a origem ou o destino de alguma informao e no aquelas que fazem a transcrio destas informaes para o sistema, via entrada de dados. No cabe no DFD de contexto a especificao do Depsito de Dados (est dentro da bolha). Os fluxos de dados que partem das entidades externas com destino bolha (processo) so chamados de estmulos (acionam aes) e alimentam o sistema.

Diagrama modelado no CASE Studio 2.25

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Diagrama de Contexto: No exemplo, a partir da entidade externa Cliente gerado um estmulo chamado Cli_Reserva. O nome do estmulo uma representao para o conjunto de dados necessrios a uma reserva (rg, nome, quarto, perodo, etc). Quando Cli_Reserva chega ao sistema, um processo acionado (Efetuar Reserva), atravs do qual algum alimenta os dados no sistema. O DFD de contexto uma sntese dos requisitos documentados anteriormente e que, na seqncia, atravs da lista de eventos, sofrero um detalhamento.

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos:
N Nome do Evento
Cliente reserva quarto

Descrio do Evento

Estmulo

Tipo Estmulo
F

Ao ou Processo
Efetuar reserva

Resposta

01

Quando o cliente telefona ou vem at o hotel e pede para reservar um quarto, um funcionrio executa um procedimento padro

Cli_ Reserva

Cli_ Reservado

02

Cliente cancela reserva

Quando o cliente no mais desejar o quarto reservado e comunicar o fato, a reserva ser cancelada, disponibilizando o quarto novamente

Cli_ Cancel

Cancelar reserva por solicitao

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos:
N Nome do Evento
hora de cancelar reserva

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos:
N Nome do Evento
Cliente paga a conta,

Descrio do Evento

Estmulo

Tipo Estmulo
T

Ao ou Processo
Cancelar reserva automaticamente Registrar cliente

Resposta

Descrio do Evento

Estmulo

Tipo Estmulo
F

Ao ou Processo
Registrar pagamento

Resposta

03

Quando o cliente no comparecer ao hotel para hospedar-se at as 12h do dia da reserva Cliente faz o registro para a ocupao do quarto, reservado previamente Quando o cliente deixar o hotel, este solicita que providencie o fechamento de sua conta, havendo a disponibilidade do quarto para limpeza

Ger_ Cancel

06

Cliente paga a quantia correspondente ao aluguel do quarto e as despesas efetuadas durante sua estada Quando o quarto estiver limpo, o gerente ir torn-lo disponvel Gerncia inclui, exclui ou modifica dados do quarto

Cli_Paga

Cli_Recibo

04

Cliente registra-se no hotel Cliente solicita sada do hotel

Cli_Ent

07

Gerncia disponibiliza quarto Gerncia cadastra quarto

Ger_Lib

Liberar quatro

05

Cli_Sai

Fechar locao

Cli_Conta

08

Ger_Cad

Manipular cadastro de quarto

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos: Relaciona todas as atividades essenciais (fundamentais) do sistema que se est modelado. construda aps, ou paralelamente, a construo do DFD de Contexto, a diretriz bsica que essas duas ferramentas devem apresentar dados coerentes entre si (estmulos e respostas). S haver resposta por parte de um sistema se houver um estmulo (interno ou externo) que acione a ao geradora da referida resposta. A lista de eventos dever ter, no mnimo, tantos eventos quantos forem os estmulos existentes no DFD de contexto; porm nem toda ao executada a partir de um estmulo ir gerar uma resposta externa ao sistema.

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos: O incio da construo da lista de eventos pode ser a partir da coluna estmulos, a seguir atribui-se um nome ao evento. O nome do evento a ser criado deve seguir a estrutura nome da entidade externa + verbo + complemento. A coluna descrio facultativa, ela detalha como o evento acontece, se for omitida da lista ela dever ser colocada no DFD Particionado por Eventos. O tipo do estmulo poder ser F (Fluxo) quando uma entidade externa envia dados ao sistema, poder ser T (Temporal), quando o estmulo for oriundo de aes do prprio sistema (interno), nesta situao um processo se autoexecuta ou acionado por outro processo.

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos: Nesse caso a coluna estmulo dever ficar em branco e a coluna nome do estmulo dever comear com os termos hora de... complementados com algo que indique o que o processo far. O terceiro e ltimo tipo de estmulo possvel refere-se ao chamado fluxo de controle, representado pela letra C. Trata-se de um fluxo de dados proveniente de uma entidade externa que represente uma mquina, a qual enviar diretamente para algum processo no sistema dados a respeito do seu estado. A coluna ao ou processo na lista de eventos deve apresentar a atividade que ser executada pelo sistema se o respectivo estmulo ocorrer (verbo no infinitivo).

Estudo de Caso - Sistema Hoteleiro

=> Lista de Eventos: A ltima coluna resposta representa as possveis sadas oriundas dos processos executados. Refere-se a respostas que so enviadas para fora do sistema para alguma entidade externa. Normalmente as repostas so relatrios, e-mails ou alguma outra forma de visualizao dos dados que so exteriorizados pelo sistema, essas repostas devem referir-se essncia do negcio, no apenas simplesmente a caractersticas operacionais de interface que sero tratadas posteriormente na fase de design (implementao).

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> DFD Particionado por Evento: Depois que a lista de ventos estiver concluda, desenvolve-se o DFD Particionado por Eventos, tambm conhecido como DFD das Atividades Essenciais. O aspecto principal desenhar um modelo de como as funcionalidades existentes no sistema devero ocorrer (Modelagem Funcional), tudo com base nas aes especificadas na lista de eventos. A partir deste ponto, a Anlise de Sistemas passa a incorporar os dados no projeto do sistema, documenta quais so os dados requeridos por determinada ao. Paralelamente pode estar sendo construdo o DER assim como o dicionrio de dados.

Estudo de Caso - Sistema Hoteleiro

=> DFD Particionado por Evento: Os dados sempre so caractersticas de algo ou de algum; este algo ou algum ser um depsito de dados que o processo utilizar. Cada depsito de dados no DFD dar origem a uma entidade na modelagem de dados (DER). Conforme a lista de eventos do estudo de caso do controle hoteleiro dever haver oito DFDs particionados por evento (um para cada item da lista). Uma miniespecificao do processo deve acompanhar o referido DFD, para a qual pode-se empregar um pseudocdigo. A miniespecificao detalha os aspectos necessrios para a atividade de implementao. Vejamos:

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> DFD Particionado por Evento: Evento 1 Cliente reserva quarto
Pseudocdigo: PEGAR Cli_Reserva LOCALIZAR Cliente SE Cliente existir ento FAA LER Cliente LOCALIZAR Quarto SE Quarto livre ento FAA LER Quarto GRAVAR Reserva (Sit_Res=1) CONFIRMAR Cli_Reservado SENO SELECIONAR outro Quarto FIMSE SENO CADASTRAR Cliente FIMSE

Estudo de Caso - Sistema Hoteleiro

=> DFD Particionado por Evento: Evento 1 Cliente reserva quarto Obs: O dicionrio de dados, paralelamente poder ser implementado, como exemplo, o atributo Sit_Res pode ser especificado assim:

Pseudocdigo: PEGAR Cli_Reserva LOCALIZAR Cliente SE Cliente existir ento FAA LER Cliente LOCALIZAR Quarto SE Quarto livre ento FAA LER Quarto GRAVAR Reserva (Sit_Res=1) CONFIRMAR Cli_Reservado SENO SELECIONAR outro Quarto FIMSE SENO CADASTRAR Cliente FIMSE

Nome Criado
Sit_Res =

Significado e Caractersticas
*Indicar a situao da reserva*: Tipo: Inteiro Tamanho: 01 Contedo: 0 *Quarto libertado* 1 *Quarto reservado* 2 *Reserva confirmada* 3 *Reserva cancelada pelo cliente* 4 *Reserva cancelada automaticamente* 5 *Locao concluda*

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> DFD Particionado por Evento: Evento 2 Cliente cancela a reserva

Estudo de Caso - Sistema Hoteleiro

=> DFD Particionado por Evento: Evento 3 hora de cancelar reserva

Pseudocdigo: PEGAR Cli_Cancel LOCALIZAR Reserva LER Reserva ATUALIZAR Reserva (Sit_Res=3)

Pseudocdigo: PARA cada reserva vencida FAA LER Reserva ATUALIZAR Reserva (Sit_Res=4) ESCREVER Ger_Cancel FIMPARA

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> DER/DED/Normalizao: Aps a atividade de construo do DFD Particinado por Evento ou em paralelo a ele, o Analista de Sistemas deve construir a modelagem de dados, empregando para tanto o DER/DED. Para isso necessrio um estudo para verificar os possveis atributos que surgiro a partir das particularidades observadas em cada depsito de dados. Lembrando que a existncia de um depsito oriunda da necessidade de um processo acessar dados, quer seja para seu armazenamento ou recuperao. Cada depsito de dados no DFD se transformar em uma Entidade no DER/DED e essas Entidades podem se relacionar. Vejamos:

Estudo de Caso - Sistema Hoteleiro

=> DER/DED/Normalizao:

Diagrama modelado no CASE Studio 2.25

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Diagrama Preliminar e Diagrama Hierrquico de Macroatividades: Uma vez concludos os DFDs particionados por evento e a modelagem de dados, pode-se modelar o Diagrama Preliminar que um DFD com a apresentao de todos os DFDs particionados por evento em uma viso s. A partir dele faz-se o Diagrama Hierrquico de Macroatividades que consiste em um DFD que agregar eventos relativos a um mesmo assunto, permitindo uma viso simplificada do sistema. O Diagrama Preliminar equivale ao Diagrama de nvel 1 visto na Anlise Estruturada. No caso iremos modelar o Diagrama Preliminar. Vejamos:

Estudo de Caso - Sistema Hoteleiro

=> Diagrama Preliminar :

Diagrama modelado no CASE Studio 2.25

Prof. Francisco Gerson A. de Meneses

Prof. Francisco Gerson A. de Meneses

Estudo de Caso - Sistema Hoteleiro

=> Dicionrio de Dados: Paralelamente a todo o trabalho de anlise do sistema, deve-se ir mantendo um dicionrio de dados, que registrar todos os nomes criados (inventados) pelo Analista; independentemente de serem auto-explicarivos, para tal registro emprega-se a notao simblica vista no anteriormente.

Estudo de Caso - Sistema Hoteleiro

=> Dicionrio de Dados:
Nome Criado
Sit_Res =

Significado e Caractersticas
*Indicar a situao da reserva*: Tipo: Inteiro Tamanho: 01 Contedo: 0 *Quarto libertado* 1 *Quarto reservado* 2 *Reserva confirmada* 3 *Reserva cancelada pelo cliente* 4 *Reserva cancelada automaticamente* 5 *Locao concluda* *Indicar a forma de pagamento* Tipo: Inteiro Tamanho: 01 Contedo: 1 *A vista espcie* 2 *A vista carto dbito* 3 *A vista - cheque* 4 *Parcelado - cheque* 5 *Parcelado - carto*

Vejamos um exemplo:

Forma_Pag

Prof. Francisco Gerson A. de Meneses

Bibliografia
TONSIG, S. L. Engenharia de Software Anlise e Projeto de Sistemas. Editora Cincia Moderna, 2 Edio, 2008. Pesquisas na WEB Notas de aula