基于面向对象Petri网的软件体系结构描述语言 |
| |
引用本文: | 于振华,蔡远利.基于面向对象Petri网的软件体系结构描述语言[J].西安交通大学学报,2004,38(12):1236-1239,1275. |
| |
作者姓名: | 于振华 蔡远利 |
| |
作者单位: | 西安交通大学电子与信息工程学院,710049,西安 |
| |
基金项目: | 国家高技术研究发展计划资助项目 (2 0 0 3AA72 10 70 ) |
| |
摘 要: | 以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景
|
关 键 词: | 软件体系结构 体系结构描述语言 面向对象Petri网 |
文章编号: | 0253-987X(2004)12-1236-04 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|