本文關(guān)鍵詞：面向方面設(shè)計(jì)中干涉問(wèn)題的分析工具

  更多相關(guān)文章： 面向方面的設(shè)計(jì) 功能干涉 推理驗(yàn)證 設(shè)計(jì)演算

【摘要】：干涉問(wèn)題是指基礎(chǔ)程序和方面之間或者方面之間發(fā)生不需要的相互作用,導(dǎo)致最終程序中產(chǎn)生不想要的功能,危害程序的正確性.很難檢測(cè)和修正在面向方面設(shè)計(jì)中存在的干涉,已經(jīng)成為推廣面向方面技術(shù)的阻礙.受到技術(shù)自身可擴(kuò)展能力的局限,現(xiàn)有的基于模型驗(yàn)證技術(shù)的工作不能有效地處理功能干涉問(wèn)題.設(shè)計(jì)開(kāi)發(fā)了基于推理驗(yàn)證技術(shù)直接檢查和去除面向方面設(shè)計(jì)中功能干涉的工具,它可以根據(jù)類和方面的功能規(guī)約自動(dòng)產(chǎn)生確保不發(fā)生干涉的條件,并引入交互式證明工具PVS來(lái)提高證明過(guò)程的自動(dòng)化程度.證明可以確認(rèn)設(shè)計(jì)中無(wú)干涉存在或者為修正干涉問(wèn)題提供線索.
【作者單位】： 計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系;
【基金】：國(guó)家自然科學(xué)基金(91318301,61561146394) 國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)(2014CB340703) 教育部高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金(20110091120058) 江蘇省產(chǎn)學(xué)研項(xiàng)目(BY2014126-03)~~
【分類號(hào)】：TP311.52
【正文快照】： 近年來(lái),面向方面技術(shù)[1]在軟件設(shè)計(jì)與開(kāi)發(fā)中得到了廣泛的應(yīng)用.面向方面技術(shù)支持在軟件系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)過(guò)程中運(yùn)用關(guān)注點(diǎn)分離策略,它將軟件系統(tǒng)的基本功能和多個(gè)橫切關(guān)注點(diǎn)進(jìn)行分離,在基礎(chǔ)程序中實(shí)現(xiàn)系統(tǒng)的基本功能,引入方面將橫切關(guān)注點(diǎn)進(jìn)行封裝,并依靠編織機(jī)制在編譯或運(yùn)行

【共引文獻(xiàn)】

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 竇亮;UML動(dòng)態(tài)行為圖的機(jī)械語(yǔ)義形式驗(yàn)證與精化研究[D];華東師范大學(xué);2015年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 李彤,柳青,孔兵,王黎霞;并行軟件功能規(guī)約的組合語(yǔ)義方法[J];計(jì)算機(jī)工程與應(yīng)用;2000年06期

2 ;[J];;年期

，

本文編號(hào)：1251660