ON FOUNDATION OF ENGINEERING CONTEXT-SENSITIVE APPLICATIONS
Keywords:
Context, specification, foundationAbstract
The communication environment surrounding our daily experience is more and more 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 will 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, when we look at the foundation and what we are missing in research, some of the most relevant issues probably are a formal model of context-sensitive and a notion of synthesizing reliable complex systems from vast numbers of unreliable components. 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.
Downloads
References
A. K. Dey and G. D. Abowd. Towards a better understanding of context and context-awareness.
Proc. CHI 2000 Workshop on the What, Who, Where, When, and How of Context-Awareness, The
Hague, The Netherlands, 2000.
Mika Raento, Antti Oulasvirta, Renaud Petit, Hannu Toivonen. ContextPhone - A prototyping
platform for context-aware mobile applications. IEEE Pervasive Computing, 4 (2): 51-59, 2005.
Special issue on Context-Aware Computing. IEEE Pervasive Computing, 2002.
H. Chen, T. Finin, and A. Joshi. An ontology for contextaware pervasive computing
environments. Special Issue on Ontologies for Distributed Systems, Knowledge Engineering
Review, 18(3):197-207, 2004.
A. Schmidt, M. Beigl, and H.-W. Gellersen. There is more to context than location. Computers &
Graphics, 23(6): 893-901, 1999.
G. Chen and D. Kotz. A survey of context-aware mobile computing. Technical Report TR2000-
, Dartmouth College, Department of Computer Science, 2000.
L. Yan and K. Sere. A Formalism for Context-Aware Mobile Computing. Proc. Third
International Symposium on Parallel and Distributed Computing/Third International Workshop
on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks, 2004.
R.J.Back and K. Sere. From Action Systems to Modular Systems. Software - Concepts and Tools.
(1996) 17: 26-39.
Mats Neovius and Christoffer Beck. From requirements via context-aware formalisation to
implementation. Proc. the 17th Nordic Workshop on Programming Theory, Copenhagen,
Denmark, 2005.
Christoffer Beck. An application and evaluation of Sensor Networks. Master thesis, Åbo
Akademi, Finland, 2005.
S. Sitharama Iyengar and Richard R. Brooks. Distributed Sensor Networks. Chapman &
Hall/CRC, 2004.
E. Yoneki and J. Bacon. A survey of Wireless Sensor Network technologies: research trends and
middleware’s role. Technical Report UCAM-CL-TR-646, University of Cambridge.
M. Neovius and L. Yan. A Design Framework for Wireless Sensor Networks. Proc. of IFIP 1st
International Conference on Ad-Hoc Networking, Santiago De Chile, Chile. 2006.
E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
R.J. Back and K. Sere. Stepwise Refinement of Action Systems. Structured Programming, 12(1):
-30, 1991.
R.-J. Back, J. Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in
Computer Science, Springer-Verlag, 1998.
J. Honkola, S. Leppanen, P. Rinne-Rahkola, M. Soderlund, M. Turunen, K. Varpaaniemi. A Case
Study: Applying Lyra in Modeling S60 Camera Functionality. Proc. 14th Annual IEEE
International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS),
Tucson, USA, 2007.
J.-R. Abrial. A System Development Process with Event-B and the Rodin Platform. Proc. 9th
International Conference on Formal Engineering Methods (ICFEM), FL, USA, 2007.
R. J. Back and J. Wright. Compositional action system refinement. Formal Aspect of
Computing,15(2-3): 103-117, 2003.
J. Xu, B. Randell, A. Romanovsky, R.J. Stroud, A.F. Zorzo, E. Canver, F. Henke. Rigorous
development of an embedded fault-tolerant system based oncoordinated atomic actions. IEEE
Transactions on Computers, vol. 51, issue 2, pp. 164-179, 2002.
C. Liu, K. Wu, and T. He. Sensor localization with Ring Overlapping based on Comparison of
Received Signal Strength Indicator. Proc. IEEE International Conference on Mobile Ad-hoc and
Sensor Systems (MASS), Oct. 2004.
P. Dourish. Where The Action Is: The Foundations of Embodied Interaction. MIT Press, 2001.
G.-C. Roman, C. Julien, and J. Payton. A Formal Treatment of Context-Awareness. Proc. 7th
International Conference Fundamental Approaches to Software Engineering (FASE), Lecture
Notes in Computer Science 2984, Springer 2004.
K. Henricksen and J. Indulska. A Software Engineering Framework for Context-Aware Pervasive
Computing. Proc. 2nd IEEE International Conference on Pervasive Computing and
Communications (PerCom), 2004.
K. Henricksen. A framework for context-aware pervasive computing applications. PhD thesis,
University of Queensland, Sept. 2003.
A. Hinze, P. Malik, and R. Malik. Interaction design for a mobile context-aware system using
discrete event modelling. Proc. Twenty-nineth Australian Computer Science Conference (ACSC),
Hobart, Australia, 2006.
P. Guo and R. Heckel. Modeling and Simulation of Context-Aware Mobile Systems. Proc. 19th
IEEE International Conference on Automated Software Engineering (ASE), 2004.
A. Pappas, Stephen Hailes, and Raffaele Giaffreda. A design model for context-aware services
based on primitive contexts. Proc. UbiComp, 2004.
Y. Roussos and Y. Stavrakas. Towards a Context-Aware Relational Model. Technical Report TR-
-1, National Technical University of Athens, 2005.
E. Katsiri. Middleware support for context-awareness in distributed sensor-driven systems. Ph.D.
Thesis, University of Cambridge, Feb. 2005.
M. Carbone, M. Nielsen, and V. Sassone. A Formal Model for Trust in Dynamic Networks.
BRICS Report RS-03-4, 2003.
T. Butter, M. Aleksy, P. Bostan, M. Schader. Context-aware User Interface Framework for Mobile
Applications. Proc. 27th International Conference on Distributed Computing Systems Workshops
(ICDCSW), Toronto, Canada, June 2007.
M. Aleksy, C. Atkinson, P. Bostan, T. Butter, M. Schader. Interaction Styles for Service
Discovery in Mobile Business Applications. Proc. 17th International Conference on Database
and Expert Systems Applications (DEXA), Krakow, Poland, Sep. 2006.
