ESEMPIO: IL CONTATORE
Scopo: definire il concetto di contatore
un componente caratterizzato in ogni istante da un valore (intero)
a cui si accede tramite le operazioni di:
- reset: azzera il valore del contatore
- inc: incrementa di uno il valore
- getValue: restituisce il valore attuale