基于SPEM的CMM软件过程元模型 被引量：10

1

作者 李娟 李明树 +1 位作者 武占春 王青 《软件学报》 EI CSCD 北大核心 2005年第8期1366-1377,共12页

软件企业在实施CMM(capabilitymaturitymodelforsoftware)的过程中面临最主要的障碍是如何将CMM软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过... 软件企业在实施CMM(capabilitymaturitymodelforsoftware)的过程中面临最主要的障碍是如何将CMM软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型——SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UMLCASE工具操作CMM软件过程模型. 展开更多

关键词 CMM 软件过程元模型 软件过程工程元模型 模型驱动架构 模型转换

在线阅读 下载PDF 职称材料

工作流过程元模型研究 被引量：11

2

作者 任洪涛 齐璇 柳军飞 《计算机工程与设计》 CSCD 2003年第8期18-21,共4页

介绍了工作流过程元模型的相关概念,着重分析了几种具有代表性的工作流过程元模型,提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI,一种新的工作流模式即转移依赖分支模式被实现,最后介绍了MINI工作流管理系统。

关键词 工作流 过程元模型 建模 工作流管理系统 软件系统

在线阅读 下载PDF 职称材料

基于高斯过程元模型的产品设计时间估计方法 被引量：8

3

作者 张昆仑 刘新亮 郭波 《计算机集成制造系统》 EI CSCD 北大核心 2011年第1期18-22,共5页

为更精确地预测产品设计时间,将高斯过程元模型建模方法应用于产品设计时间估计中,介绍了高斯过程元模型的建模原理。考虑产品设计时间影响因素中存在语言型变量的问题,利用Hausdorff距离辅助构造高斯过程建模中的相关矩阵,通过算例分... 为更精确地预测产品设计时间,将高斯过程元模型建模方法应用于产品设计时间估计中,介绍了高斯过程元模型的建模原理。考虑产品设计时间影响因素中存在语言型变量的问题,利用Hausdorff距离辅助构造高斯过程建模中的相关矩阵,通过算例分析证明高斯过程元模型优于已有的两种模糊神经网络模型。 展开更多

关键词 元模型 高斯过程元模型 产品设计 时间估计 HAUSDORFF距离

在线阅读 下载PDF 职称材料

高斯过程元模型建模方法及在火箭弹气动分析中应用 被引量：3

4

作者 刘新亮 张昆仑 郭波 《固体火箭技术》 EI CAS CSCD 北大核心 2010年第5期486-490,共5页

为解决复杂系统多学科优化中高精度仿真模型计算时间过长问题,提出高斯过程元模型建模方法。首先介绍了高斯过程元模型建模方法,提出高斯过程元模型建模步骤。算例分析证明,高斯过程元模型优于2种已有元模型。高斯过程元模型能够理论上... 为解决复杂系统多学科优化中高精度仿真模型计算时间过长问题,提出高斯过程元模型建模方法。首先介绍了高斯过程元模型建模方法,提出高斯过程元模型建模步骤。算例分析证明,高斯过程元模型优于2种已有元模型。高斯过程元模型能够理论上统一常用的元模型建模方法,在元模型建模领域具有良好的应用前景。 展开更多

关键词 火箭弹气动分析 多学科设计优化 高斯过程元模型

在线阅读 下载PDF 职称材料

支持领域复用的过程元模型 被引量：1

5

作者 李长云 邬惠峰 +1 位作者 应晶 李赣生 《小型微型计算机系统》 CSCD 北大核心 2006年第6期1083-1087,共5页

