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