Modeling and Verification of Context-Awareness Service for Time Critical Applications Using Colored Petri-Net

  • Authors:
  • Seungwok Han;Sung Keun Song;Hee Yong Youn

  • Affiliations:
  • -;-;-

  • Venue:
  • WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Context-awareness is one of the key features of ubiquitous paradigm. To intelligently and sensitively deal with dynamic environment, a methodology specifying the relationships between the contexts and services needs to be developed. It is difficult to verify the correctness of the existing models on context 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.