A service logic program generation method for advanced intelligent network

An efficient service logic program (SLP) generation method for the advanced intelligent network is discussed. This method first generates the complete and optimum software specifications for SLPs based on INAP (Q.1218) from plain service specifications, and then translates these software specifications into programming languages. The method features the following key techniques: (1) the global state transition knowledge which defines the INAP-based global state transition rules of the advanced intelligent network service execution system; (2) a specification conversion algorithm using the global state transition knowledge; and (3) a specification supplement algorithm to automatically generate partial SLP software specifications for complex operations such as quasi-normal procedures. This method is expected to greatly reduce the manpower required for SLP creation