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