论文部分内容阅读
随着计算机应用的普及以及软件工程的发展,软件系统己逐渐成为重要的社会资产,帮助越来越多的企业降低成本、提高竞争力。但是,随着软件系统的使用,用户需求等各种不能预计的变更都会导致软件产品不再适用,逐渐成为遗产系统。为了使遗产系统继续服务,必须进行软件演化。为了提高软件演化的效率和质量,需要一个能够支持软件演化的软件过程(也就是软件演化过程)来为软件演化提供整体的任务框架。比如本文中提到的一种软件演化过程元模型EPMM (Evolution Process Meta-Model)就运用了分层的思想,实现在不同的抽象层次上对软件演化过程建模。而对于任何工程问题,时间都是一个不容忽视的重要因素,软件演化过程同样对时间敏感。但是,目前对软件演化过程的建模却常常忽视时间因素,导致无法在过程模型中对时间的约束进行分析与研究。考虑到这个因素,本文对EPMM进行改进,使用延迟Petri网增加时间因素的约束,提出一种能够描述软件演化过程中的时间因素的DTEPMM (Delay Time Evolution Process Meta-Model)另一方面,时间因素的考虑必然增加整个模型的复杂度,使得软件演化过程模型面临更为严峻的“状态空间爆炸”问题,进而为后续网系统的分析、度量、验证等操作造成困难。解决“状态空间爆炸”的最主要方法就是对网系统进行化简,同时保持原有网系统的可达性、时间特性、有界性、活性、公平性、持续性等特征,便于之后对网系统进行分析等操作。因此,本文根据不同的Petri网结构类型,分别就库所融合方法和变迁融合方法提出了一系列针对DTEPMM的化简规则,并对化简后的网对原网的性质特征等的保持等进行论证,简化了未来的分析、度量、验证等操作。