【正文】 方法來(lái)研究協(xié)議 ， 它有一套完善的等價(jià)理論 ， 如果與網(wǎng)論相結(jié)合 ， 可以用一套完善的分析技術(shù) ， 提供一個(gè)結(jié)構(gòu)清晰的模型 。 12 FDT的國(guó)際標(biāo)準(zhǔn)－ Estelle ? Estelle(Extended State Transition Model Language)： EFSM + extended Pascal ? Estelle也是基于擴(kuò)展的狀態(tài)變遷模型 ， 但使用PASCAL語(yǔ)法和數(shù)據(jù)類型 ， 它有一個(gè)形式化的獨(dú)立于實(shí)現(xiàn)的語(yǔ)義 。 SDL2020也只是吸收了 UML的一些概念 、 方法 ， 增加了面向?qū)ο蟮目梢暬O(shè)計(jì)功能 ， 使之更好用 ， 并沒(méi)有從本質(zhì)上提升 SDL的分析能力 。 感謝各位領(lǐng)導(dǎo)和專家！ 請(qǐng)?zhí)岢鰧氋F意見！ Questions amp。 SDL2020 19 SDL2020 SDL2020是 SDL96和 UML技術(shù)有機(jī)結(jié)合的版本， SDL2020 = SDL96 + UML U M L :C l a s s d i a g r a m sS t a t e m a c h i n e sS e q u e n c ed i a g r a m sc o l l a b o r a t i o n sD e p l o y m e n t. . .S D L U M L p r o f i l e :S t e r e o t y p e s. . .S D L 2 0 0 0 :t y p e r e f e r e n c e sc o m p o s i t es t a t e sa c t o r s. . .20 基于 Petri網(wǎng)的 FDT Petri網(wǎng)理論是在并發(fā)的概念上建立起來(lái)的 ， 它直觀地表示了非確定性 ， 可以用于表達(dá)不同抽象級(jí)上的系統(tǒng)概念 。 FDT種類 10 國(guó)際標(biāo)準(zhǔn) FDT－ SDL ? SDL (Specification and Description Language)： FSM + extensions 1976年由 CCITT(ITU)頒布 ， 一種基于擴(kuò)展?fàn)顟B(tài)變遷和抽象數(shù)據(jù)類型的混合技術(shù) ， 被電信公司廣泛用于描述電子分組交換系統(tǒng) ， 最近已發(fā)布了 SDL2020的新版本 。