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ù)的文本。