抄録
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.
