# DOMAIN WORKFLOW — Stati, transizioni, invarianti

Ultimo aggiornamento: **{{DATA}}**

<!-- Se il dominio non ha un ciclo di vita con stati, scrivere «non applicabile» e il perché. -->

---

## 1. Stati

| Stato | Significato | Terminale |
|---|---|:-:|
| <!-- DA COMPILARE --> | | |

## 2. Macchina a stati

```
<!-- DA COMPILARE: diagramma ASCII degli stati -->
```

## 3. Transizioni ammesse

Qualsiasi transizione non elencata qui è **rifiutata**.

| # | Da | A | Attore | Condizione | Effetti collaterali |
|:-:|---|---|---|---|---|
| T1 | | | | | |

## 4. Invarianti

Condizioni che devono essere vere **sempre**, verificate da test.

| # | Invariante |
|:-:|---|
| I1 | <!-- DA COMPILARE --> |