【摘 要】
：
为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(c
【机 构】
：
中国科学院软件研究所互联网软件技术实验室,中国科学院研究生院,中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
国家自然科学基金(90718042,60903051);国家高技术研究发展计划(863)(2007AA010303,2007AA01Z186);国家重点基础研究发展计划(973)(2007CB310802)
论文部分内容阅读
为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.
其他文献
授权能够有效提升员工绩效和组织利益,但中国企业管理者不授权现象比比皆是。本研究从授权风险的角度探讨管理者不愿授权的原因,并检验领导-成员交换(LMX)和组织集权度的调节
在阐述轨道交通客运网层次的基础上,提出城际铁路的规划思路,以及城际铁路规划的原则和方法。以宁夏回族自治区的城际铁路规划方案研究为例,分析主要节点的空间分布特征和规
为了解决计算资源和高速网络流量之间的矛盾,需要对IP流进行抽样或负载均衡等处理,而哈希算法是资源代价的核心.首先提出评价哈希算法性能的随机测度;其次从理论上证明比特之
简单介绍了生物质气化的基本原理及生物质气化炉的分类,阐述了不同类型气化炉的特点及技术指标。介绍了国内外生物质气化技术在集中供气、供热和发电方面的发展现状和应用情
探讨在长江三角洲地区的两省一市区域内,凭借上海港、宁波港资源,以及内地丰富的外贸出口集装箱货源,综合分析铁路如何在多式联运体系中,有效地开展海铁联运业务。并分析铁路
本文以"三农"问题为切入点,结合对学术界有代表性观点的分析和评价,认为通过农村城镇化与新型工业化联动发展模式才是解决"三农"问题的根本出路,并提出了该联动发展模式的政
我国煤炭资源较为丰富,但其赋存特点是煤矿“三下”压煤比较普遍。一方面,我国主要产煤省多地处平原,村庄密集,人口众多,村庄压煤比重大;另一方面,随着国内经济不断持续发展,
本文以陕西为例,运用计量经济模型对留守儿童学习成绩变化对其父母回流决策的影响进行分析,结果表明:留守儿童学习成绩持续下降会显著影响父亲回流,但对母亲的影响并不显著;
于睿教授长期从事中医药治疗心血管疾病的临床及实验研究,并且对治疗失眠有所见长,积累了丰富的临床经验。认为思虑劳倦,内伤心脾,阳不交阴,心肾不交,阴虚火旺,肝阳扰动,心胆