^^Dentro, fuori, entrare, uscire.

    --> uscire  -->              --> t10 -->
  dentro         fuori          s0         s1
    <-- entrare <--              <-- t01 <--

Lo schema rappresenta un sistema a 2 stati e 2 trasformazioni.

Associazione stato-trasformazione

1. associazione tra lo stato e la trasformazione per raggiungerlo

   = associazione tra la trasformazione e lo stato finale

2. associazione tra lo stato e la trasformazione per lasciarlo
   = associazione tra la trasformazione e lo stato iniziale

La trasformazione per lasciare lo stato

I gatti quando sono dentro vogliono uscire e quando sono fuori vogliono entrare.

dentro : uscire = fuori : entrare
dentro : fuori = uscire : entrare

La trasformazione per raggiungere lo stato

entrare dentro e uscire fuori

entrare : dentro  =  uscire : fuori       t01 : s0 = t10 : s1
entrare : uscire  =  dentro : fuori       t01 : t10 = s0 : s1
 dentro : fuori   = entrare : uscire       s0 : s1 = t01 : t10
 dentro : entrare =   fuori : uscire       s0 : t01 = s1 : t10

Possibili semantiche:

1. sequenza temporale
   PRIMA entri POI sei dentro = PRIMA esci POI sei fuori
2. implicazione
   SE entri CONSEGUE sei dentro = SE esci CONSEGUE sei fuori
3. condizione sufficiente
   PER essere dentro BASTA entrare = PER essere fuori BASTA uscire

Lg

associazione tra la trasformazione e lo stato iniziale

= una trasformazione e' associata al suo stato finale

Esmpi

1. Aperto chiuso. Ai flusssi.
2. Interfacce.
3. Inscrit circoscrit.
4. Nodi del reticolo, vicino dentro fuori su, la circonferenza.
5. Black box, o scatola nera, o scatola buia.
6. Spazio; tavola di immaginazione logica.
7. Galleggiamento con zavorra interna o esterna al contenitore.
8. Galleggiamento; indagine spaziale.

Links

Le proporzioni logiche qui usate per spiegarsi, sono un esempio per Proporzione logica.