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.