面向方面软件体系结构编织的形式化描述方法

• 作者: 侯金奎 杨春花
• 来源期刊: 计算机应用研究
• 关键词: 软件体系结构 面向方面的模型描述 形式化描述 结构编织 Petri 网
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2381-2385,2416
• 页数: 6页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.08.031

摘要

面向方面的规范描述在软件体系结构建模和分析中起着重要的作用，但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持，也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以 Petri 网作为行为描述和结构描述的统一基础，提出了一种描述软件体系结构方面及其编织逻辑的形式化方法，并通过实例对相关的概念和模型进行了说明。应用研究表明，该方法描述能力强，不仅能描述复杂的方面结构、行为以及相应的编织逻辑，还可对编织效果进行推理和评价。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨春花	齐鲁工业大学信息学院	8	16	3.0	3.0
2	侯金奎	潍坊学院计算机工程学院	21	116	4.0	10.0