基于时间约束的EPMM改进及化简研究

来源 :云南大学 | 被引量 : 0次 | 上传用户:squallleo2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机应用的普及以及软件工程的发展,软件系统己逐渐成为重要的社会资产,帮助越来越多的企业降低成本、提高竞争力。但是,随着软件系统的使用,用户需求等各种不能预计的变更都会导致软件产品不再适用,逐渐成为遗产系统。为了使遗产系统继续服务,必须进行软件演化。为了提高软件演化的效率和质量,需要一个能够支持软件演化的软件过程(也就是软件演化过程)来为软件演化提供整体的任务框架。比如本文中提到的一种软件演化过程元模型EPMM (Evolution Process Meta-Model)就运用了分层的思想,实现在不同的抽象层次上对软件演化过程建模。而对于任何工程问题,时间都是一个不容忽视的重要因素,软件演化过程同样对时间敏感。但是,目前对软件演化过程的建模却常常忽视时间因素,导致无法在过程模型中对时间的约束进行分析与研究。考虑到这个因素,本文对EPMM进行改进,使用延迟Petri网增加时间因素的约束,提出一种能够描述软件演化过程中的时间因素的DTEPMM (Delay Time Evolution Process Meta-Model)另一方面,时间因素的考虑必然增加整个模型的复杂度,使得软件演化过程模型面临更为严峻的“状态空间爆炸”问题,进而为后续网系统的分析、度量、验证等操作造成困难。解决“状态空间爆炸”的最主要方法就是对网系统进行化简,同时保持原有网系统的可达性、时间特性、有界性、活性、公平性、持续性等特征,便于之后对网系统进行分析等操作。因此,本文根据不同的Petri网结构类型,分别就库所融合方法和变迁融合方法提出了一系列针对DTEPMM的化简规则,并对化简后的网对原网的性质特征等的保持等进行论证,简化了未来的分析、度量、验证等操作。
其他文献
【摘要】随着互联网领域的不断发展,催生了新的互联网金融模式,而在现在的模式运行之中,还存在着一定的风险需要避免。本文主要是对互联网金融的监管策略进行简单的分析,促进互联网金融进入到健康的发展轨道之中。  【关键词】互联网金融 风险 监控对策  与传统的金融机制相比,互联网金融能够在互联网上直接操作,限制比较低,操作简单快捷,是一种新兴的业务形态,逐渐被大家所熟知。但是,互联网金融应该怎样健康的发展
随着环境恶化和能源危机,可再生能源的开发和利用已经被提升到了国家战略的高度。其中,分布式微电网实现新能源发电的就地消纳,有效提高了光伏和风电的利用率,具有更高的经济效益,因此受到广泛关注。并网逆变器作为新能源电站与微电网的接口,其控制性能对微电网的供电能力有着重要影响。为此,本文从逆变器谐振、功率设定和故障保护措施方面展开研究,进而对并网逆变器的电流环和功率环提出改进的控制策略。论文分析了LCL滤
本文讨论的是基于神经网络的印鉴自动鉴别问题。印鉴鉴别作为一种身份认证手段,它广泛应用于人们的日常生活中。利用传统的手工方法核对印鉴的真伪,易受人为因素和各种客观条件
长期以来,人们只关注发展经济,而忽视了对环境的保护,导致雾霾天数的增多。如何在保护环境的基础上更好的发展经济,是全国要面临的一个重要问题。积极发展城市低碳经济是我国经济