基于逻辑推理的构件行为片段提取与重组研究

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