A Formal Framework for Context-Aware System Modeling

상황인식 시스템 모델링을 위한 정형화 프레임워크

  • Cho, Eun-Sun (Dept. of Computer Sci. & Eng. Chungnam National University) ;
  • Min, Young-Mok (Dept. of Computer Sci. & Eng. Chungnam National University)
  • Published : 2009.03.25

Abstract

Context-aware systems are reactive computing systems, aware of external context. Considering various sensors and actuators connected, application programming on top of such systems is known to be much more complex than in contentional ones. This paper suggests a formal framework for context-aware systems, by extracting their common properties. That makes a useful birds-eye view for the behaviors of a whole complex system, as a base for a convenient developing environment and systematic analysis. In this framework, reactive-ness is handled by event-condition-action rules and global state-transitions, which are essential in a lot of context-aware applications. In addition, behaviors of each elementary device are modelled with its own state-transitions, and tightly bound to the entire task.

상황인식 시스템은 이용자의 주변 상황을 인지해서 적절한 대응을 수행하는 시스템이다. 컴퓨터 외에도 각종 센서나 실행기들이 시스템에 연결되어 동작하게 되므로 전통적인 시스템과 상이하며 응용 프로그램 개발의 복잡성이 증가하는 것이 특징이다. 본 논문에서는 이러한 상황인식 시스템들이 공통적으로 가지고 있는 특징을 기반으로 하여 정형화된 프레임워크를 제시한다. 이것은 복잡한 전체 시스템을 조망할 수 있는 도구가 되며, 이를 반영한 시스템 개발 환경은 편의를 제공할 뿐 아니라, 유용한 분석의 기반이 되는 등의 장점들을 가진다. 제시된 프레임워크에서는 반응적 (reactive) 작업 수행을 위해 이벤트에 대한 규칙을 통해 동작하도록 정의하고, 많은 상황인식 응용 프로그램에서 인식하는 상태 전이 개념을 도입하였다. 또한, 각 장비의 상태 변화가 전체 작업 수행에 연결되어 모델링 될 수 있도록 하였다.

Keywords

