Abstract: 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.