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

• 作者: 李明树 杨秋松 翟健 肖俊超
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件过程 过程建模 过程重用 过程组件 形式化方法
• 年，卷（期）: 2011,（1）
• 页码范围: 1-16
• 分类号: TP311
• 字数: 14804字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03769

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明树		59	1430	21.0	36.0
3	杨秋松		2	19	2.0	2.0
4	肖俊超		3	19	2.0	3.0