基于逻辑推理的构件组装策略及其算法

Strategy for Component Composition Based on Logical Reasoning and Its Algorithm

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR(searching algorithm based on logical reasoning)和ASABLR(advanced searching algorithm based on logical reasoning)加以支持.检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2种状况:一是库中直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求.克服了普通构件检索算法无法判别第2种状况的缺点.最后,通过实例分析和算法ASABLR的实现,证明该策略的有效性和可行性.

For the framework of component composition, a strategy for stateless component composition to satisfy the users＇ component retrieval requests is presented. In the strategy, component behaviors are described by a theory called process algebra to increase the matching degree and two kinds of retrieval algorithms based on logical reasoning （SABLR and ASABLR） are given to support the strategy. The algorithms use the concept of forward reasoning to judge whether the result of the user component retrieval requests is in components＇ warehouse. Two cases can be judged： one is that the warehouse contains the request component directly, the other is that certain components in the warehouse can answer the user＇s request after the composition. They get over the general retrieval algorithms＇ disadvantage which can＇t judge the second case. Finally, analysis of the instance and realization of ASABLR are given to demonstrate the effectiveness and feasibility of the strategy.