一种面向同步交互的软件演化过程建模方法

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。

一种基于Bigraph理论的软件演化过程模型研究

基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。

面向同步交互的软件演化过程全局层和过程层的建模

在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EPMM构建的软件演化过程模型描述的同步交互是非形式化的问题,提出了使用通信系统演算CCS为形式工具的分布式软件演化过程元模型CEPMM.基于CEPMM构建分布式软件演化过程多层模型,包括全局层、过程层、活动层及任务层:任务是原子的,不可分割;为建立分布式软件演化过程全局层和过程层模型提出一种建模方法;最后为实现基于EPMM建模到基于CEPMM建模全局层和过程层转化,在Visual Studio平台下使用C#语言研发出工具CLPmodel.结果表明:全局层和过程层模型的建立,为在该粒度上对分布式软件演化过程的可信分析与研究奠定基础.

基于SPEM的CMM软件过程元模型

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

一种以活动为中心的软件过程元模型

在软件开发过程中,过程定义是整个软件过程工程的核心,而成功的过程定义基于一个良好的软件过程元模型。提出了一种以活动为中心的软件过程元模型,使用ECA规则处理多种活动之间的转移关系,该元模型的描述基于XML语言,并采用XML sclaema来定义和检查XML文档的语法。该元模型具有可操作性强、结构简单的特点,并且在实际软件开发中得到了初步应用。

浅析软件演化过程描述语言的作用及特点

在整个软件生命周期中,软件演化已成为其中一个日益重要的研究方向.软件演化过程用来建立软件演化的整体任务框架,可以提高软件演化的效率,但其描述力不足,难以在计算机中实现.软件演化过程描述语言作为面向对象的形式化建模语言,其较强的描述力和易于在计算机中实现的特性,使它可以在不同的抽象层次上描述演化过程,且有利于对软件演化过程的控制、分析、度量和改进.

CEPDL:一个简约的软件演化过程建模语言

随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础.

支持CMMI的软件过程元模型的研究与实现

为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体实施步骤和方法,实现了一种支持CMMI过程改进的软件过程元建模,同时给出了基于该元模型的建模实例。实验结果表明,该元模型有助于软件组织建立体现其组织特征并有效支持符合CMMI框架的软件过程用户模型。

软件体系结构动态演化的元胞自动机模型研究

目前软件体系结构动态演化的元胞自动机模型存在描述单一、元胞间关系不明确、没有详细阐述动态演化过程应用约束条件的缺点。针对这些不足进行相关的研究,重新定义了软件体系结构动态演化的扩展元胞自动机模型,基于扩展元胞自动机模型结合演化应用约束条件,分析了软件体系结构的动态演化过程,运用元胞间控制约束条件和行为相关约束条件来正确地指导SA动态演化。提出了动点稳态转移的概念,对演化程度和一致性进行定义分析,此方法比以往的元胞自动机模型更能准确指导SA动态演化,促进SA动态演化的进一步研究。通过案例验证了该方法的应用价值和可行性,可以更全面地应用于软件体系结构的动态演化。

通过模型比较构造软件演化的过程模型

为了得到软件系统的演化过程模型,引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较,可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动,这样的活动通过在软件的代码、数据和文档三个层面的映射便具有了实际意义,以此为基础所构造的演化活动图能够最终转换为Petri网形式的演化过程模型。

一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型 (SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是,软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2. 0活动元模型改进SPEM中活动的语义,采用泛化机制扩大实参的表达范围,细化形参和限制的表达粒度,使得改进的软件过程工程元模型 (ISPEM)在语义上与软件工程过程领域的语义更为一致,表达力更强,更加符合软件工程过程领域建模的需要。

软件演化过程建模中的开发人员度量方法

提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。

工作流过程元模型研究

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

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发，基于模型的软件开发，迭代增量开发等。开发过程是如此复杂，融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持，以UML为基础的软件产品标准化，多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME，集中讨论环境如何提供和协调过程模型，产品模型，组织模型和开发工具集合来达到开发与管理集成的目的。此外，还讨论了过程模型如何组织，指导和监控软件开发。

武器装备仿真训练软件元模型设计研究

针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型整体的各部分及其相互关系,构建了描述武器装备仿真训练软件建模语言(WSML,Weapons and Equipments Training Simulation SoftwareModeling Language)的元模型。提出了基于元模型的WETS开发流程。通过大量工程应用,表明该方法是支持模型重用的,可显著提高仿真训练软件的开发效率及其运行可靠性的开发方法。

一种支持软件体系结构重用的元信息模型

软件体系结构元信息组织和管理是利用反射机制实现软件体系结构重用的一个重要问题。提出了一种体系结构元信息模型,以有效地组织和管理支持体系结构重用的元信息。同时,基于XML设计了一种体系结构元信息描述语言,以充分地描述这个模型中定义的各种元信息,达到体系结构设计人员可以在软件设计阶段通过操作这些元信息高效地重用软件体系结构的目的。

近红外漫反射光谱(NIRS)结合TQ软件建立盾叶薯蓣中薯蓣皂苷元定量模型

目的利用近红外漫反射光谱(near-infraed spectroscopy,NIRS)结合TQ软件快速测定盾叶薯蓣药材中薯蓣皂苷元含量。方法采集盾叶薯蓣样品的近红外光谱图,采用高效液相色谱法(HPLC)测定盾叶薯蓣中薯蓣皂苷元的含量,利用TQ软件建立薯蓣皂苷元的定量分析模型,利用模型对未知样品进行预测。结果建立的薯蓣皂苷元校正模型的相关系数(R2)、校正均方差(RMSEC),内部交叉验证均方差(RMSECV)分别为0.96459,0.0999,0.30041;经外部验证,模型的预测相关系数(R2)和预测均方差(RMSEP)分别为0.9634,0.128。结论所建模型预测能力较好,可以用于盾叶薯蓣中薯蓣皂苷元含量的快速检测。

构建网管软件中的网元对象模型

分析了网络管理中被管网元对象的各种特性，归纳出建立网元对象模型的基本原则，提出了一种适用于网管软件产品化的网元对象建立方法，并采用XML和Java语言加以实现。

基于UML的军用软件运行剖面元模型研究

软件运行剖面用于描述软件的类型和软件输入频率并且被用于软件测试技术中。论文针对军用软件运行剖面难以采用形式化表达的问题,在对军用软件运行剖面分类的基础上,采用基于UML图和定性分析的混合方法,建立军用软件运行剖面元模型,详细分析各运行剖面子类之间的关系,为运行剖面的标准化建设和军用软件可靠性实例化研究提供支撑。

基于元模型的组件化制造过程建模仿真系统研究

文章分析了基于功能和基于过程的两种制造系统建模仿真方法,提出了面向过程的建模仿真系统的元模型结构,详细设计了制造系统多个视图模型中的主要建模元素。在此基础上,采用面向对象分析和软件组件技术,实现了组件化制造过程建模仿真系统中的各个组成模块。该软件应用于实际,与CIMS其它子系统集成运行,提高了制造企业的整体业务水平。