Applying Value-Based Software Process:An ERP Example

Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of early analysis for the cost- e ectiveness of process instances This paper presents experience in applying a lightweight synthesis of a Value-Based Software Quality Achievement process and an Object-Petri-Net-based process model to achieve a stakeholder win-win outcome for software quality achievement in an on-going ERP software project in China The application results con rmed that 1) the Object-Petri-Net-based process model provided project managers with a synchronization and stabilization framework for process activities, successcritical stakeholders and their value propositions; 2) process visualization and simulation tools signi cantly increased management visibility and controllability for the success of the software project     

一种基于对象网的多视角软件过程模型

基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性.     

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

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

Process-Based Software Engineering: Building the Infrastructures

A recent trend in software engineering is the shift from a focus on laboratory-oriented software engineering to a more industry-oriented view of software engineering processes. This complements preceding ideas about software engineering in terms of organization and process-orientation. From the domain coverage point of view, many of the existing software engineering approaches have mainly concentrated on the technical aspects of software development. Important areas of software engineering, such as the technical and organizational infrastructures, have been left untouched. As software systems increase in scales, issues of complexity and professional practices become involved. Software development as an academic or laboratory activity, has to engage with software development as a key industrialized process.This expanded domain of software engineering exposes the limitations of existing methodologies that often address only individual subdomains. There is, therefore, a demand for an overarching approach that provide a basis for theoretical and practical infrastructures capable of accommodating the whole range of modern software engineering practices and requirements. One approach is provided by Process-Based Software Engineering (PBSE); part of the more general trend towards a focus on process.This paper provides a review of process techniques for software engineering and a high-level perspective on PBSE. Typical approaches and techniques for the establishment, assessment, improvement and benchmarking of software engineering process systems are introduced in this paper, and many are developed further in other contributions to this volume.     

基于反馈的软件演化过程模型

对软件演化及过程的特征进行了描述,提出软件演化过程的具体活动;分析了软件演化过程中的反馈机制,提出了基于扩展双变迁Petri网和反馈循环的软件演化过程模型.     

基于SPEM2XPDL模型转换的软件过程执行

SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.     

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

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

An Approach to the Modeling and Analysis of Software Production Processes

We propose an approach to the analysis and design of software production processes that is based on a new paradigm which we coin ‘PETAN’. It is a blend of concepts from Petri nets theory and activity nets theory. The paper reviews the relevant concepts from activity nets and demonstrates the applicability of the new paradigm by a sample implementation to real life software production processes through simulation using SLAM II language.     

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

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

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

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

管道-过滤器风格的并行软件可靠性建模

当前基于体系结构的软件可靠性评估技术存在2个问题：不适合具有并行性质的软件和难以分析部件级的失效恢复行为。针对这2个问题,以管道-过滤器风格的并行软件为研究对象,该文使用基于时间的Petri网分析了管道-过滤器风格的并行软件运行阶段可靠性,并根据Petri网模型的特点,提出了一种分解模型和近似求解方法。数字实例证明了该方法的有效性和简便性。     

面向对象的软件工程与统一建模语言UML

通过评述软件工程的两个发展阶段 ,重点介绍了面向对象的开发方法。统一建模语言 UML是一种基于面向对象方法学的规范可视化建模语言 ,论文对其组成、特征和建模过程进行了描述。     

一个基于原则集的软件过程模型

文章针对软件开发实践中普遍存在的一些问题,在分析软件过程的基础上,从管理角度提出了一个基于原则集的软件过程模型,通过原则集将组织结构、工程和管理实践结合起来,籍此希望对提高企业实际的软件能力有所助益。     

基于嵌套网的JADE建模

良好的形式化建模方法是大规模开发和应用多Agent系统(MAS)的必要条件之一,使用多层的嵌套网对JADE进行层次化建模,给出面向对象的MAS与NP-nets之间的对照关系。指出通过引入层次结构,不仅能有效地控制状态空间的规模,而且能通过网托肯的嵌套方式克服Petri网结构演化的困难。     

软件过程建模方法研究

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

一个柔性的形式化过程建模语言

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

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

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

CMM 二级SQA 关键过程域与软件过程改进

探讨了CMM二级KPA软件质量保证的实施与软件过程改进,描述了实施SQA过程的职能、SQA过程与软件开发过程的关系和SQA过程实施。在CMM二级中,SQA是唯一评审其他5个KPA的过程域。由于它的这种监督性,软件过程改进的大部分信息源来自SQA KPA,SQA在整个软件过程的改进中起着关键的作用,充当SEPG和项目组之间的桥梁。 关键词：     

软件演化过程的资源优化配置

在支持标准化的可配置、可重用且支持软件演化过程建模方法--第二代SDDM建模方法基础上,提出了软件演化过程性能分析与资源优化的方法,有效地支持了软件演化过程的改进.