论文部分内容阅读
本文提出了一个检测和解决业务特性交互作用( F I)的新方法。在本方法中,每个业务特性以一个着色 Petri网( C P网)来模拟,其使用实例则表述为 C P网的变迁不变量集。当两个业务特性同时存在时,可将它们的 C P 网合成为一个大网来观察其间的交互作用,如果两个成分网中表示使用实例的不变量的支撑不能同时得到保留,则说明系统存在 F I。解决的方法是在两个业务特性中设立优先权以保证其中之一的运行。本文提出 C P 网合成变换不变量守恒定理以帮助判别不变量是否守恒。