软件过程技术研究中的若干问题

作为一个新的软件研究领域，软件过程技术是提高软件生产率和保证软件质量的一个重要的方法。本文主要对软件过程的概念和内容、软件过程模型、过程语言特征、过程的演化及建模的方法等问题进行了探讨。     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

青岛CASE环境中的过程建模

本文以作者在青岛ＣＡＳＥ环境中的基础工作为背景，对软件过程模型中的主要成分进行了概括，提出了一种以产品为中心的过程建模方法。本文对所提出的软件过程模型及运行规则进行了定义，并对过程模型构造的正确性给出了判断准则和判断方法，最后通过模型实例对过程模方法作了简要介绍。     

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

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

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

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

支持软件并行工程过程建模的一种形式化方法

为了支持软件并行工程中的过程建模，以Petri网为基础，提出了一种过程建模的形式化方法——X-Petri网。同时给出了X-Petri网的详细主义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。     

软件需求变更管理的系统动力学仿真建模

软件需求变更频繁发生,给软件项目造成了诸多威胁.能否对需求变更进行有效的控制管理,决定着软件的成败.使用系统动力学方法对软件需求变更管理过程进行仿真建模,可以动态地分析并预测需求变更产生的原因以及变更对软件项目造成的影响;对软件需求变更管理过程改进进行系统动力学仿真,亦可以辅助软件项目组织选择合适的过程改进策略.因此,基于系统动力学方法,参考了敏捷过程进行开源软件需求变更管理过程的建模和模型检测.以Spring Framework项目为研究案例,进行该项目3.2.x分支的软件需求变更管理过程的系统动力学仿真分析,并对需求变更管理进行过程改进仿真.通过对过程改进的仿真结果进行比对,说明各改进策略均降低了基线数据的软件缺陷率,提高了软件质量.根据软件项目的成本和进度要求,给出了过程改进建议.     

软件过程建模方法研究

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

一种基于协商的软件过程协同方法

大型软件系统的开发大多要求多人协同完成．软件过程协同的一个重要特点是协同的参与者都试图通过实施协同任务来取得最大化的获利，因而协同的决策和实施不是强制性的，而是由软件开发人员或软件组织经过协商来进行的．传统的软件过程建模方法中对软件过程协同的描述是刚性的，即在满足进入条件或者被显式调用时，协同就一定会被触发，并按照一个规定好的规则或方针来实施，这样的方法难以适应软件过程协同中所表现的协商特性．提出了一个基于协商的软件过程协同方法，将软件过程描述为一组相对独立的、自治的、理性的、协作的软件过程Agent，过程Agent之间的协同关系由过程Agent通过协商确定，相比传统的方法，具有能够更好地适应软件过程协同的特点．     

面向TSP的软件过程仿真模型

描述了一种面向小组软件过程TSP(Team Software process)的仿真模型，根据TSP的特点，采用将离散和连续建模思想结合的一种混合模型。这种模型分为两层建立，外层体现软件开发过程的阶段性，内层体现软件开发过程的连续性，从两个层次上详细说明模型的结构和原理；给出了模型的形式化描述；并用一个例子来说明模型的执行过程及结果。此模型能够从不同角度模拟软件的开发过程，并能够对软件开发过程进行监督和预测。     

多模态过程中新模态过程建模方法

多模态过程中新出现的模态过程短期内无法获得充足的建模数据,且传统统计控制方法无法有效地估计过程特性.鉴于此,提出一种基于历史模型数据相关特性建立初步模型的方法,充分利用已有多模态历史数据的相关特性,从历史数据中寻找与当前数据特征相似的数据进行补充,建立初始模型,并利用新积累的数据迭代初步模型,逐步实现准确描述过程特性的算法.通过在田纳西-伊斯曼过程中的大量仿真,表明了所提出方法的可行性和有效性.     

面向对象的指挥控制流程建模与应用

