CORBA Based Intelligent Network Service Logic Design And Service Verification

This paper discusses the technique of CORBA based Intelligent Network service creation, proposes the architecture of the distributed CORBA based IN, and presents the system design of CORBA based IN services using GSL (Global Service Logic) table, SIB (Service Independent Building) table, and EDP (Event Detection Point) table. Also, the implementation of some CORBA objects, such as SIB objects, SSD (Service Supported Data) objects, FSM (Finite State Machine) objects, service logic objects, and the Automatic Alternative Billing service is given. This paper also introduces a specification of service logic according to the analysis of IN services, and presents a model of the components of the specification that are related to concurrency and synchronization with Petri Nets. The verification on the model is then discussed.