%0 Journal Article
%T 基于逻辑推理的构件行为片段提取与重组研究
%A 徐俊
%A 肖刚
%A 张元鸣
%A 高飞
%A 方赵林？
%J 计算机科学
%D 2012
%X 从构件组装研究背景出发，针对软件应对复杂多变的业务需求时的不足，提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上，建立构件行为的结构模型和状态模型，并将其分解为基于7r关系推导的构件行为片段。最后根据逻辑推理的方法，再将目标输入输出作为待求解，从关系推导中挖掘有效的行为片段进行重组，组装成一个满足目标需求的复合构件。
%K 构件行为片段
%K 二演算
%K 逻辑推理
%K 构件重组
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120528&flag=1