Abstract
GEISHA (Genomic Environment for Interaction Simulation and Hypothesis Approximation) system verifies and revises the rules of pattern formation in Dorosophila embryogenesis. Thesystem consists of three parts: rule-based simulator, evaluator, and user interface. The simulator tests all the possible rule patterns, and the evaluator qualitatively evaluates results of the simulator. The user interface is named SIMFLY and provides a real-time graphic viewer and a rule-controller. We can do most of these operations using GUI.