SPG: DEFINIZIONE DEGLI OGGETTI
FORMALI
SISTEMA S
Sistema S un oggetto decomponibile ed
identificabile mediante un sottoinsieme di
attributi invarianti chiamati parametri.
Gli altri attributi che descrivono S, dipendenti
dal tempo, sono le variabili.
Dire che S decomponibile, significa che pu
essere rappresentato da una rete di oggetti.
ESEMPIO:
- Ogni parte del mondo reale un sistema.
- Ogni sottoinsieme di una rete, contenente
almeno un oggetti ed un relazione un
sistema.