基于体系结构的软件过程Petri网模型

• 作者: 张友生 陈松乔
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 软件过程 软件体系结构 Petri网 进化
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 分布式处理技术与嵌入式系统
• 页码范围: 79-83
• 页数: 5页
• 分类号: TP311
• 字数: 5881字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2005.01.018

摘要

传统的软件过程模型存在开发效率不高,可移植性差,重用粒度小等缺点.Petri网由于自身的特点,可用于形式化描述软件过程,学术界已有部分研究.但已经发表的研究多是基于高级Petri的扩展,十分复杂和繁琐,难以应用到实际软件项目中.综合利用软件过程理论、软件体系结构理论以及Petri网理论,提出了基于体系结构的软件过程Petri网模型(ABSPN),并证明了ABSPN模型具有过程正确性、强连通性、活性和有界性.实践证明,采用ABSPN模型进行软件开发,可以使软件结构清晰,易于理解,可移植性强,重用粒度大.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈松乔	中南大学信息科学与工程学院	316	3775	27.0	45.0
2	张友生	中南大学信息科学与工程学院	4	62	3.0	4.0