基于时序逻辑的面向方面体系结构描述语言 |
| |
引用本文: | 倪友聪,应时,张琳琳,文静,叶鹏.基于时序逻辑的面向方面体系结构描述语言[J].计算机科学,2010,37(1):146-152. |
| |
作者姓名: | 倪友聪 应时 张琳琳 文静 叶鹏 |
| |
作者单位: | 1. 武汉大学软件工程国家重点实验室,武汉,430072;安徽建筑工业学院数理系,合肥,230018 2. 武汉大学软件工程国家重点实验室,武汉,430072;武汉大学计算机学院,武汉,430072 3. 武汉大学软件工程国家重点实验室,武汉,430072;新疆大学信息科学与工程学院,乌鲁木齐,830046 4. 武汉大学软件工程国家重点实验室,武汉,430072 5. 武汉大学软件工程国家重点实验室,武汉,430072;武汉科技学院计算机科学学院,武汉,430074 |
| |
基金项目: | 国家自然科学基金资助项目(60773006);;高等学校博士学科点专项科研基金资助项目(20060486045)资助 |
| |
摘 要: | 运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。
|
关 键 词: | 软件体系结构 软件体系描述语言 时序逻辑 面向方面体系结构描述语言 |
收稿时间: | 2009/2/25 0:00:00 |
修稿时间: | 5/8/2009 12:00:00 AM |
本文献已被 CNKI 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|