过程的复用问题如同软件本身的复用性,具有同样重要的意义.提出了一种支持领域复用的过程元模型.借鉴OO技术中的类继承概念,以表示领域业务过程间的共性以及抽象---特化父子关系;通过参数化模板机制的使用,增强过程的抽象表示能力.据此... 过程的复用问题如同软件本身的复用性,具有同样重要的意义.提出了一种支持领域复用的过程元模型.借鉴OO技术中的类继承概念,以表示领域业务过程间的共性以及抽象---特化父子关系;通过参数化模板机制的使用,增强过程的抽象表示能力.据此设计了独立于具体平台的过程定义语言,通过映射机制可转换为特定的过程定义语言如WSFL、WPDL等,从而可被各种工作流引擎执行.实现了过程建模工具PMBuilder. 展开更多

关键词 业务过程 过程元模型 过程定义语言 过程建模工具

在线阅读 下载PDF 职称材料

支持动态修改的MINI工作流过程元模型 被引量：1

6

作者 齐璇 《计算机工程与科学》 CSCD 2007年第7期138-140,共3页

工作流过程元模型是指导工作流管理系统过程建模的基础。本文分析了当前几种重要的工作流过程元模型,对WfMC的工作流过程元模型进行了扩展,提出了一种支持动态修改的MINI工作流过程元模型。

关键词 工作流 过程元模型 任务 转移 规则

在线阅读 下载PDF 职称材料

一种支持简便重构的过程元模型

7

作者 李新 许元坤 《计算机工程与科学》 CSCD 北大核心 2015年第2期294-308,共15页

工作流提倡过程逻辑与业务逻辑分离的理念,然而,业务过程中普遍存在的过程-业务动态关联的特性使这一理念在实际中难以得到贯彻,过程控制与业务处理常常以程序代码的形式耦合在一起,导致业务过程建模复杂,过程重构工作量大且不易实施。... 工作流提倡过程逻辑与业务逻辑分离的理念,然而,业务过程中普遍存在的过程-业务动态关联的特性使这一理念在实际中难以得到贯彻,过程控制与业务处理常常以程序代码的形式耦合在一起,导致业务过程建模复杂,过程重构工作量大且不易实施。分析了WFMC元模型在过程逻辑表示方法上的局限性和难以支持业务过程简便重构的原因,提出了一种新的过程元模型—ESR元模型,在模型中加入了事件、状态和规则等模型元素,能够以规范的形式通过过程定义的方法表示过程-业务的动态关联;基于ESR元模型的工作流模型框架清晰划分了过程逻辑与业务逻辑的界限,对"刚性过程"和"柔性过程"使用统一的过程定义方法进行建模,更好地支持了过程逻辑与业务逻辑的分离;当过程逻辑发生变化时,根据不同的变化内容,可以在不同的模型层次上对过程定义进行修改以应对系统变更的需求,从而实现过程的简便重构。 展开更多

关键词 工作流 过程元模型 过程逻辑 过程-业务的动态关联 简便重构

在线阅读 下载PDF 职称材料

一种改进的柔性工作流过程定义元模型研究 被引量：2

8

作者 徐劲松 丁志强 陈卫 《计算机工程与应用》 CSCD 北大核心 2008年第4期77-79,158,共4页

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作... 由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。 展开更多

关键词 工作流 过程定义元模型 工作流过程定义语言 柔性

在线阅读 下载PDF 职称材料

RGPS过程层元模型正确性验证 被引量：1

9

作者 袁开银 郭瑞 +1 位作者 陆翔升 吴尽昭 《计算机工程》 CAS CSCD 2012年第15期39-42,共4页

利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-fly等优化技术对Promela模型进行正确性验证,设计并实现RGPS过程层元模型正确性验证平台。通过城市交通系... 利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-fly等优化技术对Promela模型进行正确性验证,设计并实现RGPS过程层元模型正确性验证平台。通过城市交通系统实例证明该验证方法的正确性和有效性。 展开更多

关键词 RGPS框架 Promela建模 Spin模型检测工具 过程层元模型 线性时序逻辑

在线阅读 下载PDF 职称材料

生产型虚拟制造系统过程模型的Z规范技术 被引量：2

10

作者 赵晓峰 赵正旭 +1 位作者 周以齐 杨超英 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1634-1642,共9页

