Tcnicas de Especificao de Processos

Quando chegamos a um nvel de especificao em que os processos no so mais

decomponveis, precisamos complementar esta especificao com descries das
lgicas desses processos. A especificao de processos deve ser feita de forma que possa
ser validada por analistas e usurios.
8.3.1 - Portugus Estruturado
O Portugus Estruturado um subconjunto do Portugus, cujas sentenas so
Organizadas segundo as trs estruturas de controle introduzidas pela Programao
Estruturada: sequncia, seleco e repetio.
Instrues de Sequncia: grupos de instrues a serem executadas que no
tenham repetio e no sejam oriundas de processos de deciso. So escritas na forma
imperativa, como no exemplo abaixo.
obter ...
atribuir ...
armazenar ...
Instrues de Seleco: quando uma deciso deve ser tomada para que uma
aco seja executada, utilizamos uma instruo de seleco. As instrues de seleco
so expressas como uma combinao se-ento-seno, conforme abaixo.
se <condio>
ento grupo_ de_aes_1;
seno grupo_de_aes_2;
fim-se;

Exemplo:
se Nmero_de_Dependentes = 0
ento Salrio_Famlia = 0;
seno Salrio_Famlia = Salrio_Mnimo / 3;
fim-se;
Quando existirem vrias aces dependentes de uma mesma condio, que
sejam mutuamente exclusivas, podemos utilizar uma estrutura do tipo caso, conforme
abaixo.

Instrues de Repetio: Aplicadas quando devemos executar uma instruo,

ou um grupo de instrues, repetidas vezes. A estrutura de repetio pode ser usada de
trs formas distintas:
1. para cada X faa
grupo_de_aes;
fim-para;
Exemplo:
para cada Aluno faa
Mdia = (Prova_1 + Prova_2) / 2;
imprima Mdia;
fim-para;
2. enquanto <condio for verdadeira> faa
grupo_de_aes;
fim-enquanto;
Exemplo:
enquanto existir registro faa
ler registro;
consistir dados;
fim-enquanto;
3. repita
grupo_de_aes;
at que <condio seja verdadeira>;
Exemplo:
repita
ler registro
consistir dados
at que todos os registros do arquivo tenham sido processados;
Uma especificao de processo em Portugus Estruturado deve possuir as
seguintes Caractersticas gerais:

deve ser clara, concisa, completa e livre de ambiguidades;

todos os dados citados na especificao que estejam definidos no
dicionrio de dados devem ser sublinhados;
os dados definidos localmente no so sublinhados;
os depsitos de dados, alm de sublinhados, devem ser escritos com
letras maisculas;
sempre que um comando de seleco ou repetio for utilizado, os
comandos do bloco interno (grupo_de_aes) devem estar identados, de
modo a dar a clareza de que esses comandos fazem parte das aces da
seleco ou repetio.