文献类型：期刊文章

作　　者：徐俊[1] 肖刚[1] 张元鸣[1] 高飞[1] 方赵林[2]

机构地区：[1]浙江工业大学计算机科学与技术学院,杭州310023 [2]浙江工业大学信息化办公室,杭州310014

出　　处：《计算机科学》

基　　金：国家自然科学基金项目(50705087);浙江省科技厅项目(2010C31002)资助

年　　份：2012

卷　　号：39

期　　号：5

起止页码：120-123

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。

关 键 词：构件行为片段  Π演算 逻辑推理 构件重组  

分 类 号：TP311]