Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Modeling and Verification Methodology for Context-awareness Service using Colored Petri-Net

Colored Petri-Net을 이용한 상황인식 서비스의 모델링과 검증 방법

  • 한승욱 (성균관대학교 정보통신공학부) ;
  • 윤희용 (성균관대학교 정보통신공학부)
  • Published : 2009.04.15
Download PDF
⟨ Previous Next ⟩

Abstract

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.

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

Keywords

References

  1. Anind K. Dey, 'Understanding and Using Context,' Personal and Ubiquitous Computing, Vol.5, No.1, pp. 4-7, 2001 https://doi.org/10.1007/s007790170019
  2. Patrick, R., O. B., Dominique, V., et al., 'Contextaware environments: from specification to implementation,' Expert Systems, Vol.24, No.5, pp. 305-320, 2007 https://doi.org/10.1111/j.1468-0394.2007.00436.x
  3. Strang, T. and Linnhoff-Popien, C., 'A context modeling survey,' In First International Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp, pp. 33-40, 2004
  4. Henricksen, K. and J. Indulska, 'Developing context-aware pervasive computing applications: Models and approach,' Pervasive and Mobile Computing, Vol.2, No.1, pp. 37-64, 2006 https://doi.org/10.1016/j.pmcj.2005.07.003
  5. Hack, M., 'Decidability Questions for Petri Nets,' Ph. H. dissertation, MIT, Massachusetts, Dec, 1975
  6. Jensen, K., 'Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use,' EATGCS Monographs on Theoretical Computer Science. Springer. 1992
  7. Ramchandani, C., 'Analysis of asynchronous concurrent system by timed Petri nets,' Cambridge, MA. MIT, Project MAC, TR.120, 1974
  8. Brown, P. J., Davies, N., et al., 'Towards a better understanding of context and context-awareness,' Handheld and ubiquitous computing, Springer, No. 170, pp. 304-307. 1999
  9. FIPA-Foundation for Intelligent Physical Agents, http://www.fipa.org, Park, A. H., Park, S. H.,Youn, H. Y., 'A Flexible and Scalable Agent Platform for Multi-agent Systems,' Transactions on engineering, computing and technology, Vol.19. pp. 1-6, 2007
  10. Byung Kwon, O., 'Modeling and generating context-aware agent-based applications with amended colored Petri nets,' Expert Systems with Applications, Vol.27, No.4, pp. 609-621, 2004 https://doi.org/10.1016/j.eswa.2004.06.008
  11. Lee, K. M., 'Colored Timed Petri Nets-based Context Inference,' Journal of the Research Institute for Computer and Information Communication, Vol.14, No.2, pp. 41-48, 2006
  12. Paulson, L. C., 'ML for the working programmer,' Cambridge University Press, 2nd edition, 1996
  13. Chen, H., 'An intelligent broker architecture for context-aware systems,' PhD. Dissertation, University of Maryland, 2003
  14. Khedr, M. and A. Karmouch., 'ACAI: agent-based context-aware infrastructure for spontaneous applications,' Journal of Network and Computer Applications, Vol.28, No.1, pp. 19-44, 2005 https://doi.org/10.1016/j.jnca.2004.04.002
  15. Kim, Y. B., Kim, C., Lee, J. W., 'A middleware platform based on multi-agents for u-Healthcare services with sensor networks,' Agent and Multi-Agent Systems: Technologies and Applications, No.4953, pp. 683-692, 2008