基于Petri Net软件体系结构模型的描述 |
| |
引用本文: | 周国强,陈春玲.基于Petri Net软件体系结构模型的描述[J].计算机工程与应用,2002,38(24):114-117. |
| |
作者姓名: | 周国强 陈春玲 |
| |
作者单位: | 南京邮电学院计算机科学与技术系,南京,210003 |
| |
摘 要: | 软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。
|
关 键 词: | 软件体系结构 Uninet 抽象库所 抽象变迁 |
文章编号: | 1002-8331-(2002)24-0114-04 |
修稿时间: | 2001年11月1日 |
本文献已被 维普 万方数据 等数据库收录! |
|