A Formal Model of Context-Awareness and Context-Dependency

The communication environment surrounding our daily experience is increasingly characterized by mobile devices that can exchange multimedia information and provide access to various services of complex nature. The trend is now clear that future consumer computing experience would be based on multiple pervasive communication devices and services, where navigability, context-sensitivity, adaptability and ubiquity are key characteristics. Several issues have been studied, models and methodologies proposed, and tools and systems implemented. However, we look at the foundation, where some of the most relevant issues probably are a formal model of context-awareness and context-dependency. In this paper, we discuss a formal foundation and software engineering techniques for mobile context-aware and context-dependent service derivation and application development, emphasizing the relationships between context and system

[1]  Ralph-Johan Back,et al.  Compositional Action System Refinement , 2003, Formal Aspects of Computing.

[2]  Reiko Heckel,et al.  Modeling and simulation of context-aware mobile systems , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

[3]  Vladimiro Sassone,et al.  A Formal Model for Trust in Dynamic Networks , 2003 .

[4]  Y. Roussos,et al.  Towards a Context-Aware Relational Model , 2005 .

[5]  Raffaele Giaffreda,et al.  A design model for context-aware services based on primitive contexts , 2004 .

[6]  Kui Wu,et al.  Sensor localization with Ring Overlapping based on Comparison of Received Signal Strength Indicator , 2004, 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE Cat. No.04EX975).

[7]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[8]  Ralph-Johan Back,et al.  Refinement Calculus: A Systematic Introduction , 1998 .

[9]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[10]  Milind Tambe,et al.  Distributed Sensor Networks , 2003, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[11]  S. Sitharama Iyengar,et al.  Distributed Sensor Networks (Chapman & Hall/Crc Computer and Information Science) , 2004 .

[12]  Kaisa Sere,et al.  Hazard Analysis in Formal Specification , 1999, SAFECOMP.

[13]  Guanling Chen,et al.  A Survey of Context-Aware Mobile Computing Research , 2000 .

[14]  Lu Yan,et al.  A formalism for context-aware mobile computing , 2004, Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks.

[15]  Lu Yan,et al.  A Design Framework for Wireless Sensor Networks , 2006 .

[16]  Kaisa Sere,et al.  From Action Systems to Modular Systems , 1994, Softw. Concepts Tools.

[17]  Kaisa Sere,et al.  Stepwise Refinement of Action Systems , 1991, Struct. Program..

[18]  Ralph-Johan Back,et al.  Trace Refinement of Action Systems , 1994, CONCUR.

[19]  Kaisa Sere,et al.  Data Refinement and Remote Procedures , 1997, TACS.

[20]  Mika Raento,et al.  ContextPhone: a prototyping platform for context-aware mobile applications , 2005, IEEE Pervasive Computing.

[21]  Christine Julien,et al.  A Formal Treatment of Context-Awareness , 2004, FASE.

[22]  Albrecht Schmidt,et al.  There is more to context than location , 1999, Comput. Graph..

[23]  Jean Bacon,et al.  A survey of Wireless Sensor Network technologies: research trends and middleware’s role , 2005 .

[24]  Karen Henricksen,et al.  A framework for context-aware pervasive computing applications , 2003 .

[25]  Annika Hinze,et al.  Interaction design for a mobile context-aware system using discrete event modelling , 2006, ACSC.

[26]  Harry Chen,et al.  An ontology for context-aware pervasive computing environments , 2003, The Knowledge Engineering Review.

[27]  Jadwiga Indulska,et al.  A software engineering framework for context-aware pervasive computing , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[28]  Paul Dourish,et al.  Where the action is , 2001 .

[29]  Eleftheria Katsiri,et al.  Middleware support for context-awareness in distributed sensor-driven systems , 2005 .