Automatic composition of stateless components: a logical reasoning approach

Reusing available software components in developing new systems is always a priority, as it usually saves a considerable amount of time, money and human effort. An ideal scenario for software reuse is to build a new software system by composing existing components based on their behavioral properties. In this paper we take advantage of logical reasoning to find a solution for automatic composition of stateless components, which are components with a simple two step workflow: receiving inputs and then returning the corresponding outputs. We provide a concrete algorithm to find possible component compositions for a requested behavior. We then validate those compositions using a process algebra, which is specifically designed for this purpose.