期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
一种基于Bigraph理论的软件演化过程模型研究 被引量:2
1
作者 刘培培 章勇 +1 位作者 莫启 邵振 《计算机应用研究》 CSCD 北大核心 2013年第5期1423-1426,共4页
基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构... 基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。 展开更多
关键词 软件演化过程模型 Bigraph理论 Bigraph反应系统 动态性 完整性
下载PDF
通过模型比较构造软件演化的过程模型 被引量:1
2
作者 李飞 李彤 《计算机应用与软件》 CSCD 北大核心 2008年第5期25-28,共4页
为了得到软件系统的演化过程模型,引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较,可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动,这样的活动通过在软件的代码、数据和... 为了得到软件系统的演化过程模型,引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较,可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动,这样的活动通过在软件的代码、数据和文档三个层面的映射便具有了实际意义,以此为基础所构造的演化活动图能够最终转换为Petri网形式的演化过程模型。 展开更多
关键词 软件演化过程模型 软件演化 工作模型 模型比较
下载PDF
一种面向同步交互的软件演化过程建模方法 被引量:2
3
作者 钱晔 李彤 +3 位作者 郁涌 孙吉红 于倩 彭琳 《计算机科学》 CSCD 北大核心 2016年第8期154-158,共5页
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])... 全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。 展开更多
关键词 软件演化过程的元模型 通信系统演算 同步交互
下载PDF
软件演化过程建模中的开发人员度量方法
4
作者 陈展 《计算机工程与设计》 CSCD 北大核心 2007年第21期5305-5307,共3页
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明... 提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。 展开更多
关键词 形式化的软件演化过程模型 度量开发人员 X-S图 稳定性 开发过程演化
下载PDF
面向同步交互的软件演化过程全局层和过程层的建模 被引量:1
5
作者 钱晔 彭琳 +3 位作者 李彤 郁湧 李文峰 孙吉红 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2018年第4期638-644,共7页
在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EPMM构建的软件演化过程模型描述的同步交互是非形式化的问题,提出了使用通信系统演算CCS为形式工具的分布... 在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EPMM构建的软件演化过程模型描述的同步交互是非形式化的问题,提出了使用通信系统演算CCS为形式工具的分布式软件演化过程元模型CEPMM.基于CEPMM构建分布式软件演化过程多层模型,包括全局层、过程层、活动层及任务层:任务是原子的,不可分割;为建立分布式软件演化过程全局层和过程层模型提出一种建模方法;最后为实现基于EPMM建模到基于CEPMM建模全局层和过程层转化,在Visual Studio平台下使用C#语言研发出工具CLPmodel.结果表明:全局层和过程层模型的建立,为在该粒度上对分布式软件演化过程的可信分析与研究奠定基础. 展开更多
关键词 同步交互 可信 软件演化过程的元模型 通信系统演算
下载PDF
基于EPMM的软件过程行为偏离诊断研究
6
作者 朱锐 李彤 +4 位作者 莫启 张璇 王一荃 林雷蕾 代飞 《计算机科学》 CSCD 北大核心 2014年第11期56-62,共7页
近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软... 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。 展开更多
关键词 软件过程 行为偏离诊断 软件演化过程模型 软件过程行为空间 进程代数
下载PDF
一种基于SEPM的过程片断效率度量和改进
7
作者 陈展 李彤 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第S2期40-44,共5页
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略.效率度量可以帮助我们了解模块的执行效率和并行度.对于一个从SEPM中被截取下来的过程片断,介绍了如何通过定制它的效率度量原则、方法、步骤来进行定量分析和评价,... 提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略.效率度量可以帮助我们了解模块的执行效率和并行度.对于一个从SEPM中被截取下来的过程片断,介绍了如何通过定制它的效率度量原则、方法、步骤来进行定量分析和评价,根据SEPM的特点制定改进策略,挖掘和拓延活动内和活动间的并行性,从而提高该过程片断的效率,使它有能力,为评价整个软件演化模型的效率奠定基础. 展开更多
关键词 形式化的软件演化过程模型 过程片断 效率度量 改进策略 挖掘拓延并行性
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部