Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Methods for Components and Objects

FMCO 2008: Formal Methods for Components and Objects pp 102–118Cite as

Formal Modular Modelling of Context-Awareness

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5751))

Abstract

Characterising for a context-aware software is its ability to adjust to the prevailing situation. Such software reacts and bases the context-aware decisions upon inputs describing its operating conditions, i.e. on context(s). In this paper, we will seek the roots of context(s) and reason on the methods for deducing information by processing contexts; that is, present a methodology to enhance the relevance from raw data to knowledge. Thus, this paper will point out the relationship between introducing, constructing, serving, gluing and utilising context. Moreover, we show how to in a structured manner construct a context-service that satisfies given requirements and supplement the context-aware utiliser. For the sake of reuse and scalability, we will separate an application’s specification from context reasoning and consider them as systems in their own rights. The findings will be motivated on a general level, with an easily conceivable example and formalised with the action system formalism.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Weiser, M.: The Computer for the Twenty-First Century. Scientific American (1991)

    Google Scholar 

  2. Neovius, M., Yan, L.: A Design Framework for Wireless Sensor Networks. In: Proceedings of the IFIP 19th World Computer Congress (2006)

    Google Scholar 

  3. Roman, G.-C., Julien, C., Payton, J.: A formal treatment of context-awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 12–36. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Shaw, M., Garlan, D.: Software Architecture, Perspectives on an Emerging Discipline. Prentice-Hall Inc., Englewood Cliffs (1996)

    MATH  Google Scholar 

  5. Ranganathan, A., Al-Muhtadi, J., Campbell, R.H.: Reasoning about Uncertain Contexts in Pervasive Computing Environments. IEEE Pervasive Computing 3(2) (2004)

    Google Scholar 

  6. Dey, A.K., Abowd, G.D., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction 16(2) (2001)

    Google Scholar 

  7. Aviziens, A.: Fault-Tolerant Systems. IEEE Transactions on Computers C-25(12) (1976)

    Google Scholar 

  8. Randell, B., Lee, P., Treleaven, P.C.: Reliability Issues in Computing System Design. ACM Computer Survey 10(2) (1978)

    Google Scholar 

  9. Avizienis, A., Laprie, J.-C., Randell, B.: Dependability and its Threats: A Taxonomy. In: Proceedings of the IFIP 18th World Computer Congress (2004)

    Google Scholar 

  10. Sere, K., Waldén, M.A.: Data Refinement and Remote Procedures. In: Ito, T., Abadi, M. (eds.) TACS 1997. LNCS, vol. 1281. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  11. Sere, K., Waldén, M.A.: Data Refinement of Remote Procedures. Formal Aspects of Computing 12(4) (2000)

    Google Scholar 

  12. Back, R.J.R., Kurki-Suonio, R.: Decentralization of Process Nets with Centralized Control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (1983)

    Google Scholar 

  13. Neovius, M., Sere, K., Yan, L., Satpathy, M.: A Formal Model of Context-Awareness and Context-Dependency. In: Proceedings of the 4th IEEE International Conference on Software Engineering and Formal Methods (2006)

    Google Scholar 

  14. Degerlund, F., Sere, K.: A Framework for Incorporating Trust into Formal Systems Development. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 154–168. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  15. Yan, L., Sere, K.: A Formalism for Context-Aware Mobile Computing. In: Proceedings of the Third international Symposium on Parallel and Distributed Computing/Third international Workshop on Algorithms, Models and Tools For Parallel Computing on Heterogeneous Networks (2004)

    Google Scholar 

  16. Braione, P., Picco, G.P.: On Calculi for Context-Aware Coordination. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  17. Zimmer, P.: A Calculus for Context-Awareness. BRICS Report Series RS-05-27, Denmark (2005) ISSN 0909-0878

    Google Scholar 

  18. Petre, L., Qvist, M., Sere, K.: Distributed Object-Based Control Systems. Technical Report 241, TUCS (Feburary 1999)

    Google Scholar 

  19. Rönkkö, M., Ravn, A.P., Sere, K.: Hybrid Action Systems. Theoretical Computer Science 290(1) (2003)

    Google Scholar 

  20. Hayes, I.J., Jackson, M.A., Jones, C.B.: Determining the specification of a control system from that of its environment. In: Proceedings of the International Symposium of Formal Methods (2003)

    Google Scholar 

  21. Want, R., Hopper, A., Falcao, V., Gibbons, J.: The Active Badge Location System. ACM Transactions on Information Systems 10 (1992)

    Google Scholar 

  22. Pascoe, J.: Adding Generic Contextual Capabilities to Wearable Computers. In: Proceedings of the Second International Symposium on Wearable Computers (1998)

    Google Scholar 

  23. Schilit, B., Adams, N., Want, R.: Context-Aware Computing Applications. In: Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (1994)

    Google Scholar 

  24. Chen, G., Kotz, D.: A Survey of Context-Aware Mobile Computing Research. Technical Report TR2000-381, Dept. of Computer Science, Dartmouth College (2000)

    Google Scholar 

  25. Yang, K., Galis, A.: Policy-Driven Mobile Agents for Context-Aware Service in Next Generation Networks. In: Horlait, E., Magedanz, T., Glitho, R.H. (eds.) MATA 2003. LNCS, vol. 2881, pp. 111–120. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  26. Merriam Webster Online dictionary, Merriam-Webster Inc., Springfield, MA 01102

    Google Scholar 

  27. Oxfords Advanced learner’s dictionary (2000) CD-ROM

    Google Scholar 

  28. Dey, A.K., Abowd, G.D.: Towards a better understanding of context and context-awareness. In: Proceedings of the CHI 2000 Workshop on the What, Who, Where, When, and How of Context-Awareness (2000)

    Google Scholar 

  29. Schmidt, A., Aidoo, K.A., Takaluoma, A., Tuomela, U., Van Laerhoven, K., Van de Velde, W.: Advanced interaction in context. In: Gellersen, H.-W. (ed.) HUC 1999. LNCS, vol. 1707, p. 89. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  30. Coutaz, J., Crowley, J.L., Dobson, S., Garlan, D.: Context is key. Communications of the ACM special issue: The disappearing computer 48(3) (2005)

    Google Scholar 

  31. Zemanek, H.: Abstract Architecture, General concepts for systems design. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86. Springer, Heidelberg (1980)

    Google Scholar 

  32. Naur, P.: Intuition in software development. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds.) TAPSOFT 1985 and CSE 1985. LNCS, vol. 186. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

  33. Back, R.J.R., Sere, K.: Stepwise Refinement of Action Systems. Structured Programming 12(1), 17–30 (1991)

    Google Scholar 

  34. Back, R.J.R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998)

    Book  MATH  Google Scholar 

  35. Back, R.J.R., von Wright, J.: Trace Refinement of Action Systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836. Springer, Heidelberg (1994)

    Google Scholar 

  36. Back, R.J.R., von Wright, J.: Compositional Action System Refinement. TUCS technical report no. 464 (June 2002)

    Google Scholar 

  37. Back, R.J.R.: Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Center Tracts, vol. 131, Mathematical Centre, Amsterdam, The Netherlands (1980)

    Google Scholar 

  38. Sere, K.: Stepwise derivation of parallel algorithms, PhD dissertation, Åbo Akademi (1990)

    Google Scholar 

  39. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  40. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8) (1975)

    Google Scholar 

  41. Sekerinski, E., Sere, K.: A Theory of Prioritizing Composition. The Computer Journal 39(8) (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Åbo Akademi University, Joukahaisenkatu 3 – 5, 20520, Turku, Finland

    Mats Neovius & Kaisa Sere

  2. Turku Center for Computer Science, Joukahaisenkatu 3 – 5, 20520, Turku, Finland

    Mats Neovius

Authors
  1. Mats Neovius
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kaisa Sere
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Mathematics and Computer Science, CWI, Science Park 123, 1098, Amsterdam, XG, The Netherlands

    Frank S. de Boer

  2. Leiden Institute of Advanced Computer Science, Leiden University, P.O. Box 9512, 2300, Leiden, RA, The Netherlands

    Marcello M. Bonsangue

  3. INRIA, Centre Sophia Antipolis, 2004 route des Lucioles, B.P. 93, 06902, Sophia Antipolis, France

    Eric Madelaine

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Neovius, M., Sere, K. (2009). Formal Modular Modelling of Context-Awareness. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds) Formal Methods for Components and Objects. FMCO 2008. Lecture Notes in Computer Science, vol 5751. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04167-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04167-9_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04166-2

  • Online ISBN: 978-3-642-04167-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation