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.