基于Petri Net软件体系结构模型的描述

• 作者: 周国强 陈春玲
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件体系结构 Uninet 抽象库所 抽象变迁
• 年，卷（期）: 2002,（24）
• 所属期刊栏目: 学术探讨
• 页码范围: 114-117
• 页数: 4页
• 分类号: TP311
• 字数: 3740字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2002.24.038

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈春玲	南京邮电学院计算机科学与技术系	72	533	13.0	19.0
2	周国强	南京邮电学院计算机科学与技术系	20	67	5.0	6.0