为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种... 为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧。过程要素的Z规范描述保证了数据语义的准确性和无二义性。通过对典型的车间生产和装配过程进行建模,验证了元模型的有效性。 展开更多

关键词 虚拟制造 过程元模型 集成 Z规范 形式化

在线阅读 下载PDF 职称材料

设备操作控制过程模型及其仿真环境的规范化研究

11

作者 赵晓峰 赵正旭 +1 位作者 周以齐 杨超英 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第3期345-351,共7页

为实现面向设备操作训练和设备控制优化虚拟仿真系统的数据和应用分离,从而实现此类虚拟系统的快速重建和数据共享,提出了采用形式化工具Z语言进行数据特征和属性描述的规范化研究方法.重点对设备控制相关要素,如设备几何、控制过程进... 为实现面向设备操作训练和设备控制优化虚拟仿真系统的数据和应用分离,从而实现此类虚拟系统的快速重建和数据共享,提出了采用形式化工具Z语言进行数据特征和属性描述的规范化研究方法.重点对设备控制相关要素,如设备几何、控制过程进行了规范.提出了一种基于元模型的控制过程建模方法,以受控运动为核心,关联控制过程中的驱动部件、从动部件、运动模式及相关数据,设计的逻辑节点实现了过程并行.选取某立体车库进行建模,验证了元模型的有效性.采用Z语言描述规范,保证了数据语义的准确、无二义性. 展开更多

关键词 虚拟环境 设备操作与控制 Z语言 形式化 控制过程元模型

在线阅读 下载PDF 职称材料

工作流元模型到SPEM的扩展与映射

12

作者 赵宗敏 吴海涛 王洋 《计算机应用》 CSCD 北大核心 2010年第3期617-619,共3页

为了提高软件开发效率、实现软件过程管理规范化,将工作流技术应用于软件开发过程,实现软件过程自动化管理。软件过程工程元模型(SPEM)是软件过程建模的基础,是一种通用的框架,适合不同类型的生命周期模型。根据软件过程的特点,扩展了... 为了提高软件开发效率、实现软件过程管理规范化,将工作流技术应用于软件开发过程,实现软件过程自动化管理。软件过程工程元模型(SPEM)是软件过程建模的基础,是一种通用的框架,适合不同类型的生命周期模型。根据软件过程的特点,扩展了工作流元模型,制定了SPEM和工作流元模型之间的映射规则,实现了这两种元模型之间的映射,以瀑布模型为例验证了具有软件过程特点的工作流元模型的有效性。通过工作流引擎解析映射后的工作流元模型,实现软件过程的自动化管理。 展开更多

关键词 软件过程工程元模型 工作流 软件过程 瀑布模型

在线阅读 下载PDF 职称材料

基于SPEM扩展元模型的PSP实施方法

13

作者 郭军 袁峰 +1 位作者 阮利 周津慧 《计算机应用研究》 CSCD 北大核心 2008年第3期775-778,共4页

提出了一种支持PSP过程的SPEM扩展元模型P-SPEM,并给出了基于P-SPEM的PSP实施过程及支持该过程的原型工具。其中使用PROBE方法帮助个体进行项目计划和估算,用DEA分析方法综合评价工程师的过程性能,有效地指导工程师实施PSP。

关键词 个体软件过程 软件过程工程元模型 数据包络分析

在线阅读 下载PDF 职称材料

基于活动理论的适应性过程集成框架 被引量：5

14

作者 张建富 郝永平 刘永贤 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第9期765-770,共6页

依据产品开发过程的现状和特点,通过分析活动理论中的有关概念、原理及活动理论下过程集成的方法,提出了基于活动理论的过程集成体系结构。以活动理论为基础,分别阐述了过程集成的方法、过程的描述、适应性计划原理、过程的跟踪及监控... 依据产品开发过程的现状和特点,通过分析活动理论中的有关概念、原理及活动理论下过程集成的方法,提出了基于活动理论的过程集成体系结构。以活动理论为基础,分别阐述了过程集成的方法、过程的描述、适应性计划原理、过程的跟踪及监控显示方式等,并且给出了适应性过程管理反馈结构的框架。最后示范了在该体系下弹丸设计过程的应用情况。 展开更多

