基于模型驅(qū)動(dòng)架構(gòu)的協(xié)議建模語言研究.pdf

1、通信協(xié)議是計(jì)算機(jī)網(wǎng)絡(luò)進(jìn)行可靠通信的關(guān)鍵。隨著計(jì)算機(jī)網(wǎng)絡(luò)的發(fā)展，通信協(xié)議變得越來越復(fù)雜，通信協(xié)議的設(shè)計(jì)已經(jīng)成為計(jì)算機(jī)網(wǎng)絡(luò)的設(shè)計(jì)和實(shí)現(xiàn)的關(guān)鍵。 本文首先介紹了協(xié)議工程和形式化模型。協(xié)議工程是一種形式化的協(xié)議開發(fā)過程。形式化模型主要包括：有限狀態(tài)機(jī)、擴(kuò)展有限狀態(tài)機(jī)、Petri網(wǎng)、通信進(jìn)程演算和通信順序進(jìn)程、時(shí)態(tài)邏輯，并介紹了形式化描述語言的三個(gè)國際標(biāo)準(zhǔn)--ESTELLE、LOTOS和SDL。 其次，對基于協(xié)議工程開發(fā)通信協(xié)議的

2、過程進(jìn)行了深入的研究和分析，指出這種開發(fā)方式的三個(gè)不足和缺陷：協(xié)議開發(fā)的便捷性差、協(xié)議模型的可移植性差、協(xié)議模型的可維護(hù)性差。OMG提出的模型驅(qū)動(dòng)架構(gòu)思想是一種新型的軟件開發(fā)框架。將這種思想引入通信領(lǐng)域可以有效的克服上述的不足和缺陷。 接著，對基于模型驅(qū)動(dòng)架構(gòu)開發(fā)協(xié)議的可行性和關(guān)鍵點(diǎn)進(jìn)行了研究，指出基于這種思想開發(fā)協(xié)議的三個(gè)關(guān)鍵點(diǎn)，對這三個(gè)關(guān)鍵點(diǎn)進(jìn)行了研究和分析，并找到了解決的方案。 然后，通過一個(gè)示例驗(yàn)證了基于模型驅(qū)動(dòng)

3、架構(gòu)開發(fā)協(xié)議的思想。 最后，對本文的研究工作和創(chuàng)新點(diǎn)進(jìn)行了總結(jié)，并進(jìn)一步指出了下一步工作的研究方向。 本文的創(chuàng)造性工作主要如下： ①對ITU于2006年發(fā)布的用于SDL的UMLProfile-Z.109標(biāo)準(zhǔn)進(jìn)行研究和分析，提出了一種形式化Z.109的方法，并用該方法對Z.109進(jìn)行了形式化。 ②對形式化描述UML動(dòng)態(tài)語義的各種方法進(jìn)行了研究和分析，根據(jù)語義類型的不同將這些方法分成了三類，并對這三類方法進(jìn)行