Browse > Article

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

Han, Seung-Wok (성균관대학교 정보통신공학부)
Youn, Hee-Yong (성균관대학교 정보통신공학부)
Publication Information
Journal of KIISE:Software and Applications / v.36, no.4, 2009 , pp. 283-290 More about this Journal
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.
Keywords
Agent platform; Context-aware; Context-modeling toolkit; Modeling; Petri-Nets;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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
2 Jensen, K., 'Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use,' EATGCS Monographs on Theoretical Computer Science. Springer. 1992
3 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
4 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
5 Patrick, R., O. B., Dominique, V., et al., 'Contextaware environments: from specification to implementation,' Expert Systems, Vol.24, No.5, pp. 305-320, 2007   DOI   ScienceOn
6 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
7 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   DOI   ScienceOn
8 Ramchandani, C., 'Analysis of asynchronous concurrent system by timed Petri nets,' Cambridge, MA. MIT, Project MAC, TR.120, 1974
9 Chen, H., 'An intelligent broker architecture for context-aware systems,' PhD. Dissertation, University of Maryland, 2003
10 Anind K. Dey, 'Understanding and Using Context,' Personal and Ubiquitous Computing, Vol.5, No.1, pp. 4-7, 2001   DOI   ScienceOn
11 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   DOI   ScienceOn
12 Paulson, L. C., 'ML for the working programmer,' Cambridge University Press, 2nd edition, 1996
13 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   DOI   ScienceOn
14 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
15 Hack, M., 'Decidability Questions for Petri Nets,' Ph. H. dissertation, MIT, Massachusetts, Dec, 1975