基于約束交互自動(dòng)機(jī)的構(gòu)件行為一致性研究.pdf

1、在基于構(gòu)件的系統(tǒng)中，隨著用戶需求、軟件運(yùn)行環(huán)境不斷地發(fā)生變化，系統(tǒng)在運(yùn)行中需要不停地進(jìn)行更新，對于某些需要長期運(yùn)行的關(guān)鍵業(yè)務(wù)系統(tǒng)，如衛(wèi)星定位導(dǎo)航系統(tǒng)、金融系統(tǒng)等，這些關(guān)鍵業(yè)務(wù)系統(tǒng)不能被中斷必須持續(xù)進(jìn)行工作，所以要求系統(tǒng)具有動(dòng)態(tài)演化性。不受約束的軟件系統(tǒng)進(jìn)行動(dòng)態(tài)演化很容易破壞軟件系統(tǒng)的行為一致性和完整性，目前的研究缺乏相應(yīng)的形式化方法來保證動(dòng)態(tài)演化的一致性。因此可以在演化前用形式化方法驗(yàn)證所作演化的正確性和合理性。
　　 在總結(jié)已

2、有的構(gòu)件動(dòng)態(tài)演化行為研究的基礎(chǔ)上，分析在演化中引入哪些約束條件可以保證演化前后行為的一致；熟悉和掌握構(gòu)件交互自動(dòng)機(jī)，在該自動(dòng)機(jī)的基礎(chǔ)上引入qos約束條件，成為約束交互自動(dòng)機(jī)，然后提出一種基于約束交互自動(dòng)機(jī)的構(gòu)件模型；利用已經(jīng)提出的構(gòu)件模型，提出行為一致性的形式化方法定義；根據(jù)前面行為一致性的形式化分析，提出相應(yīng)的驗(yàn)證方法并給出算法步驟；最后通過一個(gè)實(shí)例驗(yàn)證所提出方法的正確性。
　　 本文介紹課題研究的背景、分析目前動(dòng)態(tài)演化方法和

3、構(gòu)件行為規(guī)范的研究現(xiàn)狀、指出當(dāng)前研究中存在的不足之處；對構(gòu)件行為規(guī)范的形式化方法進(jìn)行研究，分別介紹I/O自動(dòng)機(jī)、接口自動(dòng)機(jī)、群組自動(dòng)機(jī)、構(gòu)件交互自動(dòng)機(jī)，并對這四種形式化方法進(jìn)行比較，提出選擇構(gòu)件交互自動(dòng)機(jī)研究課題的原因，并且主要介紹構(gòu)件交互自動(dòng)機(jī)定義及其性質(zhì)，為后面各章節(jié)的研究打下基礎(chǔ)；介紹構(gòu)件模型、約束交互自動(dòng)機(jī)的形式化方法，提出基于約束交互自動(dòng)機(jī)的構(gòu)件模型，然后對滿足行為一致性的進(jìn)行形式化描述，最后用基于約束交互自動(dòng)機(jī)的構(gòu)件模型對行