技術(shù)編號：12270948
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明屬于軟件開發(fā)技術(shù)領(lǐng)域，特別是涉及一種基于以MGCF系統(tǒng)的軟件生成方法。背景技術(shù)在通信軟件的開發(fā)中，協(xié)議的消息和一般流程有明確的定義和語法格式。但是，當(dāng)我們采用自然語言描述協(xié)議的時候，就會給協(xié)議的實現(xiàn)帶來了很多問題。為了給協(xié)議設(shè)計提供堅實的基礎(chǔ)，使用數(shù)學(xué)的方法不但能夠提供無二義性的描述，而且能夠?qū)γ枋鲞M(jìn)行形式分析。協(xié)議形式化是指使用形式描述技術(shù)(FDT:FormalDescriptionTechnique)貫穿于協(xié)議開發(fā)的各個階段，使得協(xié)議的研究開發(fā)可以獨(dú)立于非形式的自然語言文本和最終實現(xiàn)代...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。