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

被引：11

作者：

张友生

陈松乔

机构：

[1] 中南大学信息科学与工程学院,中南大学信息科学与工程学院湖南长沙,湖南长沙

来源：

小型微型计算机系统 | 2005年 / 01期

基金：

湖南省自然科学基金;

关键词：

软件过程; 软件体系结构; Petri网; 进化;

D O I：

暂无

中图分类号：

TP311 [程序设计、软件工程];

学科分类号：

081205 [计算机软件];

摘要：

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

引用

页码：79 / 83

页数：5

共 5 条

[1]

一类Petri网系统的活性 [J].