基于面向对象Petri网的软件体系结构描述语言

• 作者: 于振华 蔡远利
• 来源期刊: 西安交通大学学报
• 关键词: 软件体系结构 体系结构描述语言 面向对象Petri网
• 年，卷（期）: 2004,（12）
• 页码范围: 1236-1239,1275
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2004.12.007

摘要

以面向对象Petri网为形式化理论基础,提出了一种基于面向对象Petri网的体系结构描述语言(OPNADL).与传统的体系结构描述语言相比,OPNADL能描述系统的静态和动态语义,可利用Petri网的数学分析方法对系统进行动态分析,能形象、直观地刻画系统的整体和个体特性,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证.通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计,从而提高了系统的开发效率,具有良好的应用前景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡远利	西安交通大学电子与信息工程学院	95	1219	23.0	31.0
2	于振华	西安交通大学电子与信息工程学院	14	223	9.0	14.0