Colored Petri-Net을 이용한 상황인식 서비스의 모델링과 검증 방법 (Modeling and Verification Methodology for Context-awareness Service using Colored Petri-Net)

서지정보

· 발행기관 : 한국정보과학회
· 수록지 정보 : 정보과학회논문지 : 소프트웨어 및 응용 / 36권 / 4호 / 283 ~ 290페이지
· 저자명 : 한승욱, 윤희용

초록

상황인식 서비스는 유비쿼터스 환경의 핵심으로 동적 환경에서 지능적이고 민감하게 동작하기 위해 상황과 서비스간의 연관관계를 명확하게 분류하기 위한 방법론이 요구된다. 기존의 모델링 방법들은 시나리오 중심의 상황정보 수집, 관리 그리고 표현에 초점이 맞추어 있다. 따라서 설계할 때 다양한 실제 환경에 적용하여 상황인식 서비스 모델의 적합성을 검증하기는 힘들다. 본 논문에서는 colored Petri-Net을 응용한 모델링 방법을 제시한다. 모델은 상황 정보의 변화와 흐름의 표현과 평가에 초점을 두고 시간을 추가하여 수행시간제약에 대한 표현 및 평가가 가능하도록 하였다. 또한 상황 모델링 툴킷과 에이전트 기반의 상황인식 엔진 그리고 상황정보 시뮬레이터를 활용하여 에이전트 기반의 상황인식 서비스를 개발 하였다. 본 논문에서 제안한 모델링 방법은 Usilvercare에 적용하여 실용성을 검증하였다.

영어초록

Context-awareness is one of the key features of ubiquitous paradigm. A methodology that is specifying the relationships between the contexts and services needs to be developed to intelligently and sensitively deal with dynamic environment. The existing models on context-aware modeling are difficult to verify the correctness of models with respect to timeliness. In this paper we propose an approach which includes timing constraint in the relations of the context model, and verify its effectiveness using colored Petri-Net. Moreover, a context-modeling toolkit including context-awareness engine and simulator is developed to support agent-based context-aware service. The effectiveness of the proposed methodology is demonstrated using an example of Usilvercare.

참고자료

· 없음