| 面向方面软件体系结构编织的形式化描述方法 |
| |
| 引用本文： | 侯金奎,杨春花.面向方面软件体系结构编织的形式化描述方法[J].计算机应用研究,2016,33(8). |
| |
| 作者姓名： | 侯金奎 杨春花 |
| |
| 作者单位： | 潍坊学院 计算机工程学院,齐鲁工业大学 信息学院 |
| |
| 基金项目： | 山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039)；山东省科技发展计划项目(2011YD01042, 2011YD01043); 山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013)。 |
| |
| 摘 要： | 面向方面的规范描述在软件体系结构建模和分析中起着重要的作用，但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持，也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。本文以Petri网作为行为描述和结构描述的统一基础，提出了一种描述软件体系结构方面及其编织逻辑的形式化方法，并通过实例对相关的概念和模型进行了说明。应用研究表明，该方法描述能力强，不仅能描述复杂的方面结构、行为以及相应的编织逻辑，还可对编织效果进行推理和评价。
|
| 关 键 词： | 软件体系结构 面向方面的模型描述 形式化描述 结构编织 Petri网 |
| 收稿时间： | 2015/7/26 0:00:00 |
| 修稿时间： | 2016/6/20 0:00:00 |
Formal Approach for Aspect-Oriented Software Architecture Weaving |
| |
| HOU Jin-kui and YANG Chun-hua.Formal Approach for Aspect-Oriented Software Architecture Weaving[J].Application Research of Computers,2016,33(8). |
| |
| Authors: | HOU Jin-kui and YANG Chun-hua |
| |
| Affiliation: | School of Computer Engineering,Weifang University,Weifang,School of Information,Qilu University of Technology,Jinan Shandong |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
