作　　者： ; ; (贺前华）;

机构地区： 华南理工大学电子与信息学院电子与通信工程系

出　　处： 《华南理工大学学报(自然科学版)》 2002年第1期

摘　　要： 提出了一个电信系统业务特性集成的建模和检验方法 .根据这个方法 ,现有的系统和新的业务特性分别表述为一个着色Petri网 ,业务特性的功能可表述为时序逻辑公式 (称为功能公式 ) ,而业务特性的行为可表述为实现这个着色Petri网的变迁不变量 (T不变量 )的引发序列 (称为业务 ) .通过检测业务是否满足功能公式 ,可对业务特性进行检验 .

关 键 词： 着色 网 特性集成 不变量 软件检验 电信系统 时序逻辑

分 类 号： [TN915]

领　　域： [电子电信] [电子电信]