Title :
Open access to charging functions in multimedia networks
Author :
Atanasov, Ivaylo Ivanov ; Pencheva, Evelina Nikolova ; Marinska, Dora Atanasova
Author_Institution :
Fac. of Telecommun., Tech. Univ.-Sofia, Sofia, Bulgaria
Abstract :
The paper describes a formal approach to specification of Open Service Access (OSA) gateway that supports open interfaces for charging and quality of service management and Diameter protocol. The gateway has to implement two mutually synchronized finite state machines, one representing the application view on the charging session and another one for the Diameter peer. Both state machines are formally described as Labeled Transition Systems and their behavioral equivalence is proved using the concept of week bisimulation. An example of OSA application quality of service based charging application is provided.
Keywords :
IP networks; application program interfaces; finite state machines; multimedia communication; finite state machines; multimedia networks; open access; open service access gateway; service management; Application programming interfaces; Logic gates; Multimedia communication; Protocols; Quality of service; Servers; Telecommunications; Open communication network; charging interfaces; conformance of state machines; open service access; policy control;
Conference_Titel :
EUROCON - International Conference on Computer as a Tool (EUROCON), 2011 IEEE
Conference_Location :
Lisbon
Print_ISBN :
978-1-4244-7486-8
DOI :
10.1109/EUROCON.2011.5929164