References

  1. C. Shankar, A. Ranganathan and R. H. Campbell, 'An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments', in Proc. of Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services, pp33-44, San Diego, California, USA, Jul. 2005 https://doi.org/10.1109/MOBIQUITOUS.2005.11
  2. R. Grimm et. al, 'System support for pervasive applications', ACM Transactions on Computer Systems, Vol. 22, no. 4, pp421-486, Nov. 2004 https://doi.org/10.1145/1035582.1035584
  3. H. Chen et. al, 'Intelligent agents meet semantic web in a smart meeting room', in Proc. of the Third International Joint Conference on Autonomous Agents & ulti Agent Systems (AAMAS 2004), pp 854-861, New York, NY, USA, Jul. 2004 https://doi.org/10.1109/AAMAS.2004.152
  4. A. Messer, et. al, 'A Classification of Pervasive System Software', in Proc. of Common Models and Patterns for Pervasive Computing Workshop at the 5th International Conference on Pervasive Computing, position paper, Toronto, Canada, May 2007
  5. E.-S. Cho, et. al, 'Scenario-Based Programming for Ubiquitous Applications', Lecture Notes in Computer Science, Vol. 4239, pp286-299, Oct. 2006 https://doi.org/10.1007/11890348_22
  6. 김병철 외, '유비쿼터스 컴퓨팅 서비스 개발을 위한 시나리오 기반 계층적 접근법', 한국 HCI 학술대회 논문집, 피닉스파크, 대한민국, 2006년 2월
  7. M. Blackstock, R. Lea, and C. Krasic, 'Adapting Ubicomp Systems to a Common Model', in Proc. of Common Models and Patterns for Pervasive Computing Workshop, at the 5th International Conference on Pervasive Computing, position paper, Toronto, Canada, May 2007
  8. A. Ranganathan and R. H. Campbell, 'An infrastructure for context-awareness based on first order logic', Personal and Ubiquitous Computing, Vol. 7, no. 6, pp353-364, Oct. 2003 https://doi.org/10.1007/s00779-003-0251-x
  9. C. S. Shankar and R. Campbell, 'A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions', in Proc. of the Fourth IEEE International Symposium on Network Computing and Applications, pp255-258, Washington, DC, USA, Jul, 2005 https://doi.org/10.1109/NCA.2005.3
  10. E. Jansen et. al, 'A Programming Model for Pervasive Spaces,' Submitted to the 3rd International Conference on Service Oriented Computing, Amsterdam, Netherlands, Dec., 2005
  11. L. Cardelli and A. D. Gordon, 'Mobile Ambients', Lecture Notes in Computer Science, Vol. 1378, pp 140--155, Apr. 1998 https://doi.org/10.1007/BFb0053547
  12. P. Braione and G. P. Picco, 'On Calculi for Context-Aware Coordination', Lecture Notes in Computer Science, Vol. 2949, pp. 38-54, Feb. 2004 https://doi.org/10.1007/978-3-540-24634-3_6
  13. D. Harel, 'Statecharts: A Visiual Formalism for Complex Systems,' Science of Computer Programming, Vol. 8, pp. 231-274, Jun. 1987 https://doi.org/10.1016/0167-6423(87)90035-9
  14. N. H. Cohen and K. T. Kalleberg, 'EventScript: an event-processing language based on regular expressions with actions', in Proc. of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, pp111-120, Tucson, USA, Jun. 2008 https://doi.org/10.1145/1379023.1375673
  15. P. Caspi et. al,'LUSTRE: a declarative language for real-time programming', in Proc. of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp178-188, Munich, Germany, Jan. 1987 https://doi.org/10.1145/41625.41641
  16. E. Cheong et. al, 'TinyGALS: a programming model for event-driven embedded systems', in Proc. of the 2003 ACM symposium on Applied computing, pp698-704, Melbourne, Florida, USA, Mar. 2003 https://doi.org/10.1145/952532.952668
  17. A. Ledeczi et. al, 'Modeling Methodology for Integrated Simulation of Embedded Systems', ACM Transactions on Modeling and Computer Simulations, Vol. 13, no. 1, pp82-103, Jan. 2003 https://doi.org/10.1145/778553.778557
  18. Corporate Act-Net Consortium, 'The Active Database Management System Manifesto: A Rulebase of ADBMS Features', ACM SIGMOD Record, Vol. 25, No.3, pp 40-49, Sept. 1995 https://doi.org/10.1145/234889.234896
  19. H. R. Nielson and F. Nielson, Semantics with Applications, Wiley, ISBN 0-471-92980-8, 1992
  20. J. Mchugh and S. Abiteboul, 'Lore: A Database Management System for Semistructured Data', SIGMOD Record, Vol 26, No 3.. pp54-66, Sept. 1997 https://doi.org/10.1145/262762.262770
  21. Frank Manola, Eric Miller, eds., Resource Description Framework Primer, W3C Recommendation, http://www.w3.org/TR/rdf-primer/, Feb. 2004
  22. D. L. McGuinness and F. v. Harmelen, OWL Web Ontology Language Overview, W3C Recommendation, http://www.w3.org/TR/owl-features/, Feb. 2004
  23. 이창열, '유비쿼터스 정보 모델링 및 표현 언어 개발', 대한전자공학회 논문지 CI, Vol. 44 no.1, pp. 19-25, Jan. 2007
  24. UPnP Device Architecture 1.0, UPnP Forum, Apr. 2008
  25. JiniTM Technology Architectural Overview, Technical white paper, Sun microsystems, Inc. 1999, http://www.sun.com/software/jini/whitepapers/architecture.html
  26. I. Cervesato, M. Franceschet and A. Montanari, 'A Guided Tour Through Some Extensions Of The Event Calculus', Computational Intelligence, Vol. 16 no. 2, pp307-347, May. 2000 https://doi.org/10.1111/0824-7935.00115