Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2012.06a
- /
- Pages.262-264
- /
- 2012
- /
- 1598-5164(pISSN)
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