Masanori Arita (arita@is.s.u-tokyo.ac.jp)
Masami Hagiya (hagiya@is.s.u-tokyo.ac.jp)
Tomoki Shiratori (blacky@is.s.u-tokyo.ac.jp)
Department of Information Science,
Graduate School of Science,
University of Tokyo
7-3-1 Hongo Bunkyo-ku Tokyo 113 Japan
GEISHA (Genomic Environment for Interaction Simulation and Hypothesis Approximation) system verifies and revises the rules of pattern formation in Dorosophila embryogenesis. The system 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.