基于Petri网的软件体系结构编织形式化描述方法

摘要：

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

关键词： 软件工程 体系结构 形式化描述方法 Petri网

作者: 侯金奎 杨春花

作者单位: 潍坊学院 计算机工程学院, 潍坊 261061 齐鲁工业大学 信息学院, 济南 250353

会议类型: 国内会议

会议名称: 第十四届全国Petri 网理论与应用学术年会

会议地点: 西安

会议语种:中文

页码: 1-7

在线出版日期: 2013-08-23（万方平台首次上网日期，不代表论文的发表时间）