-
题名一种面向同步交互的软件演化过程建模方法
被引量：2
- 1
-
-
作者
钱晔
李彤
郁涌
孙吉红
于倩
彭琳
-
机构
云南农业大学基础与信息工程学院
云南省软件工程重点实验室(云南大学)
云南大学软件学院
云南省科学技术院
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于EPMM的软件过程性质合理性研究
被引量：2
- 2
-
-
作者
代飞
李彤
谢仲文
秦江龙
刘金卓
钱晔
-
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
-
出处
《计算机工程》
CAS
CSCD
2014年第1期72-77,82,共7页
-
基金
国家自然科学基金资助项目(61262024
61262025)
+6 种基金
云南省自然科学基金资助项目(2012FD005
2012FB118
2012FB119)
云南省软件工程重点实验室开放基金资助项目(2010KS01
2011SE04
2012SE307
2012SE101)
-
文摘
为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。
-
关键词
演化过程元模型
软件演化
软件过程
性质合理性
PETRI网
元模型
-
Keywords
Evolution Process Meta-model（EPMM）
software evolution
software process
property soundness
Petri net
meta-model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于EPMM的软件过程行为偏离诊断研究
- 3
-
-
作者
朱锐
李彤
莫启
张璇
王一荃
林雷蕾
代飞
-
机构
云南大学软件学院
云南省软件工程重点实验室(云南大学)
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
-
