1、每一个event有所属类型，所属类型分为：外部产生，内部产生，且不可同时具有两个属性；
2、event的function，只能generate和return 内部产生类型；
3、event的function，必须有所有内部产生类型的出口，且一旦产生，必须return，也即不可以在event function里面连续产生2个或以上的internal event；
4、event的function的抬头注释，可以不出现外部类型，减少信息量。
5、真正的partner/model 函数入口，第一个调用的event，必须是外部类型；
6、多FSM的script + C/CPP的event function，集两种素材构成;
7、有C function, CPP Class, EVENT GOTO Function这3中代码模式，不过可以首先依赖 C function来做模型，其他2中可以依赖于模型自动生成；
8、一个pratner/model的函数，是一个event的表达式，所以也可以依赖C function来组合生成这个函数的文本。