1、每一個event有所屬類型，所屬類型分為：外部產(chǎn)生，內(nèi)部產(chǎn)生，且不可同時具有兩個屬性；
2、event的function，只能generate和return 內(nèi)部產(chǎn)生類型；
3、event的function，必須有所有內(nèi)部產(chǎn)生類型的出口，且一旦產(chǎn)生，必須return，也即不可以在event function里面連續(xù)產(chǎn)生2個或以上的internal event；
4、event的function的抬頭注釋，可以不出現(xiàn)外部類型，減少信息量。
5、真正的partner/model 函數(shù)入口，第一個調(diào)用的event，必須是外部類型；
6、多FSM的script + C/CPP的event function，集兩種素材構(gòu)成;
7、有C function, CPP Class, EVENT GOTO Function這3中代碼模式，不過可以首先依賴 C function來做模型，其他2中可以依賴于模型自動生成；
8、一個pratner/model的函數(shù)，是一個event的表達(dá)式，所以也可以依賴C function來組合生成這個函數(shù)的文本。