关键词 活动理论 活动单元 过程集成 过程元模型

在线阅读 下载PDF 职称材料

基于EPMM的软件过程性质合理性研究 被引量：2

15

作者 代飞 李彤 +3 位作者 谢仲文 秦江龙 刘金卓 钱晔 《计算机工程》 CAS CSCD 2014年第1期72-77,82,共7页

为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实... 为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。 展开更多

关键词 演化过程元模型 软件演化 软件过程 性质合理性 PETRI网 元模型

在线阅读 下载PDF 职称材料

基于EPMM的软件过程行为偏离诊断研究

16

作者 朱锐 李彤 +4 位作者 莫启 张璇 王一荃 林雷蕾 代飞 《计算机科学》 CSCD 北大核心 2014年第11期56-62,共7页

近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软... 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。 展开更多

关键词 软件过程 行为偏离诊断 软件演化过程元模型 软件过程行为空间 进程代数

在线阅读 下载PDF 职称材料

协同任务调度构架模型及关键算法研究 被引量：4

17

作者 李文隽 万麟瑞 《计算机工程与设计》 CSCD 北大核心 2008年第16期4235-4237,4241,共4页

为提高协同工作平台服务系统的协同任务调度的柔性及系统的平台伸缩性,需要从调度过程、软件结构和调度算法等方面进行研究。首先提出协同任务调度软件构架模型,采用多种软件优化方法对构架模型进行优化。然后提出驱动协同任务调度的过... 为提高协同工作平台服务系统的协同任务调度的柔性及系统的平台伸缩性,需要从调度过程、软件结构和调度算法等方面进行研究。首先提出协同任务调度软件构架模型,采用多种软件优化方法对构架模型进行优化。然后提出驱动协同任务调度的过程元模型。最后,研究协同任务调度中的成员指派过程的关键算法,给出算法的形式化描述,并对算法效果进行验证。该软件构架和算法在实际应用中取得良好效果。 展开更多

关键词 协同任务调度 软件构架 模型优化 过程元模型 成员指派算法

在线阅读 下载PDF 职称材料

一种面向同步交互的软件演化过程建模方法 被引量：2

18

作者 钱晔 李彤 +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 职称材料

软件度量的概念模型

19

作者 侯红 刘晓霞 郝克刚 《计算机科学》 CSCD 北大核心 2008年第3期258-260,共3页

度量面临的重要问题是建立引入和运用度量的一个有效的方法和框架。使用统一的术语、明确的语义对组织的过程模型进行定义;创建具体的度量模型参考框架的度量元模型,建立组织整体的度量管理。为解决上述问题,本文建立了软件度量的概念模... 度量面临的重要问题是建立引入和运用度量的一个有效的方法和框架。使用统一的术语、明确的语义对组织的过程模型进行定义;创建具体的度量模型参考框架的度量元模型,建立组织整体的度量管理。为解决上述问题,本文建立了软件度量的概念模型CMMP(Conceptual Model of Measurement Process),它是基于软件过程工程元模型(SPEM)的,从而可与现有的过程模型有效地集成。 展开更多

关键词 软件度量 软件过程改进 软件过程工程元模型

在线阅读 下载PDF 职称材料

SPEM2XPDL模型转换研究

20

作者 万志刚 袁峰 周津慧 《计算机应用研究》 CSCD 北大核心 2007年第4期42-46,共5页

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。... 将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。 展开更多

关键词 软件过程工程元模型 可扩展标记语言过程定义语言 软件过程 工作流 模型转换

在线阅读 下载PDF 职称材料