1.一種基于以MGCF系統(tǒng)的軟件生成方法,其特征在于,包括如下步驟:
步驟一,將SDL描述的通信系統(tǒng)自動生成C/C++的可執(zhí)行代碼;
步驟二,當外部的人機接口與SDL的C編譯器結(jié)合使用時,如果主機和目標系統(tǒng)之間采用TCP/IP通信;
步驟三,通過工具對SDL進行編輯、模擬和編譯。
2.根據(jù)權(quán)利要求1所述的一種基于以MGCF系統(tǒng)的軟件生成方法,其特征在于,所述步驟一,將SDL描述的通信系統(tǒng)自動生成C/C++的可執(zhí)行代碼,具體步驟為:
開始域:在進程開始執(zhí)行的地方,當進程實例被創(chuàng)建,就開始執(zhí)行;
狀態(tài)域:系統(tǒng)的描述一擴展有限狀態(tài)自動機為模型,表示為狀態(tài)域;
輸入符:輸入表示狀態(tài)機接受并消耗信號;
輸出域:通過信道將信號發(fā)送到一進程實例;
任務域:用于執(zhí)行與變量有關(guān)的動作;
過程調(diào)用:執(zhí)行一遍先前已經(jīng)定義好的過程描述功能;
分支域:分支操作結(jié)束遷移過程,然后根據(jù)一表達式的產(chǎn)值來產(chǎn)生多個遷移過程。
3.根據(jù)權(quán)利要求1所述的一種基于以MGCF系統(tǒng)的軟件生成方法,其特征在于,所述步驟二中的通信協(xié)議通過Telelogic Tau工具進行實時軟件通信的開發(fā)。
4.根據(jù)權(quán)利要求1所述的一種基于以MGCF系統(tǒng)的軟件生成方法,其特征在于,所述步驟三采用的工具為Telelogic Tau TTCN Suite。
5.根據(jù)權(quán)利要求1所述的一種基于以MGCF系統(tǒng)的軟件生成方法,其特征在于,所述SDL系統(tǒng)結(jié)構(gòu)包括系統(tǒng):系統(tǒng)是最外層的、直接與外部環(huán)境交互的代理;模塊:模塊是包含進程或有限狀態(tài)機的代理;進程:進程包含擴展的有限狀態(tài)機,也包含進程;過程。