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來組合生成這個函數的文本。