Analysing Feature Interactions with Automated Deduction Systems
Identifieur interne : 00A642 ( Main/Exploration ); précédent : 00A641; suivant : 00A643Analysing 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.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002594
- to stream Crin, to step Curation: 002594
- to stream Crin, to step Checkpoint: 001E87
- to stream Main, to step Merge: 00AC93
- to stream Main, to step Curation: 00A642
Le 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>
<idno type="wicri:Area/Crin/Checkpoint">001E87</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001E87</idno>
<idno type="wicri:Area/Main/Merge">00AC93</idno>
<idno type="wicri:Area/Main/Curation">00A642</idno>
<idno type="wicri:Area/Main/Exploration">00A642</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>
<affiliations><list></list>
<tree><noCountry><name sortKey="Klay, Francis" sort="Klay, Francis" uniqKey="Klay F" first="Francis" last="Klay">Francis Klay</name>
<name sortKey="Rusinowitch, Michael" sort="Rusinowitch, Michael" uniqKey="Rusinowitch M" first="Michael" last="Rusinowitch">Michael Rusinowitch</name>
<name sortKey="Stratulat, Sorin" sort="Stratulat, Sorin" uniqKey="Stratulat S" first="Sorin" last="Stratulat">Sorin Stratulat</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00A642 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00A642 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:klay_99a |texte= Analysing Feature Interactions with Automated Deduction Systems }}
This area was generated with Dilib version V0.6.33. |