A Method of Service Interference Detection with Rule-Based System and Extended Adjacency Matrix (Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
In general, when many functions and services are added to a system, verification and validation become difficult. In design and development in telecommunication services, conflicts that arise from combined telecommunication services have been discussed from various viewpoints. However, correctly and efficiently detecting all conflicts is still not possible and the resolution of conflicts primarily depends on expert designers, who are finding that these problems are beyond their ability. Thus, the burden on the designer must also be alleviated at the design stage. Service interference, which is discussed in this paper, is a kind of conflict. A problem of service interference is that during service, other services interfere with the ongoing service behavior. That is to say, a strange state arises, or an input event doesn't work, or a strange transition occurs, etc. The detection of service interference by only comparing states among services is not enough since the state transition must be considered in the service interference. This paper proposes how to automatically detect the service interference with a rule-based system and an extended adjacency matrix. The proposed method uses and combines features of both the adjacency matrix and rule-based system. The method first generates the extended adjacency matrix by the rule application, then extracts sequences of the state, the event, and the rule applications, and then detects the service interference with the extracted sequences.
- 社団法人電子情報通信学会の論文
- 1999-11-25
著者
-
Harada Y
Atr Adaptive Communications Res. Lab. Kyoto‐fu Jpn
-
HARADA Yoshio
ATR Adaptive Communications Research Laboratories