Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services(Special Issue on Knowledge-Based Software Engineering)
スポンサーリンク
概要
- 論文の詳細を見る
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 system, 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.
- 社団法人電子情報通信学会の論文
- 2000-04-25
著者
-
Yoneda T
Soka Univ. Hachioji‐shi Jpn
-
Yoneda Tae
The Authors Are With The Department Of Information Systems Science University Of Soka
-
OHTA Tadashi
The authors are with the Department of Information Systems Science, University of Soka
-
Ohta Tadashi
The Author Is With The Faculty Of Engineering Soka University
-
Ohta Tadashi
The Authors Are With The Department Of Information Systems Science University Of Soka
関連論文
- Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation(Dependable Computing)
- Partial Order Reduction for Timed Circuit Verification Based on Level Oriented Model(Verification and Dependability Analysis)(Dependable Computing)
- Partial Order Reduction for Timed Circuit Verification Based on Level Oriented Model
- Modular Synthesis of Timed Circuits Using Partial Order Reduction
- Automatic Code Generation Method of DEQSOL (Differential EQuation SOlver Language)
- Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services(Special Issue on Knowledge-Based Software Engineering)
- CTL Model Checking of Time Petri Nets Using Geometric Regions
- Formal Definitions of Feature Interactions in Telecommunications Software(Special Section on Concurrent Systems Technology)