Please enable JavaScript.
Coggle requires JavaScript to display documents.
Máquinas Abstratas - Coggle Diagram
Máquinas Abstratas
A principal ideia é descrever o comportamento de um sistema
Descreve como um componente interage com as entradas e como modela a saida
Contém os seguintes componentes
INVARIANT
Propriedades que não podem variar ao longo da execução da máquina
INITIALISATION
Valores inicias da máquina abstrata
VARIABLES
Lista o valor de estados da máquina
OPERATION
Operações realizadas pela máquina
As operações são compostas por:
Input: Entrada do behavior
Output: Saida do behavior
Nome: Nome da operação
Restrições: Restringe as propriedades da operação
MACHINE
Denota o nome da máquina
END
Indica o fim da máquina abstrata
Exemplo:
Dado um sistema de tickets utilizados num banco(por exemplo) para ordenar os clientes
O cenário é denotado por um cliente que ao chegar no banco pega um ticket e aguarda até que seu número seja chamado
Para chamar o próximo cliente o funcionário deve apertar um botão
Podemos modelar no AtelierB com os estados serve e next