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

作     者：于振华 蔡远利 

作者机构：西安交通大学电子与信息工程学院西安710049 

基　　金：国家高技术研究发展计划资助项目 (2 0 0 3AA72 10 70 ) 

出 版 物：《西安交通大学学报》 (Journal of Xi'an Jiaotong University)

年 卷 期：2004年第38卷第12期

页      码：1236-1239,1275页

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

主 题 词：软件体系结构 体系结构描述语言 面向对象Petri网 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0835[0835] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3321/j.issn:0253-987X.2004.12.007

馆 藏 号：203269872...