Synthesis of evolutional reactive system programs

摘要

Reactive system is a system which ideally never terminates and is intended to maintain some interaction with its environment. There are some researches of synthesis reactive system programs from specifications described in formal languages. The synthesis methods proposed in these researches synthesize several reactive system programs from one specification. It becomes a problem how to choose a good reactive system program among several synthesized programs. However, which reactive system is good depends on the behaviors of the environment. That is, we can not decide which reactive system program is good until it interacts the environment. Thus, it is desirable that a reactive system program should evolve itself according to the behavior of the environment. In this paper, we propose an idea of reactive system program evolution.