Date Added: Apr 2010
The paper presents a study on implementation aspects of a server, providing application programming interfaces to functions for call control and data session control in mobile networks. The value-added service logic in mobile networks is provided on Customized Application for Mobile services Enhanced Logic (CAMEL) platform. The authors suggest an approach to modeling the server behavior that supports Open Service Access (OSA) interfaces of and "Talks" CAMEL Application Part (CAP) protocol toward the network. The approach is presented in a formal way as labeled transition system which corresponds to the model representing the application view on the behavior of call and data session objects.