论文部分内容阅读
软件体系结构是软件工程中一个新兴的研究热点，但是没有一个比较通用的描述规范，因此体系结构的完整性，一致性和正确性等都无法保证，该文提出的一个Petri Net的扩展理论，给出了抽象库所和抽象变迁的概念，为构件的信息隐藏，控制流的抽象提供了可能，同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍，吸取了PN强大而完整的描述能力，严谨的验证体系，为软件体系结构描述和正确性提供了一个比较简单，但是完整的基于Net的描述方法。