本文選題：接口　切入點(diǎn)：組件視圖　出處：《計(jì)算機(jī)工程與應(yīng)用》2016年11期

【摘要】：在開放環(huán)境下,僅包含了語法層信息的組件接口不足以刻畫組件交互的行為信息,從而不能對組裝后的系統(tǒng)進(jìn)行兼容性驗(yàn)證。提出了既包含組件接口調(diào)用方法又包含內(nèi)部邏輯行為的組件視圖,采用LTS表示組件行為協(xié)議,將組件交互過程表示為多個LTS之間的同步變遷;借助LTS操作語義,通過LTS同步積模擬組合系統(tǒng)交互的動態(tài)行為,以此為基礎(chǔ),檢查同步積中是否出現(xiàn)死鎖狀態(tài)來進(jìn)行兼容性判定,并設(shè)計(jì)了判定算法以實(shí)現(xiàn)兼容性的自動判定,通過一個典型的電子商務(wù)應(yīng)用檢驗(yàn)該方法的有效性。
[Abstract]:In an open environment, component interfaces that contain only syntax layer information are not sufficient to depict the behavior information of component interactions. Therefore, the compatibility of the assembled system can not be verified. A component view, which contains both the method of calling component interface and the behavior of internal logic, is proposed, and the component behavior protocol is represented by LTS. The component interaction process is represented as a synchronous transition between multiple LTS, and the dynamic behavior of composite system interaction is simulated by LTS synchronous product with the help of LTS operation semantics. Check whether there is deadlock state in the synchronous product to determine the compatibility, and design a decision algorithm to realize the automatic determination of compatibility. The validity of the method is verified by a typical e-commerce application.
【作者單位】： 江西財(cái)經(jīng)大學(xué)軟件與通信工程學(xué)院;
【基金】：國家自然科學(xué)基金(No.61262012) 江西省自然科學(xué)基金(No.2008GZS0017)
【分類號】：TP311.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前9條

1 賈仰理;張振領(lǐng);李舟軍;;構(gòu)件行為協(xié)議實(shí)時性擴(kuò)展及相容性驗(yàn)證[J];計(jì)算機(jī)科學(xué);2010年10期

2 張振領(lǐng);賈仰理;李舟軍;;時間行為協(xié)議狀態(tài)空間約減算法[J];計(jì)算機(jī)科學(xué);2012年04期

3 黃洲;彭鑫;趙文耘;;基于靜態(tài)代碼分析的自動化對象行為協(xié)議提取工具[J];計(jì)算機(jī)科學(xué);2009年08期

4 尹劍飛,郭荷清,彭新一;基于模型轉(zhuǎn)換實(shí)現(xiàn)行為協(xié)議的研究[J];計(jì)算機(jī)工程;2005年01期

5 于素萍;楊Pq杰;;基于行為協(xié)議的構(gòu)件軟件靜態(tài)測試研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2008年03期

6 商陸軍;類型對象[J];計(jì)算機(jī)工程;1989年05期

7 張振領(lǐng);賈仰理;謝圣獻(xiàn);李舟軍;;基于協(xié)議的實(shí)時構(gòu)件行為一致性驗(yàn)證[J];計(jì)算機(jī)科學(xué);2012年06期

8 任洪敏;劉晉;;基于行為協(xié)議的構(gòu)件替換性分析[J];計(jì)算機(jī)工程與科學(xué);2012年12期

9 ;[J];;年期

相關(guān)碩士學(xué)位論文 前1條

1 黃洲;基于數(shù)據(jù)依賴性恢復(fù)的對象行為協(xié)議提取方法及支持工具[D];復(fù)旦大學(xué);2008年

，

本文編號：1657632