【摘 要】
：
传统的软件过程模型存在开发效率不高,可移植性差,重用粒度小等缺点.Petri网由于自身的特点,可用于形式化描述软件过程,学术界已有部分研究.但已经发表的研究多是基于高级Pet
论文部分内容阅读
传统的软件过程模型存在开发效率不高,可移植性差,重用粒度小等缺点.Petri网由于自身的特点,可用于形式化描述软件过程,学术界已有部分研究.但已经发表的研究多是基于高级Petri的扩展,十分复杂和繁琐,难以应用到实际软件项目中.综合利用软件过程理论、软件体系结构理论以及Petri网理论,提出了基于体系结构的软件过程Petri网模型(ABSPN),并证明了ABSPN模型具有过程正确性、强连通性、活性和有界性.实践证明,采用ABSPN模型进行软件开发,可以使软件结构清晰,易于理解,可移植性强,重用粒度大.
其他文献
Web集群系统需要同时使用系统各种资源来满足客户的请求,如何做到系统资源均衡分配的同时,使系统资源利用率最优是一个急需解决的问题.针对目前Web集群的应用现状与特性,提出
2008年的汶川大地震已经过去了5年，而这五年恰恰是地震后地质灾害频发的危险期。本文将从分析地震区域地质条件开始，综合各类研究型文章的观点和见解，对汶川大地震的前因后果以
基于MPEG-4的图像压缩编码,为了高效率分割,实现低码率实时压缩, 提出一种快速的基于对称差分的视频分割算法.对图像序列中每连续三帧图像进行对称差分,检测出目标的运动范围
研究了适用于SMP机群的混合编程模型,并把它划分为OpenMP+MPI和Thread+MPI两类.通过研究指出,OpenMP+MPI优于Thread+MPI.在此基础上,重点研究了OpenMP+MPI的实现机制、粗粒度