SPG: DEFINIZIONE DEGLI OGGETTI
          FORMALI
PROCESSO P:
E’ un oggetto descritto da attributi di input e
di output dipendenti dal tempo (variabili).
E’ rappresentato dall’espressione matematica:
P: y(t)= L x(t), dove x(t) e y(t) sono i vettori delle
                             variabili di input e di output, L è
                             l’operatore del processo.
FUNZIONE  F:
E’ un oggetto astratto che rappresenta una
proprietà orientata al raggiungimento di un
obiettivo di un processo o di un sistema (goal-
driven).
Una funzione si può realizzare tramite diversi
processi ed un processo può essere portatore
di differenti funzioni (può cioè soddisfare più
di un obiettivo)