A elaborao do documento de especificao de um sistema, utilizando um modelo narrativo, gera, na maior parte dos casos, um documento: excessivamente palavroso
excessivamente redundante praticamente impossvel de difcil leitura e escrita de manter actualizado ambguo e com vrias interpretaes
O documento de especificao de um sistema deve recorrer a modelos que preencham os seguintes critrios: Grficos Modelos grficos permitem representar a informao de forma concisa e compacta, pois s representam as principais componentes e as suas ligaes. As imagens permitem um entendimento directo e so menos ambguas e menos abertas a interpretao do que texto. Com algum suporte adicional de detalhe textual Uma quantidade suficiente de texto deve ser utilizada para tornar o modelo claro, preciso e completo, ou seja, para documentar outros detalhes que o modelo grfico no representa. Passvel de fraccionamento Os modelos necessitam de ser fraccionveis para serem capazes de transmitir convenientemente muita informao. Um modelo fraccionvel quando apresenta a informao em vrios nveis de detalhe. Nos nveis superiores, a maior parte do detalhe est escondido, e em nveis inferiores, difcil obter uma viso geral. Esta estrutura possibilita a consulta de um dado aspecto sem ser necessrio conhecer todo o sistema. Anlise Estruturada 2 Reduo de complexidade Grande parte dos sistemas a modelar so complexos, sendo necessrio decompor essa complexidade em partes mais simples. Focalizao em perspectivas especficas Um sistema complexo necessita de ser visto de mais do que uma perspectiva. Absorvvel em grandes partes Cada poro do modelo deve apresentar uma quantidade moderada de informao, sem se aprofundar em extremos de complexidade ou simplicidade. Mais barato de construir do que a coisa real O fracasso de alguns sistemas, construdos sem recorrer a metodologias de anlise, tornam a construo de modelos numa economia de tempo e dinheiro durante toda a vida do projecto. De construo iterativa A especificao de um sistema um processo iterativo, devendo portanto de poder ser suportado por um modelo de representao com as mesmas caractersticas. Redundncia mnima Quanto menor for a redundncia, menor ser a possibilidade de existncia de inconsistncia, e mais fcil ser a actualizao e a manuteno do modelo. Assim, um modelo s dever conter a informao no deduzvel. Contudo, eliminar toda a redundncia muito difcil. Lgicos e no fsicos A possibilidade de ignorar aspectos que so dependentes dos constrangimentos fsicos da implementao permite reduzir complexidade e garantir que no se tomam decises de implementao no fundamentadas. Anlise Estruturada 3 Modelos da anlise estruturada Modelo Descrio Modelo essencial: Modelo do sistema baseado nos requisitos puros ou essenciais
Modelo ambiental Modelo que define as fronteiras do sistema e as suas interligaes com o ambiente externo
Modelo comportamental Modelo do comportamento interno do sistema Modelo de implementao do utilizador Modelo que especifica requisitos de implementao impostos pelo utilizador
Ferramentas de modelao da anlise estruturada A complexidade dos sistemas a modelar, nas suas caractersticas funcionais, estruturas de dados e consideraes temporais, dita a utilizao de vrias ferramentas de modelao que focalizem diferentes aspectos do sistema. Nem sempre necessrio utilizar vrias ferramentas de modelao. Contudo, quando estas so usadas em conjunto, suportam-se umas s outras (pois so vrias vises do mesmo sistema), e tm de ser consistentes e compatveis entre si. Ferramenta Aspectos focalizados DER D nfase a dados e ao relacionamento entre estes DFD Ilustra funes que o sistema deve desempenhar DTE Focaliza comportamento do sistema dependente do tempo DD e especificao de processos Ferramentas de modelao textual que permitem descrever com preciso o significado das componentes e das ligaes existentes nos modelos de representao grfica.