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
Biological analysis of Drosophila embryogenesis has provided a model of protein interaction in segment formation. In this paper we introduce GEISHA system, which verifies and revises the rules of pattern formation in 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; it searches for the desired pattern of protein expression. The user interface enables us to input or save data using GUI.