This project implements the formal analysis techniques available on the gisele process modeling language.