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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.