【摘 要】
：
随着计算机应用的普及以及软件工程的发展,软件系统己逐渐成为重要的社会资产,帮助越来越多的企业降低成本、提高竞争力。但是,随着软件系统的使用,用户需求等各种不能预计的
论文部分内容阅读
随着计算机应用的普及以及软件工程的发展,软件系统己逐渐成为重要的社会资产,帮助越来越多的企业降低成本、提高竞争力。但是,随着软件系统的使用,用户需求等各种不能预计的变更都会导致软件产品不再适用,逐渐成为遗产系统。为了使遗产系统继续服务,必须进行软件演化。为了提高软件演化的效率和质量,需要一个能够支持软件演化的软件过程(也就是软件演化过程)来为软件演化提供整体的任务框架。比如本文中提到的一种软件演化过程元模型EPMM (Evolution Process Meta-Model)就运用了分层的思想,实现在不同的抽象层次上对软件演化过程建模。而对于任何工程问题,时间都是一个不容忽视的重要因素,软件演化过程同样对时间敏感。但是,目前对软件演化过程的建模却常常忽视时间因素,导致无法在过程模型中对时间的约束进行分析与研究。考虑到这个因素,本文对EPMM进行改进,使用延迟Petri网增加时间因素的约束,提出一种能够描述软件演化过程中的时间因素的DTEPMM (Delay Time Evolution Process Meta-Model)另一方面,时间因素的考虑必然增加整个模型的复杂度,使得软件演化过程模型面临更为严峻的“状态空间爆炸”问题,进而为后续网系统的分析、度量、验证等操作造成困难。解决“状态空间爆炸”的最主要方法就是对网系统进行化简,同时保持原有网系统的可达性、时间特性、有界性、活性、公平性、持续性等特征,便于之后对网系统进行分析等操作。因此,本文根据不同的Petri网结构类型,分别就库所融合方法和变迁融合方法提出了一系列针对DTEPMM的化简规则,并对化简后的网对原网的性质特征等的保持等进行论证,简化了未来的分析、度量、验证等操作。
其他文献
【摘要】随着互联网领域的不断发展，催生了新的互联网金融模式，而在现在的模式运行之中，还存在着一定的风险需要避免。本文主要是对互联网金融的监管策略进行简单的分析，促进互联网金融进入到健康的发展轨道之中。 【关键词】互联网金融 风险 监控对策 与传统的金融机制相比，互联网金融能够在互联网上直接操作，限制比较低，操作简单快捷，是一种新兴的业务形态，逐渐被大家所熟知。但是，互联网金融应该怎样健康的发展
金融发展与经济增长问题是当前的一个研究热点.该文从理论和实证两个方面,对其中的金融中介对资本积累和经济增长的促进作用进行了研究,具体做了以下工作：1.对金融发展与发济
随着环境恶化和能源危机,可再生能源的开发和利用已经被提升到了国家战略的高度。其中,分布式微电网实现新能源发电的就地消纳,有效提高了光伏和风电的利用率,具有更高的经济效益,因此受到广泛关注。并网逆变器作为新能源电站与微电网的接口,其控制性能对微电网的供电能力有着重要影响。为此,本文从逆变器谐振、功率设定和故障保护措施方面展开研究,进而对并网逆变器的电流环和功率环提出改进的控制策略。论文分析了LCL滤
该文论述的多媒体CAI系统以图形、图象、动画、文字、声音、音乐和视频等多种媒体生动地表现了《FoxPro数据库管理系统》的教学内容.论文首先介绍了MCA1的知识和MCA1在教育改
该论文以代理服务技术为基础,系统地论述了计算机网络计费系统开发的全部工作过程.并从结构、实施等方面作了介绍.全论文的基本内容包括当前网络计费的状况分析、基于代理服
本文讨论的是基于神经网络的印鉴自动鉴别问题。印鉴鉴别作为一种身份认证手段，它广泛应用于人们的日常生活中。利用传统的手工方法核对印鉴的真伪，易受人为因素和各种客观条件
该文主要概述了远程教育的发展历史,分析了基于Web的网络教学系统的几种教学模式、组成网络教学系统的体系结构,重点讨论了建设该系统的支撑软件所需要具有的一些如师生交互
1976年生于广东,现居重庆。毕业于广州仲恺农业工程大学植保与园艺本科专业,现任山城盆景痴友会所法人、广东省盆景协会理事。初学时深得岭南盆景名师陆学明、苏伦、刘仲明、
该文考虑了因特网时代网络数字信号发布的具体情况,提出了目前存在的一些阻碍资源被广泛利用的问题,总结出这些问题的矛盾中心是网络数字信息发布的无序性.同时,还指出无序性
长期以来，人们只关注发展经济，而忽视了对环境的保护，导致雾霾天数的增多。如何在保护环境的基础上更好的发展经济，是全国要面临的一个重要问题。积极发展城市低碳经济是我国经济