题名 基于SPEM的CMM软件过程元模型
被引量:10
1
作者
李娟
李明树
武占春
王青
机构
中国科学院软件研究所互联网软件技术实验室
出处
《软件学报》
EI
CSCD
北大核心
2005年第8期1366-1377,共12页
基金
No.60273026国家自然科学基金
Nos.2002AA116060
2001AA113080国家高技术研究发展计划(863)~~
文摘
软件企业在实施CMM(capabilitymaturitymodelforsoftware)的过程中面临最主要的障碍是如何将CMM软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型——SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UMLCASE工具操作CMM软件过程模型.
关键词
CMM
软件过程元模型
软件 过程 工程元 模型
模型 驱动架构
模型 转换
Keywords
CMM
software process metamodel
SPEM(software process engineering metamodel)
MDA(model driven architecture)
model transformation
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种面向同步交互的软件演化过程建模方法
被引量:2
2
作者
钱晔
李彤
郁涌
孙吉红
于倩
彭琳
机构
云南农业大学基础与信息工程学院
云南省软件工程重点实验室(云南大学)
云南大学软件学院
云南省科学技术院
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
题名 软件度量的概念模型
3
作者
侯红
刘晓霞
郝克刚
机构
西北大学计算机科学系
出处
《计算机科学》
CSCD
北大核心
2008年第3期258-260,共3页
基金
国家863计划(编号:2004AA115090)资助
文摘
度量面临的重要问题是建立引入和运用度量的一个有效的方法和框架。使用统一的术语、明确的语义对组织的过程模型进行定义;创建具体的度量模型参考框架的度量元模型,建立组织整体的度量管理。为解决上述问题,本文建立了软件度量的概念模型CMMP(Conceptual Model of Measurement Process),它是基于软件过程工程元模型(SPEM)的,从而可与现有的过程模型有效地集成。
关键词
软件 度量
软件 过程 改进
软件 过程 工程元 模型
Keywords
Software measurement, Software process improvement, SPEMSoftware measurement, Software process improvement, SPEMSoftware measurement, Software process improvement, SPEM
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 基于EPMM的软件过程行为偏离诊断研究
4
作者
朱锐
李彤
莫启
张璇
王一荃
林雷蕾
代飞
机构
云南大学软件学院
云南省软件工程重点实验室(云南大学)
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
题名 工作流元模型到SPEM的扩展与映射
5
作者
赵宗敏
吴海涛
王洋
机构
上海师范大学信息与机电工程学院
出处
《计算机应用》
CSCD
北大核心
2010年第3期617-619,共3页
文摘
为了提高软件开发效率、实现软件过程管理规范化,将工作流技术应用于软件开发过程,实现软件过程自动化管理。软件过程工程元模型(SPEM)是软件过程建模的基础,是一种通用的框架,适合不同类型的生命周期模型。根据软件过程的特点,扩展了工作流元模型,制定了SPEM和工作流元模型之间的映射规则,实现了这两种元模型之间的映射,以瀑布模型为例验证了具有软件过程特点的工作流元模型的有效性。通过工作流引擎解析映射后的工作流元模型,实现软件过程的自动化管理。
关键词
软件 过程 工程元 模型
工作流
软件 过程
瀑布模型
Keywords
Software Process Engineering Meta-Model(SPEM)
workflow
software process
waterfall model
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于SPEM扩展元模型的PSP实施方法
6
作者
郭军
袁峰
阮利
周津慧
机构
中国科学院软件研究所互联网软件技术实验室
出处
《计算机应用研究》
CSCD
北大核心
2008年第3期775-778,共4页
基金
国家“863”计划资助项目(2006AA01Z182)
国家自然科学基金资助项目(60473060)
文摘
提出了一种支持PSP过程的SPEM扩展元模型P-SPEM,并给出了基于P-SPEM的PSP实施过程及支持该过程的原型工具。其中使用PROBE方法帮助个体进行项目计划和估算,用DEA分析方法综合评价工程师的过程性能,有效地指导工程师实施PSP。
关键词
个体软件 过程
软件 过程 工程元 模型
数据包络分析
Keywords
PSP( personal software process)
SPEM (software process engineering meta-model)
DEA( data envelopment analysis )
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 SPEM2XPDL模型转换研究
7
作者
万志刚
袁峰
周津慧
机构
中国科学院软件所互联网软件技术实验室
出处
《计算机应用研究》
CSCD
北大核心
2007年第4期42-46,共5页
基金
国家自然科学基金资助项目(60273026)
国家"863"计划资助项目(2005AA113140)
文摘
将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。
关键词
软件 过程 工程元 模型
可扩展标记语言过程 定义语言
软件 过程
工作流
模型 转换
Keywords
SPEM (software process engineering metamodel)
XPDL( XML process definition language)
software process
workflow
model transformation
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]