The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization. It ensures the validity of the service software, witch is of great importance for offering the IN service with high quality.Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for IN service and the theory and methods in IN's service verification. The Communicating Finite State Machines (CFSM) model consists of a finite state machine representing each process and first-in-first-out queues representing the communication channels between processes. The paper gives the state diagrams of IN function entities and the CFSM models of the service logic, and gives a method of validating the service logic through its CFSM model.Finally, taking the Terminal Call Screen (TCS) service as example, the paper gives the design and simulating realization of TCS service.
|