No abstract

This paper proposes a method for resolving the service interaction problem in the Advanced Intelligent Network (1] (5]. Since this method is based on the protocol synthesis technique, the service interaction problem is resolved in the protocol specification rather than in the service specification. As a result, invalid interactions between communication services can be dynamically avoided. 1. Service Interactions and Specifications D. Hogrefe et al. (eds.