Abstract
To make service location protocol of IETF which is to be used in the wide area network to discover the location of desired service when computing resources are connected to the network, and to support simless connectivity between wired and wireless network in service viewpoint, to support the diversity trend of service agents in WIF, it needs to improve SLP, so as to add Liaison Agent and Forwarding Agent with FAAdvert message that is to communicate in between those entities. LA entity confirms the location of service located in wide area network, and FA transfers service information. The usage of existing messages such as SrvRqst, SrvRply, AttrRqst, AttrRply, DAAdvert, SrvReg, SrvAck, SrvDeReg is same as ever in wide area service network. The behaviors of improved protocol is modeled into petri-net and prove that it is free of deadlock and live-lock by execution of the model.
컴퓨팅 장비가 네트워크에 수용되었을 때 이들이 가지는 서비스의 탐색과 위치 정보를 제공하는 프로토콜인 IETF의 SLP의 기능을 광역화하고, 이동통신을 위한 유무선 네트워크를 수용하며, WIF에서 추진하는 서비스의 분산화 경향을 지원할 수 있도록 개선하기 위하여 Liaison Agent와 Forwarding Agent를 추가하고 이들 사이의 정보 교환을 위한 LAAdvert 메시지를 정의한다. LA 엔티티는 광역망에 존재하는 서비스의 위치를 확인해주며, FA 엔티티는 서비스 정보를 전달해주는 역할을 담당한다. 나머지 메시지 즉, SrvRqst, SrvRply, AttrRqst, AttrRply, DAAdvert, SrvReg, SrvAck, SrvDeReg의 사용은 동일하며 하며, 광역 서비스 망에서도 동일한 방식으로 활용한다. 개선된 프로토콜의 동작을 페트리넷으로 모델링하고, 페트리넷의 실행을 통하여 데드락과 라이브락의 문제가 없음을 확인한다.