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

ISCAS OpenIR

	一种形式化的组件化软件过程建模方法
其他题名	formalized approach for componentized software process modeling
	翟健; 杨秋松; 肖俊超; 李明树
	2011
发表期刊	Journal of Software
ISSN	1000-9825
卷号	22 期号:1 页码:1-16
摘要	为了解决当前软件过程重用方法中存在的问题, 特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题, 介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling, 简称CSPM).CSPM提供了形式化定义可重用软件过程的机制, 并且给出了将过程组件组合成过程模型的一系列操作法则. 利用CSPM方法, 能够以严格的方式对软件过程组件进行重用, 并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题, 从而通过指数地减少需要搜索的状态空间规模, 将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题
收录类别	CSCD ; WANFANG
其他摘要	To address the problems of current approaches in software process reuse, in particular the low efficiency in reuse for the operational rules and for the lack of a precise definition of process components, a formalized approach for componentized software process modeling (CSPM) is presented in this paper. CSPM provides a mechanism to support the formal definition of reusable software process components and presents a series of rules to turn process components into a process model. By using CSPM, the reusage of process components can be conducted in a rigorous manner, and the potential errors caused by ambiguity in traditional non-formal modeling methods can be effectively avoided. CSPM can also turn the verification of a combined process model, against certain properties, into a series of sub-problems into its own corresponding components, making an original infeasible problem, under certain circumstances, into feasible ones by exponentially reducing the state space needed to be explored
关键词	软件过程过程建模过程重用过程组件形式化方法
部门归属	翟健中国科学院研究生院中国科学院互联网软件技术实验室北京 100190 中国. 杨秋松中国科学院软件研究所中国科学院互联网软件技术实验室北京 100190 中国. 肖俊超中国科学院软件研究所中国科学院互联网软件技术实验室北京 100190 中国. 李明树中国科学院软件研究所中国科学院互联网软件技术实验室;;计算机科学国家重点实验室北京 100190 中国.
学科领域	Computer Science
资助者	国家自然科学基金; 国家高技术研究发展计划(863); 国家重点基础研究发展计划(973)
语种	中文
CSCD记录号	CSCD:4128231
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16093
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	翟健,杨秋松,肖俊超,等. 一种形式化的组件化软件过程建模方法[J]. Journal of Software,2011,22(1):1-16.
APA	翟健,杨秋松,肖俊超,&李明树.(2011).一种形式化的组件化软件过程建模方法.Journal of Software,22(1),1-16.
MLA	翟健,et al."一种形式化的组件化软件过程建模方法".Journal of Software 22.1(2011):1-16.