Automated Service Composition in Next-Generation Networks

Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and checking given compositions requires a common framework for expressing application needs, service features, and system characteristics. In this paper, the authors present such a framework that is based on situation calculus. They show that the automated composition problem can be reduced to an AI Planning problem. They further illustrate the effectiveness of this approach with several examples.