Petri-Net based Service Plug and Play System Modeling for Defining the Collaborative Execution

협력 실행 정의를 위한 Petri-Net기반 서비스 플러그 앤 플레이 시스템 모델링

  • Choi, Ki-Yong (Department of Electrical and Computer Engineering, Ajou University) ;
  • Bak, Chang-Gyu (Department of Electrical and Computer Engineering, Ajou University) ;
  • Lee, Jung-Won (Department of Electrical and Computer Engineering, Ajou University)
  • Published : 2012.06.22

Abstract

유비쿼터스 지능형 공간에서 사용자의 개입 없이도 자율 실행하는 서비스 플러그 앤 플레이 시스템(Service Plug and Play System)은 기능적인 모델로서 총체적인 시스템의 협력 프로토콜 부재로 그 동시성 및 병렬성을 반영한 실행관리를 하기 어렵다. 이는 시스템을 구성하는 모듈로, 컨텍스트 수집기, 서비스 실행기, 공간관리기, 모바일 제어기 등이 UML의 시퀀스 다이어그램으로 모델링하여 각 기기의 기능과 실행흐름을 독립적으로 표현할 뿐, 기기간의 상호작용, 특히 병렬 및 동시 실행 알고리즘을 설계하고 검증하는 절차의 부재 때문이다. 본 논문에서, 각 기기의 실행 흐름 및 상호작용을 Petri Net을 이용하여 모델링함으로써, 시스템을 구성하는 각 디바이스의 상호작용 및 실행 흐름을 정의 하고 검증한다.

Keywords