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

摘要：

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

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

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：120-123