SIGMA: sistema integrato per la gestione di modelli algoritmicI