in php esiste la funzione exec()