基于时序逻辑的面向方面体系结构描述语言.pdfVIP

第 37卷 第 1期 计 算 机 科 学 Vo1．37No．1 2010年 1月 Computer Science Jan2010 基于时序逻辑的面 向方面体系结构描述语言 倪友聪 。 应 时 。 张琳琳 文 静 叶 鹏 (武汉大学软件工程国家重点实验室 武汉430072) (安徽建筑工业学院数理系 合肥230018)。 (武汉大学计算机学院 武汉430072)。 (新疆大学信息科学与工程学院 乌鲁木齐830046) (武汉科技学院计算机科学学院 武汉430074) 摘 要 运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征，它们混杂和散 列在不同的SA设计单元中，使得 SA难以理解、难以演化和难 以重用。针对这一问题，基于时序逻辑语言XYZ／E，在 统一的时序逻辑框架下设计 出一种面向方面体系结构描述语言AC2一ADL。系统地阐述 了AC2一ADL的概念框架并 用XYZ／E进行语义解释，最后结合案例介绍了如何用AC2一ADL对 SA进行描述。 关键词 软件体系结构，软件体 系描述语言，时序逻辑 ，面向方面体系结构描述语言 中图法分类号 TP311．52 文献标识码 A Aspect-OrjentedArchitectureDescriptionLanguageBasedonTemporalLogic NIYou—cong’ YINGShi’。 ZHANGLin_1in’ W_ENJing YEPeng’ (StateKeyIabofSohwareEngineering，WuhanUniversity，W uhan430072，China) (DepartmentofMathematicsandPhysics，AnhuiInstituteofArchitecture Industry，Hefei230018，China)2 (SchoolofComputer，W uhanUniversity，W uhan430072，China)。 (SchoolofInformationScienceandEngineering，XinjiangUniversity，Urumqi830046。China) (W uhanUniversityofScienceandEngineering，W uhan430074，China) Abstract Therealwaysexistsomecrosscuttingbehaviorsandfeaturesinsoftwarearchitecturedesignbasedontradi— tionalarchitecturaldescriptionlanguage，whichtangleandscatterindifferentdesignelementsofsoftwarearchitecture， leadingtothedifficultiesincomprehension，evolutionandreusabilityofsoftwarearchitecturaldesigndecisions．Aiming totheseproblems，underaunifiedtemporallogicframework，anAspect-OrientedArchitecturalDescription Language (AC2一ADL)wasproposedbasedonthetemporallogiclanguageXYZ／E．TheframeworkandsyntaxofAC2一ADLwere presentedanditssemanticswasexplainedusingXYZ／E．Fu