working on event scheduling part in ECLiPSe