并发过程及其软件的建模与模拟支持系统

模拟是对复杂系统进行分析研究和试验评估的一种重要手段和方法。本文针对具有并发实体或过程的实际系统和并发软件提出用实体—资源模型描述其主动和被动实体,用同步—通讯模型描述实体间的联系。并基于这种模型设计了一种以C~(++)为基础的面向问题的模拟语言。该语言以构件方式支持模拟程序的编制。对C~(++)语言扩充了描述并发成分的机构,并以此为基础设计了模拟的运行控制机构,用以支持进程方式的系统模拟。这种系统可用于对事件驱动型并发过程或并发软件进行分析设计和方案评估。用C语言编程时,允许直接利用模拟程序逐步求精,最终以实际程序取代,因此也可用作设计、开发并发软件的一种原型方法和工具。     

软件过程建模方法分类概述

本针对当前国际上在软件过程建模领域的研究现状和过程建模方法进行了综合性介绍，给出了三种不同的过程建模方法分类，并对各种建模方法进行了评述。     

支持过程度量的软件过程建模方法的研究

文章提出应从过程建模的角度考虑对过程度量的支持问题,并提出一种支持过程度量的软件过程建模方法的框架.它包括面向目标的过程度量模型建模方法、支持过程度量的软件过程描述机制的选择和支持过程度量的软件过程建模算法.     

基于UML的软件过程建模方法研究

论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。     

软件过程建模方法研究

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20 个会议和7 种期刊的72 篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3 个问题,以便从总体上概括和把握该领域的研究:1) 软件过程建模方法主要基于什么范式;2) 软件过程建模方法研究的主要目的集中在哪些方面;3) 软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.     

软件过程环境的设计与实现

本文主要讨论了软件过程环境ISPE（integratedsoftwareprocessenvironment）的设计与实现．首先．讨论了ISPE的体系结构，介绍了可视化的过程建模语言VPMI，（vispalprocessmodelinglanguage）．然后，在这些内容的基础上，详细讨论了ISPE的几个重要的组成部分：过程编辑环境、过程分析和模拟环境以及过程运作环境．最后，本文给出了一个小结．     

基于活动分解和ECA规则的软件过程建模

软件过程由多个活动组成,活动可以分解成子活动,活动间的关系包括静态关系和动态关系。提出基于活动分解和．ECA规则的过程建模。通过活动分解对软件过程的静态部分进行建模,描述活动与子活动之间的关系;通过ECA规则描述活动之间的动态时序关系,即描述触发活动的事件和内部条件,给过程的调整和动态变化带来了方便,增强了其适应变化的能力。     

PETRI 网在软件过程建模及过程实施中的应用

软件过程技术，作为一种保证软件开发质量和效率的方法，在许多软件企业引起了重视和应用。本文从条件／事件网出发，应用标记PETRI网，并针对其在软件过程中的特点，给出了软件过程和软件过程网合理性的定义，根据工作流领域的结论，可以应用经典PETRI网的工具验证其合理性。在此理论基础上，提出了传统的软件过程结构表示成软件过程网的规则。并研究其在实践中的应用，最后用一个实际软件开发企业中的应用实例详细解释了所提出的理论及应用。     

软件企业过程管理支持系统的研究

该文先提出了软件企业研发过程存在的问题以及解决该问题采用的CMMI模型,再通过对某软件企业实施CMMI过程改进项目的跟踪,以及对过程改进实施资料的收集与分析,按照CMMI模型连续式表示法的过程域划分方法进行过程管理支持系统的分析与设计。该系统融合了项目管理,开发管理,支持管理,过程管理几大功能,可以帮助企业规范软件研发过程,并支持企业进行持续的组织革新,可促进企业更好的进行软件过程实施。推进规范执行、问题反馈以及改进深化。     

虚拟软件研发组织过程建模与可达性分析

