题名 一种基于Bigraph理论的软件演化过程模型研究
被引量：2
1
作者
刘培培 章勇 莫启 邵振
机构
南京航空航天大学计算机科学与技术学院 云南大学软件学院
出处
《计算机应用研究》
CSCD
北大核心
2013年第5期1423-1426,共4页
文摘
基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。
关键词
软件演化过程模型 Bigraph理论 Bigraph反应系统 动态性 完整性
Keywords
model of software evolution process Bigraph theroy Bigraph reaction system dynamic integrity
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 通过模型比较构造软件演化的过程模型
被引量：1
2
作者
李飞 李彤
机构
云南大学信息学院
出处
《计算机应用与软件》
CSCD
北大核心
2008年第5期25-28,共4页
基金
国家自然科学基金资助项目(60463002) 云南省教育厅科研基金重点资助项目(04Z290D)。
文摘
为了得到软件系统的演化过程模型,引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较,可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动,这样的活动通过在软件的代码、数据和文档三个层面的映射便具有了实际意义,以此为基础所构造的演化活动图能够最终转换为Petri网形式的演化过程模型。
关键词
软件演化过程模型 软件 演化 工作模型 模型 比较
Keywords
Software evolution process model Software evolution Work model Model comparison
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 一种面向同步交互的软件演化过程建模方法
被引量：2
3
作者
钱晔 李彤 郁涌 孙吉红 于倩 彭琳
机构
云南农业大学基础与信息工程学院 云南省软件工程重点实验室(云南大学) 云南大学软件学院 云南省科学技术院
出处
《计算机科学》
CSCD
北大核心
2016年第8期154-158,共5页
基金
国家自然科学基金项目:软件演化过程的行为验证研究(61262024) 国家自然科学基金项目:基于构件的可信软件构造及其行为动态可信测评(61462091) +1 种基金 云南省科技厅面上项目:基于构件的可信软件构造及其相关问题研究(2012FB119) 云南省教育厅科研重点项目:基于构件的可信软件构造及其可信测评(2013Z057)资助
文摘
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。
关键词
软件 演化过程 的元模型 通信系统演算 同步交互
Keywords
Software evolution process meta-model（CEPMM） ,Calculus of communication systems（CCS）, Synchronous interaction
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 软件演化过程建模中的开发人员度量方法
4
作者
陈展
机构
云南大学计算机科学与工程系
出处
《计算机工程与设计》
CSCD
北大核心
2007年第21期5305-5307,共3页
基金
国家自然科学基金项目(60463002) 云南省教育厅科研重点基金项目(042290D) 云南省信息技术专项计划基金项目(2004IT06)
文摘
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。
关键词
形式化的软件演化过程模型 度量开发人员 X-S图 稳定性 开发过程 的演化
Keywords
FSEPM measuring developers X-Scharts stability evolution ofmodelingprocess
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于EPMM的软件过程行为偏离诊断研究
5
作者
朱锐 李彤 莫启 张璇 王一荃 林雷蕾 代飞
机构
云南大学软件学院 云南省软件工程重点实验室(云南大学)
出处
《计算机科学》
CSCD
北大核心
2014年第11期56-62,共7页
基金
国家自然科学基金项目(60963007 61262024 +5 种基金 61262025) 云南省自然科学基金项目(2007F008M) 云南大学软件学院学科建设基金资助项目(2010KS01) 云南省软件工程重点实验室开放基金项目(2010KS01) 云南大学研究生科研课题项目(ynuy201265 ynuy201375)资助
文摘
近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。
关键词
软件 过程 行为偏离诊断 软件 演化过程 元模型 软件 过程 行为空间进程代数
Keywords
Software process Behavior deviation diagnostic EPMM Software process behavior space Process algebra
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
