用着色Petri网不变量守恒变换检测和处理电信系统业务特性交互作用

Detecting and Managing Feature Interactions in Telecommunications Systems by Invariant preserving Transformations of Colored Petri Net

本文提出了一个检测和解决业务特性交互作用（ Ｆ Ｉ）的新方法。在本方法中，每个业务特性以一个着色 Ｐｅｔｒｉ网（ Ｃ Ｐ网）来模拟，其使用实例则表述为 Ｃ Ｐ网的变迁不变量集。当两个业务特性同时存在时，可将它们的 Ｃ Ｐ 网合成为一个大网来观察其间的交互作用，如果两个成分网中表示使用实例的不变量的支撑不能同时得到保留，则说明系统存在 Ｆ Ｉ。解决的方法是在两个业务特性中设立优先权以保证其中之一的运行。本文提出 Ｃ Ｐ 网合成变换不变量守恒定理以帮助判别不变量是否守恒。

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.