【摘 要】
：
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析
【机 构】
：
云南大学软件学院,云南省软件工程重点实验室
【基金项目】
：
国家自然科学基金项目（61379032,61262024,60122025）, 云南省软件工程重点实验室开放基金面上项目（2012SE308,2012SE309）, 云南省教育厅科学研究基金（2014Y012）资助
论文部分内容阅读
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。
其他文献
针对推荐系统不能有效进行个性化推荐问题,在协同过滤过程中引入语义校验,通过对基于用户的协同过滤推荐结果进行语义校验,剔除概率较低的推荐结果,选择概率较高的结果推荐给
文章详细分析和区分了桶型基础平台贯沉深度测量所需考虑的各噪声成分及其有用成分 ,并建立了相应的数学模型。针对波浪噪声特性 ,通过与传统去噪方式作比较 ,将小波分析去噪的优势、本质及原理进行了一一阐述。同时用MATLAB对一原始信号作了试验性处理
针对传统伊藤算法收敛速度慢、易陷入局部最优解的缺陷，重新设计了环境温度调节函数，并改进了粒子漂移和波动时的路径权重更新规则，使粒子更符合布朗运动的特性。把多种群概念引
针对卫星姿态仿真系统非线性和时变性的特点,提出了一种基于最小方差优化算法的神经网络预测控制器,同时预测模型采用系统主特性与非线性补偿两部分网络叠加的结构,较好地利
文章给出了四级倒立摆系统的硬件组成,分析了四级倒立摆的系统结构、建立了数学模型.分析了系统的可控性、可观测性,给出了一种基于状态变量合成的模糊神经网络控制控制方法.
多协议标记交换(MPLS)由IETF制订标准以来,得到了迅速的发展和应用.在Internet上,该技术已成为下一代网络通信中提高网络性能、容量的关键,文章介绍了MPLS技术的发展过程、特
根据移动机器人跟踪控制和运动规划的目的,设计了一套计算机控制系统,其中包括计算机控制部分、直流伺服电机驱动部分、视觉系统部分和电机转向分辨电路部分,以及控制程序设
学习算法是BP前馈神经网络研究中的核心问题.文中阐述了几种重要的BP算法的改进算法,提出了一种新的学习算法,即自动调整S型函数形状的算法,从理论上证明了此方法在一定前提
文章介绍了机载火控计算机智能测试系统的功能、硬件及软件的设计思想 ,对机载火控计算机各模拟输入信号的产生提出了解决的方法 ,系统的可靠性和测试精度达到了设计要求
介绍了一种图像传输系统中的接口子系统,提出了采用ADSP2181数字信号处理器芯片和USBN9604芯片的USB接口板的具体实现方法,给出了应用实例、固件编程框图及源代码,对计算机的