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

fYear

2011

fDate

27-29 April 2011

Firstpage

1

Lastpage

4

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;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROCON - International Conference on Computer as a Tool (EUROCON), 2011 IEEE

Conference_Location

Lisbon

Print_ISBN

978-1-4244-7486-8

Type

conf

DOI

10.1109/EUROCON.2011.5929164

Filename

5929164