帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 文献详情
文献详细Journal detailed

用着色Petri网不变量守恒变换检测和处理电信系统业务特性交互作用
Detecting and Managing Feature Interactions in Telecommunications Systems by Invariant preserving Transformations of Colored Petri Net

作  者: ; ;

机构地区: 华南理工大学电子与信息学院电子与通信工程系

出  处: 《通信学报》 1999年第7期54-58,共5页

摘  要: 本文提出了一个检测和解决业务特性交互作用( F I)的新方法。在本方法中,每个业务特性以一个着色 Petri网( C P网)来模拟,其使用实例则表述为 C P网的变迁不变量集。当两个业务特性同时存在时,可将它们的 C P 网合成为一个大网来观察其间的交互作用,如果两个成分网中表示使用实例的不变量的支撑不能同时得到保留,则说明系统存在 F I。解决的方法是在两个业务特性中设立优先权以保证其中之一的运行。本文提出 C P 网合成变换不变量守恒定理以帮助判别不变量是否守恒。 This paper presents an approach to detecting and resolving feature interactions(FI)in telecommunications systems.In this approach,each feature is represented as a colored Petri net(CP net).The use cases of a feature are represented as a set of transition invariants(T invariants)of the CP net.If two features are integrated,their CP nets are combined into a larger net.FIs are detected by inspecting if the T invariants of original nets representing the use cses can both be preserved after combination.If the T invariants cannot be preserved,there may be a FI.When a FI is detected,priority is often used to ensure the work of one feature.A theorem is set up to help to check whether the invariants are preserved or not.

关 键 词: 着色 业务特性 交互作用 电信系统

领  域: [电子电信] [电子电信]

相关作者

作者 郭贵龙
作者 梁晓英
作者 张爱忧
作者 喻镝
作者 黄志衡

相关机构对象

机构 华南理工大学
机构 中山大学
机构 中山大学管理学院
机构 华南师范大学
机构 华南理工大学电子与信息学院自动化与网络工程系

相关领域作者

作者 黄立
作者 毕凌燕
作者 廖建华
作者 王和勇
作者 郑霞