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

摘要

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