A Study on Modeling of Protocol for Basic Call Process SIB in Advanced Intelligent Network

고도지능망의 기본호처리 SIB를 위한 프로토콜 모델링에 관한 연구

SIBs(Service Independent Building block) are defined in CCITT advanced intelligent network concept model for supporting various services in the future. This paper describes the protocol modeling and verification for basic call process SIB. For modeling, we use Petri Net and verify this modeling by analyzing reachability tree of Petri Net. Results of this paper should be used for design and implementation of basic call process SIB.

고도지능망의 개념모델에서는 총괄기능평면에서 다양한 지능망서비스 제공을 위하여 서비스에 독립적인 기능블럭인 SIB(service indenpendent building block)을 정의하고 있다. 본 논문은 이중에서 가장 근간이 되는 기본호처리 SIB를 위한 지능망교환기(SSP: service switching point)와 서비스제어시스템(SCP: service control point) 간의 프로토콜 모델링에 대하여 기술하였다. 모델링을 위하여 Petri Net를 이용하며, 도달성 트리(reachability tree)를 분석하여 모델에 대한 검증을 한다. 본 논문의 결과는 고도지능망 기본호처리 SIB 설계와 구현을 위하여 이용될 수 있을 것이다.