Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services

Tae YONEDA  Tadashi OHTA  

IEICE TRANSACTIONS on Information and Systems   Vol.E83-D   No.4   pp.640-647
Publication Date: 2000/04/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
knowledge elicitation,  state transition,  specification verification,  feature interaction,  

Full Text: PDF(351.8KB)>>
Buy this Article

This paper proposes a method of automatically eliciting knowledge which is used to detect feature interactions in telecommunication services. With conventional methods, the knowledge is provided manually. With the proposed method, the knowledge is automatically elicited as service constraints. In telecommunication systems, when a new service is added, new state transitions are created. In case of new service, the new state should be reached in the state transitions. On the other hand, some states of existing services should not be reached. These constraints can be considered as knowledge for detecting feature interactions. This paper also proposes a scenario for detecting feature interactions using elicited knowledge. This scenario was confirmed as effective.