论文部分内容阅读
提出了一个电信系统业务特性集成的建模和检验方法 .根据这个方法 ,现有的系统和新的业务特性分别表述为一个着色Petri网 ,业务特性的功能可表述为时序逻辑公式 (称为功能公式 ) ,而业务特性的行为可表述为实现这个着色Petri网的变迁不变量 (T不变量 )的引发序列 (称为业务 ) .通过检测业务是否满足功能公式 ,可对业务特性进行检验 .
A modeling and testing method for integration of business characteristics of telecommunication systems is proposed. According to this method, existing systems and new business characteristics are described as a colored Petri net respectively. The functions of business characteristics can be expressed as sequential logic formulas Formula), and the behavior of business characteristics can be expressed as the priming sequence (called business) that implements the transition invariants (T-invariants) of this colored Petri net.The business characteristics can be tested by checking whether the business satisfies the functional formula.