对基于虚拟机机制的智能网SCF程序结构的研究

本文提出了一种基于虚拟机机制的智能网业务控制功能（ Ｓ Ｃ Ｆ）的程序结构。基于这种结构可以实现 Ｓ Ｃ Ｆ功能与智能业务的无关，即智能业务的引入与修改不需要重新编译 Ｓ Ｃ Ｆ软件。通过把一个智能呼叫与一个虚拟机相映射，做到了对智能业务的逻辑描述与具体实现的统一。本文还详细讨论了智能呼叫在 Ｓ Ｃ Ｆ 中的状态转移和所设计的虚拟机的内部结构。

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

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