Modeling and Resolution of Feature Interactions in Multimedia Networks

多媒体网络中特征交互的建模和解析

• 批准号: 09650413
• 负责人: KAKUDA Yoshiaki
• 金额: $ 1.09万
• 依托单位: Hiroshima City University (1998)Osaka University (1997)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09650413/
• 关键词: feature interaction; extend finite state machine; detection; resolution; normal state; abnormal state; 通信サービス; 競合; ペトリネット; インバリアント; 状態爆発; 非決定性

This project discussed feature interactions among telecommunication services in multimedia networks and proposed detection and resolution methods for the feature interactions as follows.1. Detection of feature interactionsIn order to relax the state explosion problem, this project proposed new methods to detect feature interactions in sufficient and necessary conditions using symmetry and acyclic expansion techniques. Furtheremore, this project proposed a new method to detect feature interactions in a necessary condition using P-invariant in the Petri Net theory. The experiments to detect feature interactions among advanced telephone services showed that time to detect such feature interactions by the P-invariant based method is almost proportional to the number of users and services.2. Resolution of feature interactions.The project proposed new methods to resolve feature interactions during execution of telecommunication services. In these methods, agents collect information concerning telecommunication services and resolve feaure interactions named abnormal states. One method is to store normal states periodically and to revert to the stored normal state when an abnormal state is detected. The other method is to restrict executable events so that any abnormal state is not reachable. There are tradeoffs between these two methods with respect to overheads and executability.

该项目讨论了多媒体网络中电信服务之间的特征交互，并提出了特征交互的检测和解决方法： 1．特征交互检测为了缓解状态爆炸问题，该项目提出了使用对称和非循环扩展技术在充分必要条件下检测特征交互的新方法。此外，该项目提出了一种利用Petri网理论中的P-不变性在必要条件下检测特征交互的新方法。检测高级电话服务之间的特征交互的实验表明，基于P不变的方法检测这种特征交互的时间几乎与用户和服务的数量成正比。 2．特征交互的解决。该项目提出了解决电信服务执行期间特征交互的新方法。在这些方法中，代理收集有关电信服务的信息并解决称为异常状态的功能交互。一种方法是定期存储正常状态，并在检测到异常状态时恢复到所存储的正常状态。另一种方法是限制可执行事件，使任何异常状态都无法达到。这两种方法在开销和可执行性方面需要权衡。

项目成果

Shinichi Nagano: "Experience of responsiveness verification for connection estublishment protocols" Proc.1st IEEE International Symposium on Objected-oriented Real-time Distributed Computing. 383-392 (1998)

Shinichi Nagano：“连接建立协议响应性验证的经验”Proc.第一届 IEEE 国际面向对象实时分布式计算研讨会。

Masahide Nakaumra: "Analyzing non-determinism in telecommunication services using P-Invariant of Petri-Net model" Proc.16th IEEE Conference on Computer Communications (INFDCOM'97). 16. 1253-1260 (1997)

Masahide Nakaumra：“使用 Petri-Net 模型的 P 不变性分析电信服务中的非确定性”Proc.16th IEEE 计算机通信会议 (INFDCOM97)。

Masahide Nakamura: "Feature interaction detection using permutation symmetry" Proc.5th International Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems. 187-201 (1998)

Masahide Nakamura：“使用排列对称性进行特征交互检测”Proc.5th 国际电信网络和分布式系统特征交互研讨会。

井上伸二: "マルチエージェントに基づいた予備VP予約法とその実験的評価" 電子情報通信学会論文誌B-1. J82-B-1(印刷中). (1999)

Shinji Inoue：“基于多代理的备份 VP 保留方法及其实验评估”IEICE Transactions B-1（出版中）。

Masahide Nakamura: "Petri-Net based detection method for non-deterministic feature interactions and its experimental evaluation" Proc.4th International Workshop on Feature Interactions in Telecommunication Systems (FIW'97). 4. 138-152 (1997)

Masahide Nakamura：“基于 Petri-Net 的非确定性特征交互检测方法及其实验评估”Proc.4th 国际电信系统特征交互研讨会 (FIW97)。