本文選題：接口　切入點：組件視圖　出處：《計算機工程與應用》2016年11期

【摘要】：在開放環(huán)境下,僅包含了語法層信息的組件接口不足以刻畫組件交互的行為信息,從而不能對組裝后的系統(tǒng)進行兼容性驗證。提出了既包含組件接口調用方法又包含內部邏輯行為的組件視圖,采用LTS表示組件行為協(xié)議,將組件交互過程表示為多個LTS之間的同步變遷;借助LTS操作語義,通過LTS同步積模擬組合系統(tǒng)交互的動態(tài)行為,以此為基礎,檢查同步積中是否出現(xiàn)死鎖狀態(tài)來進行兼容性判定,并設計了判定算法以實現(xià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.
【作者單位】： 江西財經(jīng)大學軟件與通信工程學院;
【基金】：國家自然科學基金(No.61262012) 江西省自然科學基金(No.2008GZS0017)
【分類號】：TP311.5

【相似文獻】

相關期刊論文 前9條

1 賈仰理;張振領;李舟軍;;構件行為協(xié)議實時性擴展及相容性驗證[J];計算機科學;2010年10期

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

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

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

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

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

7 張振領;賈仰理;謝圣獻;李舟軍;;基于協(xié)議的實時構件行為一致性驗證[J];計算機科學;2012年06期

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

9 ;[J];;年期

相關碩士學位論文 前1條

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

，

本文編號：1657632