Analysing Feature Interactions with Automated Deduction Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Analysing Feature Interactions with Automated Deduction Systems

Résumé

Finding feature interactions in telephony systems becomes more problematic with the continuously increasing number of services offered by them. In this paper, we present how to employ an automated system for proving properties of formal specifications of telephony services. We outline a technique to specify telephony services at an abstract level. The methodology we have developed allows the use of automated deduction systems for off-line detection of interactions from the user point of view and helps for their resolution.
Fichier non déposé

Dates et versions

inria-00099001 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099001 , version 1

Citer

Francis Klay, Michaël Rusinowitch, Sorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems. 7th International Conference on Telecommunication Systems Modeling & Analysis, Bezalel Gavish, 1999, Nashville, Tennessee, USA, 33 p. ⟨inria-00099001⟩
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More