《一种面向方面软件体系结构中的编织机制研究》.pdfVIP

计算 机 研 究与 发 展 ISSN 1000—1239[CN 11—1777／TP JournalofComputerResearchandDevelopment 47(4)：695—706，2O1O 一 种面 向方面软件体系结构 中的编织机制研究 倪友聪 。应 时 。张琳琳 文 静 叶 鹏 赵 楷 (武汉大学软件工程国家重点实验室 武汉 430072) (安徽建筑工业学 院数理系 合肥 230018) (武汉大学计算机学院 武汉 439072) (新疆大学信息科学与工程学院 乌鲁木齐 830046) (武汉科技学院计算机科学学院 武汉 430074) (nyc@mail．whu．edu．cn) ResearchonW eavingM echanism inAspect’-OrientedSoftwareArchitecture NiYoucong～。YingShi¨。ZhangLinlin一，WenJing ，YePeng ，andZhaoKai’ (StnteKeyLaboratoryofSoftwareEngineering，WuhanUniversity，Wuhan430072) 。(DePnrfmentofMathematicsandPhyscs，AnhuiInstituteofArchitecture Industry，Hefei230018) (Schoolo，CornpurerScience，WuhanUniversity，Wuhan 430072) (SchooZo，InformationScienceandEngineering，XinjiangUniversity，Urumqi830046) (C0llegPD ComputerScience，WuhanUniversityofScienceandEngineering，Wuhan430074) Abstract In the design ofaspect—oriented software architecture，two kindsofelementsmay be invo1ved．One is theaspectualelementswhich encapsulate crosscutting behaviors and features； anotherisbasicelementswhicharetraditionalcomponentsorconnectors．Furthermore，thetwokinds ofelementsneedtobewoventogethertoform integratedmodelbyspecifyinglocation，timepointand constraintsofinjection，which isveryimportantforanalyzingandverifyingoverallbehaviorsand qualitvattributesofsoftwarearchitecture (SA)．A kindofweavingmechanism atSA level，whichis basedon anaspect—orientedsoftwarearchitecturedescription languagenamedAC2一ADL，isproposed in thispaper．Thisweaving mechanism includesa setofweaving rulesand a weaving process． C0ncrete1v，theserulesarecomposedofmatchrules，conflictdetectionrulesandinterweavingrules． Thematchru1esareusedtosearchforlocationofinjectionoverSA mode1．Theconflictdetectionrules can determ inewhethertherearetemporalconflictsbetweencrosscuttingoperationsornot．And the interweavingrulesareusedto add thecomputation within cros