O documento descreve os conceitos de modelação de processos, especificação de processos, pré-condições, pós-condições e implementação de processos em sistemas de informação. Um processo transforma entradas em saídas através de uma sequência de ações e pode ter alternativas com conjuntos diferentes de pré e pós-condições.

1. © Luís Torgo FEP
Modelação de Processos
Um processo é uma operação de um sistema de informação que
transforma um conjunto de valores de entrada (inputs) num
conjunto de valores de saída (outputs).
Exemplos :
• Encomendar Produto • Calcular Valor das encomendas de um cliente
entradas : cliente, produto entradas : nome do cliente
saídas : nº da encomenda saídas :listagem das encomendas, valor
• Inserir Novo Cliente
entradas : dados do cliente
saídas :
Convenção : um processo tem um nome do tipo Verbo+Objecto,
em que o objecto é uma entidade ou atributo.

2. © Luís Torgo FEP
Especificação de Processos
Um processo é especificado por um conjunto de pré-condições e
um conjunto de pós-condições.
Exemplo :
Processo : Encomendar Produto
Pré-condições : Pós-condições :
Um cliente C encomenda X Emitir folha de encomenda
unidades de um produto P Criar uma nova encomenda
O cliente C “existe”
O produto P “existe”
• As pré-condições devem ser verdadeiras para que se possa iniciar o
processo.
• As pós-condições deverão ser verdadeiras após o processo ter sido
executado.

3. © Luís Torgo FEP
Pré-condições
As pré-condições descrevem :
1. Valores de entrada que devem estar disponíveis para a execução do processo.
2. Condições que devemos pôr aos valores de entrada.
3. Outras condições sobre informação guardada.
Exemplos :
• Encomendar Produto : Valor das encomendas de um cliente :
Um cliente C encomenda X O cliente C existe (2)
unidades de um produto P (1)
O cliente C existe (2) Pagar uma encomenda feita :
O produto P existe (2) Têm-se os dados do cliente (1)
Têm-se os dados da encomenda (1)

4. © Luís Torgo FEP
Pós-condições
As pós-condições descrevem :
1. O que resulta da execução do processo (ex. impressões).
2. Relações entre valores de saída e valores de entrada.
3. Relações entre valores de saída e valores guardados.
4. Alterações a valores guardados.
Exemplos :
• Encomendar Produto : Valor das encomendas :
Emissão da folha de encomenda (1) Valor = soma do valor das enc. (3)
Nova encomenda (4) Mostrar as encomendas (1)
Mostrar o valor total (1)
Pagar uma encomenda :
É impresso um recibo (1)
Encomenda assinalada como paga (4)

5. © Luís Torgo FEP
Processos com alternativas
Os processos podem ter mais do que um conjunto de pré-condições.
A cada conjunto de pré-condições corresponde um conjunto de
pós-condições.
Exemplo :
Encomendar Produto
Pré-condições 1 : Pré-condições 2 :
O cliente C encomenda X O cliente C não existe
unidades do produto P Pós-condições 2 :
O cliente C existe Mensagem de erro
O produto P existe Ínicio de um processo de introdução
Pós-condições 1 : de novo cliente, se desejado.
… como anteriormente ...

6. © Luís Torgo FEP
Matriz Entidades/Processos
Relaciona entidades com processos em termos de 4 operações
primárias sobre os registos :
C - Criação L - Leitura
A - Actualização E - Eliminação
Encomendar Produto
Novo cliente
Pagar encomenda
Valor das encomendas
Clientes L C L
Produtos L L
Encomendas L L,A C

7. © Luís Torgo FEP
Implementação
Exemplo : Pagar uma encomenda
Botão “Pagar Encomenda”.
Aparece formulário onde se pode preencher :
Nº da encomenda.
O botão “OK” despoleta o procedimento de evento “OK_click”.
• Um processo pode ser implementado no ACCESS através de
um conjunto de sub-rotinas ou queries.
• O processo pode ser desencadeado a partir de um formulário
associando-se a um evento.

8. © Luís Torgo FEP
O procedimento de evento “OK_click” deverá fazer o seguinte :
Procurar a encomenda pelo número.
Se não encontrar apresentar mensagem de erro.
Se encontrou a encomenda
Abre um formulário onde é mostrada a encomenda.
Nesse formulário deverá existir um botão para a pessoa
confirmar que é mesmo essa a encomenda.
Se a pessoa carregar nesse botão deverá ser actualizado
o campo “Paga” do registo correspondente na tabela
de Encomendas.
senão
volta ao estado inicial.