Reasoning on Service Interaction in Mobile Networks

The paper presents a formal approach to detection of interaction between CAMEL-based services. CAMEL stands for Customized Application for Mobile network Enhanced Logic and it is a way for mobile operators to offer customized services that may be unique or differentiated from similar services offered by competitors. The more services operate in the network, the greater chance that they will interfere with each other. CAMEL basic call control models and mobility management models are described by means of the formalism of description logic. Services are modeled by refinement which transforms the knowledge base. A standard inference mechanism is used to reason about service interaction.

Provided by: NORTH ATLANTIC UNIVERSITY UNION Topic: Mobility Date Added: Jul 2011 Format: PDF

Find By Topic