机构地区: 华南理工大学电子与信息学院电子与通信工程系
出 处: 《通信学报》 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.