Behavior modeling method based on LCTL (linear colored temporal logic) is put forward, three different models of action activity and behavior are built and an example is presented.