-
题名基于Petri Net软件体系结构模型的描述
被引量：1
- 1
-
-
作者
周国强
陈春玲
-
机构
南京邮电学院计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第24期114-117,共4页
-
文摘
软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。
-
关键词
软件体系结构
抽象库所
抽象变迁
软件工程
PETRINET
-
Keywords
software architecture,uninet,abstract place,abstract transition
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
