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

第 37 卷 　第 1 期 计 算 机 科 学 Vol . 37 No . 1 20 10 年 1 月 Co mp ut er Science J an 20 10 基于时序逻辑的面向方面体系结构描述语言 1 ,2 1 ,3 1 ,4 1 1 ,5 倪友聪 　应 　时 　张琳琳 　文 　静 　叶　鹏 ( ) 1 ( ) 2 武汉大学软件工程国家重点实验室 　武汉 430072 　 安徽建筑工业学院数理系 　合肥 2300 18 ( ) 3 ( ) 4 武汉大学计算机学院　武汉 430072 　 新疆大学信息科学与工程学院　乌鲁木齐 830046 (武汉科技学院计算机科学学院　武汉 430074) 5 　 ( ) 摘 　要 　运用传统体系结构描述语言描述的软件体系结构 SA 方案始终存在着一些横切行为和特征 ,它们混杂和散 列在不同的 SA 设计单元中 ,使得 SA 难以理解 、难以演化和难以重用 。针对这一问题 ,基于时序逻辑语言 X YZ/ E ,在 统一的时序逻辑框架下设计出一种面向方面体系结构描述语言 A C2ADL 。系统地阐述了 A C2ADL 的概念框架并 用 X YZ/ E 进行语义解释 ,最后结合案例介绍了如何用 A C2ADL 对 SA 进行描述 。 关键词 　软件体系结构 ,软件体系描述语言 ,时序逻辑 ,面向方面体系结构描述语言 中图法分类号 　TP3 11. 52 　　　文献标识码 　A 　 Aspectoriented Architecture Description Language Based on Temporal Logic N I Youcong1 ,2 　YIN G Shi1 ,3 　ZHAN G L inlin1 ,4 　W EN J ing1 　YE Peng1 ,5 ( St at e Key L ab of Soft ware Engineering ,Wuhan U niver sit y ,Wuhan 430072 ,China) 1 (Dep art ment of Mat hematics and Phy sics ,Anhui In stit ut e of Archit ect ure Indu st ry , Hefei 2300 18 ,China) 2 ( School of Comp ut er ,Wuhan U niver sit y ,Wuhan 430072 ,China) 3