论文研究面向方面软件体系结构编织的形式化描述方法.pdf

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