Campi applicativi e formalizzazione di modelli ATIS