Analysing Feature Interactions with Automated Deduction Systems
Identifieur interne : 002594 ( Crin/Curation ); précédent : 002593; suivant : 002595Analysing Feature Interactions with Automated Deduction Systems
Auteurs : Francis Klay ; Michael Rusinowitch ; Sorin StratulatSource :
English descriptors
- KwdEn :
Abstract
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.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :002594
Links to Exploration step
CRIN:klay_99aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="346">Analysing Feature Interactions with Automated Deduction Systems</title></titleStmt><publicationStmt><idno type="RBID">CRIN:klay_99a</idno><date when="1999" year="1999">1999</date><idno type="wicri:Area/Crin/Corpus">002594</idno><idno type="wicri:Area/Crin/Curation">002594</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002594</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Analysing Feature Interactions with Automated Deduction Systems</title><author><name sortKey="Klay, Francis" sort="Klay, Francis" uniqKey="Klay F" first="Francis" last="Klay">Francis Klay</name></author><author><name sortKey="Rusinowitch, Michael" sort="Rusinowitch, Michael" uniqKey="Rusinowitch M" first="Michael" last="Rusinowitch">Michael Rusinowitch</name></author><author><name sortKey="Stratulat, Sorin" sort="Stratulat, Sorin" uniqKey="Stratulat S" first="Sorin" last="Stratulat">Sorin Stratulat</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>automated deduction</term><term>feature interactions</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="1390">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.</div></front></TEI><BibTex type="inproceedings"><ref>klay_99a</ref><crinnumber>99-R-128</crinnumber><category>3</category><equipe>CNET Lannion</equipe><author><e>Klay, Francis</e><e>Rusinowitch, Michael</e><e>Stratulat, Sorin</e></author><title>Analysing Feature Interactions with Automated Deduction Systems</title><booktitle>{ 7th International Conference on Telecommunication Systems Modeling and Analysis, Nashville, Tennessee, USA}</booktitle><year>1999</year><month>Mar</month><organization>Bezalel Gavish</organization><keywords><e>feature interactions</e><e>automated deduction</e></keywords><abstract>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.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002594 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 002594 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Curation
|type= RBID
|clé= CRIN:klay_99a
|texte= Analysing Feature Interactions with Automated Deduction Systems
}}
| This area was generated with Dilib version V0.6.33. |  |