Il tipo astratto di un'applicazione, che definisce le caratteristiche comuni di una classe di applicazioni.