基于Petri Net的软件体系结构描述理论研究

本文档深入探讨了"软件体系结构模型描述的研究"的主题，发表于2002年6月的《南京邮电学院学报》。作者周国强、鲍淑娣和陈春玲从软件工程的角度出发，提出了一个Petri Net的扩展理论，旨在为软件体系结构的正确性描述提供一个简单而全面的框架。 Petri Net，简称PN，是一种强大的工具，它结合了可视化图形表示和严谨的数学基础，特别适合处理异步和并行的系统行为。由于PN不依赖于时间顺序，而是关注事件发生的相对关系，因此能够有效地描述复杂系统的并发特性。这种特性对于软件体系结构的设计尤为重要，因为它强调了全局控制结构、通讯协议、同步协议和数据访问等方面，这些都是构建软件系统的关键元素。 论文指出，尽管目前存在多种系统规格说明和分析方法，但它们往往针对特定系统，缺乏通用性和形式化支持，例如UML虽然适用于面向对象体系结构，但不能确保系统模型的正确性。通过Petri Net的扩展，研究者试图弥补这一空白，提供一种可以在不同抽象层次上描述软件体系结构的方法，同时保持语义的一致性。 值得注意的是，文中提到了软件体系结构的共性，即构件（Component）和连接（Interactions），这是理解软件结构的基础。不同的软件风格，如面向过程、面向对象等，都有各自的术语和表示方式，但Petri Net的理论提供了一种通用的语言，使得开发者能够在跨风格的体系结构设计中找到统一的描述框架。 总结来说，这篇论文的核心贡献在于提出了一种利用Petri Net扩展理论来描述软件体系结构的方法，旨在增强软件工程领域的分析和建模能力，提高软件正确性，并为软件体系结构的标准化和通用化提供新的思考角度。