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

Research on Component Behavior Fragment Extraction and Composition Based on Logical Reasoning

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

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

出　　处：《计算机科学》2012年第5期120-123,共4页Computer Science

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

摘　　要：从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。In the background of components assembly,since the existing software can hardly fulfill changeable requirements of users,the paper proposed an algorithm for component behavior fragment extraction and composition based on logical reasoning.The main idea is based on the researches of interface mapping and state transition of components,which establishes the structural model and state model of component behavior,and breaks down then into component behavior fragments that are derived on the basic of π-calculus.In the end,following the method of logical reasoning,the paper took the input and output as target solutions,and provided a composite component to meet requirement goals by compositing the useful component behavior fragment from relation derivation.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]