流程建模是分析指挥控制流程, 取得作战胜利的关键步骤. 当前的建模方法不能很好地应对联合作战中指挥控制流程多域联合、松耦合关联等特征. 为了解决上述问题, 本文提出一种面向对象的流程建模语言, 构建的模型描述了指挥控制流程的数据视角、行为视角以及二者间的复杂交互关系, 并基于该模型采用流程挖掘技术进行指挥控制流程还原, 为优化指挥控制流程、提高流程效能提供了一种有效手段.     

SOA全生命周期建模方法综述

在介绍SOA(面向服务的架构)项目实施过程的基础上,从SOA全生命周期的视角,着重从方法论上对实施SOA项目所涉及到的业务流程建模、服务建模、数据建模、服务集成建模和业务监控建模进行了分析与评述,并提供了一些新的解决思路,同时指出了SOA建模领域的一些研究热点及趋势。     

基于Pi-演算的工作流模式描述

工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法.Pi-演算是一种进程代数,可以应用于业务流程的形式化建模.本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力.     

集成化企业建模系统体系结构与实施方法研究

提出一种集成化的企业建模方法,给出了建模框架体系和基于工作流的过程视图建模方法,并设计了基于ＣＯＲＢＡ软件总线的集成化企业建模与仿真优化系统,将企业建模的生命周期加以扩展,提出４阶段生命周期的建模方法,并以工作流模型作为企业模型的核心,提出了实现企业模型到实施系统转化的两种可行方法。     

基于矩阵运算的虚拟装配体拆卸过程建模方法

现有装配体建模方法在描述虚拟维修训练中装配体拆卸过程时,存在的信息冗余大、建模过程复杂等缺点,在研究现有装配体建模方法和分析装配过程与拆卸过程差异的基础上,提出了一种面向虚拟维修拆卸过程的建模方法。该方法以矩阵描述装配体模型,用矩阵运算描述零部件拆卸过程,简化了建模过程,减少了模型数据量,为虚拟维修训练系统的快速构建提供了一种思路和方法。     

有色冶金过程建模与优化的若干问题及挑战

有色金属工业发展正面临资源、能源与环境的严重制约, 而有色冶金过程建模与优化是实现有色冶金生产节能降耗减排的关键技术之一. 论文从有色冶金过程的特点出发,首先探讨了有色冶金过程的机理建模、 连续搅拌釜式反应器(Continuous stirred tank reactor, CSTR)模型和智能集成建模的理论与方法,提出了智能集成建模的描述方法, 归纳了模型的集成形式,给出了工业应用上的几类智能集成模型; 然后围绕有色冶金过程工程优化,讨论了操作模式优化、软约束调整满意优化、 多目标智能优化等方法,并阐述了大型湿法炼锌电解过程的综合优化控制技术; 最后探讨了有色冶金过程建模与优化所面临的新挑战.     

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

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

A systematic literature review of studies on business process modeling quality

ContextBusiness process modeling is an essential part of understanding and redesigning the activities that a typical enterprise uses to achieve its business goals. The quality of a business process model has a significant impact on the development of any enterprise and IT support for that process.ObjectiveSince the insights on what constitutes modeling quality are constantly evolving, it is unclear whether research on business process modeling quality already covers all major aspects of modeling quality. Therefore, the objective of this research is to determine the state of the art on business process modeling quality: What aspects of process modeling quality have been addressed until now and which gaps remain to be covered?MethodWe performed a systematic literature review of peer reviewed articles as published between 2000 and August 2013 on business process modeling quality. To analyze the contributions of the papers we use the Formal Concept Analysis technique.ResultsWe found 72 studies addressing quality aspects of business process models. These studies were classified into different dimensions: addressed model quality type, research goal, research method, and type of research result. Our findings suggest that there is no generally accepted framework of model quality types. Most research focuses on empirical and pragmatic quality aspects, specifically with respect to improving the understandability or readability of models. Among the various research methods, experimentation is the most popular one. The results from published research most often take the form of intangible knowledge.ConclusionWe believe there is a lack of an encompassing and generally accepted definition of business process modeling quality. This evidences the need for the development of a broader quality framework capable of dealing with the different aspects of business process modeling quality. Different dimensions of business process quality and of the process of modeling still require further research.