Especificação da transação verificar reserva dee mostrar passagem

Transação: Verifica reserva e mostrar passagem

Descrição Sistema emite passagem para um passageiro em um transporte (nome, classe, lugar) e reserva lugar na 1a ou 2a classe conforme solicitação (  nome,classe, aceita troca de classe) e disponibilidade de classe (id-transp,dpc,dsc) e mostra aviso de passagem não emitida.

Reserva(solicitacao) => passagem, disponibilidade, aviso  disponibilidade  passagem <== Reserva <== solicitação aviso

Detalhe

1. Sistema inicializa disponibilidade
   rpc=10, rsc=10 => obtém disponibilidade

• Identificação do transporte (id-transp) = 1
• Quantidade de lugares disponiveis na 1a classe (dpc) = 10
• Quantidade de lugares disponiveis na 2a classe (dsc) = 20

1. Sistema obtem solicitação
   Ler (solicitacao) => nome, classe

• nome = Le solicitacao (nome)
• classe = Le solicitacao (classe)

1. Sistema verifica disponibilidade e prepara para mostrar a passagem (regra da transação)

Reserva (id-transp, nome, classe, troca, rpc, rsc) => passagem, rpc, rsc, aviso

A solicitação é para 1a classe (classe=1)? | tem didponibilidade na 1a classe (dpc=0)? | | tem didponibilidade na 2a classe (dsc=0)? | | | aceita troca de classe? | | | |
S N . .	dpc = dpc -1 passagem = [ nome, classe, rpc] mostrar passagem
N . N .	dsc = dsc -1 passagem = [nome, classe, rsc] mostrar passagem
S S N S	dsc = dsc -1 passagem = [nome, classe, rsc] mostrar passagem
N N S S	dpc = dpc -1 passagem = [nome, classe, rsc] mostrar passagem
. S S .	aviso = passagem não emitida mostrar aviso

1. Mostrar passagem
   Mostrar(passagem) =>passagem
2. Mostrar aviso
   Mostrar(aviso) =>aviso

---

* nome_componente: funcao(lista de entrada) => lista de saida

  Se a funcao(lista de entrada) for válida então executa lista de saida

  onde:

• funcao(lista de entrada) é uma condição
• " => " siginifica executar e
• lista de saida significa ação.

* O nome do componente é o nome de uma transação.
* Cada componente é um autômato finito, onde cada nó é uma tabela de decisões. * Componente pode ser: [lista| atribuição | tabela de decisão| transição | procedimento| programa | bloco de construção | qq coisa] Componentes são executados de forma assíncrona, retirando e colocando dados nas diversas filas. O sincronismo é determinado pela condição Ex.: SolicitacaoPassagem: Reserva(solicitacao) => passagem, disponibilidade, aviso
Ldc| Ldc Sintaxe| Lista| Lista Tutorial| Variavel| Blocos de construção| Exemplo| Tabela de Decisoes Tuturial de tabela decisão| Modelo de decisão| Automata Finito Algoritimo 

...