The following information was submitted:
Transactions: INTERNATIONAL JOURNAL of COMPUTERS AND COMMUNICATIONS
Transactions ID Number: 20-500
Full Name: Evelina Pencheva
Position: Professor
Age: ON
Sex: Female
Address: Technical University of Sofia, 8 Kliment Ohridski blvd, 1000 Sofia
Country: BULGARIA
Tel:
Tel prefix:
Fax:
E-mail address: enp@tu-sofia.bg
Other E-mails: iia@tu-sofia.bg
Title of the Paper: Reasoning on Service Interaction in Mobile Networks
Authors as they appear in the Paper: Ivaylo I. Atanasov, Evelina N. Pencheva
Email addresses of all the authors: iia@tu-sofia.bg, enp@tu-sofia.bg
Number of paper pages: 8
Abstract: 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.
Keywords: Call control, CAMEL, Description logic, Inference algorithm, Mobility management control, Satisfiability.
EXTENSION of the file: .doc
Special (Invited) Session: A Formal Approach to Service Interaction Detection in Mobile Networks
Organizer of the Session: 650-323
How Did you learn about congress:
IP ADDRESS: 81.161.241.143