以建立面向网络的虚拟软件研发组织（VSR&DO）过程建模为目标,在分析VSR&DO运作过程特性的基础上,提出了一种VSR&DO过程模型,并对其软件研发项目的可达性进行了研究。针对VSR&DO自身的特点及成员之间的关系,提出了VSR&DO的四种基本结构,给出了相应的模型和可达性分析,并在此基础上讨论了整个VSR&DO可达性模型。     

基于系统动力学方法的软件过程建模与仿真

软件开发质量很大程度上取决于软件过程.软件过程涉及到众多相互关联和反馈的因素,特别是与人和组织行为有关的软因素,但在离散型传统建模方法中难以得到准确反映.文章介绍了基于系统动力学的连续型软件过程建模与仿真方法,并以Brooks法则作为实例描述了该方法的基本要素和优势.文章还对系统动力学方法应用于软件过程不同领域的研究加以回顾,并给出了今后的几个主要研究方向.     

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.     

基于工作过程的软件建模课程设计研究

软件建模在整个软件技术专业课程体系中是一门不可或缺的课程,与其他的理论课程比较而言,它具有独有的复杂性和综合性。我院结合多年的教学实践经验提出基于工作过程来设计软件建模课程,使用项目引导、任务驱动教学的方式来培养高级实用型软件人才,以适应当前的教育教学的需求     

浅谈CAM软件对建模方式及过程的要求

本文从CAM软件的输出数控加工代码这个根本目的出发,阐述CAM软件对CAM建模方式及过程的需求,明确提出数控加工程序应简单实用,并使用合理的建模方式再结合加工工艺知识,尽可能保证CAM软件输出合理的数控加工代码。     

基于UML活动图的软件过程建模合理性问题的研究

x阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。分析了使用活动图进行软件过程建模的原理,给出了软件过程模型的4种基本结构和一个过程模型实例。讨论了建模过程中需要考虑的合理性问题的3个方面,在此基础上提出了检验模型正确性和完整性的静态、动态和整体规则。     

面向软件非功能需求的软件过程建模方法

软件非功能需求决定了软件的质量,而软件质量需求的满足很大程度上依赖于软件开发或演化时所使用的过程.从软件过程的角度出发,总结凝练满足软件非功能需求的过程策略,使用面向方面方法,提出面向软件非功能需求的软件过程建模方法,从软件过程的方法和技术角度保证软件的质量需求贯穿软件生命周期全过程得以实现.首先,基于对软件非功能需求的分析,总结满足非功能需求的过程策略,构建过程策略知识库,在此基础上,使用面向方面方法将过程策略定义的活动封装为方面,并通过方面合成机制织入基本软件过程模型,既实现了基本模型与面向非功能需求活动间的分离,又实现了软件生命周期全过程注入有助于软件质量提升的活动,其中,重点解决了方面织入基本模型的冲突控制及检测问题;另外,通过开发面向非功能需求的软件过程建模辅助工具NPAT(non-functional requirements-oriented processes aided tool),为过程建模及冲突控制提供了技术支持;最后,通过在案例中使用所提出的理论、方法和技术,说明所提出的理论和方法是可行的,开发的辅助工具是有效的,可以通过非功能需求定制的软件生命周期过程达到提升软件质量的目标.     

基于类库的化工过程模拟软件的系统设计

化工过程模拟类库包含了模拟计算所需要的基本类,它的建立为化工软件资源的重用与共享提供了基础,如何在类库的基础上进行化工过程模拟软件的设计、开发也是体现面向对象思想的重要内容。本文首先设计开发了系统水平上的系统类,在此基础上给出了基于类库的化工过程模拟系统的设计方法。本文重点介绍基于类库模拟系统的系统结构,特别是众多对象的管理和调度方法,采用容器的方法进行对象管理,采用地址的主远景财用,以系统类型进     

小组软件过程仿真模型及其算法

论文建立了一种小组软件过程(TeamSoftwareProcess)的仿真模型,它是根据TSP的特点,将离散和连续建模思想结合形成的一种混合模型。并根据TSP的多阶段性质,将动态规划算法应用到模型中,在TSP各个阶段最佳地配置人员、资金和时间三种资源,以取得软件质量最优化。     

一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML／L可以描述规则等,适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。