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

Software Architecture Description Language Based on Object-Oriented Petri Nets

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

A novel architecture description language (OPNADL) that is based on object-oriented Petri nets was proposed. Comparing with the current architecture description languages, OPNADL can describe the static and dynamic semantics, analyze the dynamic behaviors of the software system by making use of the well-established analysis methods for Petri nets, and visually and intuitively depict the overall and individual characteristics of the system. Moreover, the software architecture based on OPNADL can be simulated, analyzed, verified and validated by the supporting tools of Petri nets. Through applying OPNADL to police geographical information system and flexible manufacturing teaching system, it is demonstrated that OPNADL can help architecture designers to effectively analyze and design the complicated, distributed and concurrent software systems, and has bright application perspective.