Browse > Article

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)
Publication Information
Journal of the Institute of Electronics Engineers of Korea CI / v.46, no.2, 2009 , pp. 114-123 More about this Journal
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.
Keywords
Context-aware systems; ECA rules; State transitions; Semantics;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 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
2 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   DOI   ScienceOn
3 E. Jansen et. al, 'A Programming Model for Pervasive Spaces,' Submitted to the 3rd International Conference on Service Oriented Computing, Amsterdam, Netherlands, Dec., 2005
4 L. Cardelli and A. D. Gordon, 'Mobile Ambients', Lecture Notes in Computer Science, Vol. 1378, pp 140--155, Apr. 1998   DOI   ScienceOn
5 이창열, '유비쿼터스 정보 모델링 및 표현 언어 개발', 대한전자공학회 논문지 CI, Vol. 44 no.1, pp. 19-25, Jan. 2007   과학기술학회마을
6 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   DOI
7 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   DOI
8 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   DOI
9 김병철 외, '유비쿼터스 컴퓨팅 서비스 개발을 위한 시나리오 기반 계층적 접근법', 한국 HCI 학술대회 논문집, 피닉스파크, 대한민국, 2006년 2월
10 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   DOI   ScienceOn
11 Frank Manola, Eric Miller, eds., Resource Description Framework Primer, W3C Recommendation, http://www.w3.org/TR/rdf-primer/, Feb. 2004
12 D. Harel, 'Statecharts: A Visiual Formalism for Complex Systems,' Science of Computer Programming, Vol. 8, pp. 231-274, Jun. 1987   DOI   ScienceOn
13 H. R. Nielson and F. Nielson, Semantics with Applications, Wiley, ISBN 0-471-92980-8, 1992
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   DOI
15 UPnP Device Architecture 1.0, UPnP Forum, Apr. 2008
16 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   DOI   ScienceOn
17 JiniTM Technology Architectural Overview, Technical white paper, Sun microsystems, Inc. 1999, http://www.sun.com/software/jini/whitepapers/architecture.html
18 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   DOI
19 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   DOI   ScienceOn
20 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   DOI
21 D. L. McGuinness and F. v. Harmelen, OWL Web Ontology Language Overview, W3C Recommendation, http://www.w3.org/TR/owl-features/, Feb. 2004
22 E.-S. Cho, et. al, 'Scenario-Based Programming for Ubiquitous Applications', Lecture Notes in Computer Science, Vol. 4239, pp286-299, Oct. 2006   DOI   ScienceOn
23 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
24 P. Braione and G. P. Picco, 'On Calculi for Context-Aware Coordination', Lecture Notes in Computer Science, Vol. 2949, pp. 38-54, Feb. 2004   DOI   ScienceOn
25 J. Mchugh and S. Abiteboul, 'Lore: A Database Management System for Semistructured Data', SIGMOD Record, Vol 26, No 3.. pp54-66, Sept. 1997   DOI   ScienceOn
26 R. Grimm et. al, 'System support for pervasive applications', ACM Transactions on Computer Systems, Vol. 22, no. 4, pp421-486, Nov. 2004   DOI   ScienceOn