Application of protocol sythesis technique to resolution of the service interaction problem.
Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno · Formal Techniques for (Networked and) Distributed Systems · 1994
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.