A study on modelling and simulation of computer communication protocols

컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 연구

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

본 논문에서는 컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 이론적 인 연구를 하였다. 먼저 통신 프로토콜의 정의와 기능을 설명하였고 통신 프 로토콜을 위한 모델을 분류하였다. 또한, 통신 프로토콜의 모델 중에 Timed Petri Net(TPN) 모델에 시간함수 .tau.를 부여함으로써 TPN을 구조적으로 정의하였으며 TPN Based 모델의 문제점을 보완하기 위하여 시스템 시뮬레 이션 분야의 이산사건 시스템 명세(DEVS:Discrete Event Simulation) 개념 을 도입하였다. 중요한 연구 결과로서 TPN모델이 DEVS모델이라는 정리를 제시하고 증명하였다. 이 정리에 따르면, TPN모델을 시뮬레이션 할 때 시뮬 레이션을 위해 모델을 설계할 필요없이 DEVS모델로 변환하여 사용함으로써 시뮬레이션을 수행할수 있다.