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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
N.Griffeth and Y.-J.Lin(eds.), Special issue on managing feature interactions in telecommunications systems, IEEE COMPUTER, Vol.26, No.8(Aug. 1993 ).
Y.Hirakawa and T.Takenaka,“Tecommunication service description using state transition rules,” Proc. Sixth Int’l Workshop on Software Specification and Design, pp.140–147(Oct.1991).
Y.Kakuda, H.Asada and T.Kikuno,“Protocol synthesis technique and its application to the feature interaction problem,” Proc. ATR International Workshop on Communications Software Engineering(Oct.1994) to appear.
Y.Kakuda, M.Nakamura and T.Kikuno,“Automated synthesis of protocol specifications from service specifications with parallelly executable multiple primitives,” IE-ICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences(Oct.1994) to appear.
Y.-J.Lin and N.Griffeth(eds.), Special issue on managing feature interactions in telecommunications systems, IEEE COMMUNICATIONS MAGAZINE, Vol.31, No.8(Aug. 1993 ).
K.Saleh,“Automatic synthesis of protocol specifications from service specifications,” Proc. Int’l. Phoenix Conf. on Computers and Communications, pp.615–621(Mar.1991).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Kakuda, Y., Asada, H., Kikuno, T. (1995). Application of Protocol Synthesis Technique to Resolution of the Service Interaction Problem. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_31
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_31
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive