智能网业务逻辑的一种验证方法

摘要

智能网业务逻辑在不同的平面中有不同的表示.在总功能平面中,有一组总业务逻辑(GSL),它说明了完成各个业务独立模块(SIB)链接在一起的次序;在分布功能平面中,分布业务逻辑(DSL)是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流;在物理平面中,包含业务控制功能(SCF)的物理实体执行业务逻辑程序.通信有限状态机模型是由表示进程的有限状态机和表示进程之间通道的先进先出队列(FIFO)组成.文章利用通信有限状态机(CFSM)模型描述智能网业务逻辑(SL),并给出了通过业务逻辑的CFSM模型验证业务逻辑正确性的一种方法.