CMM实践中的软件开发过程与过程裁剪

CMM要求软件组织的软件过程标准化，不同的项目有不同的需求，允许对标准过程进行裁剪来适合一个特定的项目，裁剪被错综复杂地联系到过程定义上，必须把过程定义与裁剪放在一起讨论，为了便于进行过程定义，本文剖析了开发过程的一般特性，介绍了概要裁剪与详细裁剪应遵循的一般规则。     

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

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

基于过程模式的软件过程框架

Process pattern is an excellent method to express software process knowledge, it can express process knowledge in different granularity and realize the non-gap connection of process knowledge, it supports the reuse and persistent improvement of process knowledge. In this paper, we put forward a process Pattern Based Software Pro-cess Framework(PB-SPF), its three layer architecture has realized the high abstraction of software process and theseparation of its contents, so it have good reusability and adaptability. We can use it as a base for the research of soft-ware process, the building and enactment of process model.     

过程模拟研究进展

随着计算机技术的不断发展, 过程模拟在各行各业中的应用越来越广泛. 过程模拟使用模拟模型来模仿业务流程行为, 它可以用于预测和优化系统的性能, 评估决策的影响并向管理者提供决策依据, 也可以用于减少实验成本和时间. 目前, 如何高效地去构建一个可以信任的仿真模型得到了广泛关注. 本文通过追踪、归纳和分析关于构建业务过程模拟模型方法的相关研究文献, 对基于过程模型、系统动力学和深度学习的3种仿真建模方法的流程、优缺点和研究进展进行了阐述, 并探讨了过程模拟面临的挑战和未来的发展方向, 以期为业务过程模拟未来的研究方向提供参考.     

基于事件约束的软件过程验证

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extended constraints on succeeding and proceeding events)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(event constraint based process difference metric)和EAD(event constraint based activity deviation metric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指标则为过程演化提供依据.     

一种基于目标的过程实例演化方法

过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备"基于目标的行为一致性",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的过程实例来保证它可以完成目标.通过用Büchi自动机描述过程实例和其目标的语义,一个过程实例是否能够完成其目标是可判定的.     

Complexity Measures for Process Evolution

The foundation for process evolution research is the modelling of process structural complexity. With such a model, process systems can be directed toward acquiring good maintainability attributes according to the principles of engineering. In this paper a process management (PM) model is developed to acquire directly from the target process codes the knowledge hidden among and within components of process systems. With the knowledge acquired by the PM model, process structural complexity measures in terms of partitioning, restructuring and rewriting criteria are developed; a systematic process remodularization schema is derived, and algorithms for scheduling process changes are presented. These criteria and mechanisms are used to guide the process production chain.     

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

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