Funzionamento main in CODAExecution