Abstract
We investigate essential features of contexts and proper abstractions for modelling context-awareness within CommUnity, a language that we have been developing to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
IST Global Computing Initiative (2001), http://www.cordis.lu/ist/fet/gc.html
Acharya, M., Ranganathan, M., Saltz, J.: Sumatra: A Language for Resource-aware Mobile programs. Mobile Object Systems: Towards the Programmable Internet (1997)
Boudol, G.: ULM A Core Programming Model for Global Computing, available at, http://www-sop.inria.fr/mimosa/personnel/Gerard.Boudol.html
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Cardelli, L., Dawies, R.: Service combinators for web computing. IEEE Transactions on Software Engineering 25(3), 303–316 (1999)
Chandy, K., Misra, J.: Parallel Program Design A Foundation. Addison Wesley, Reading (1988)
Chen, G., Kotz, D.: A Survey of Context-Aware Mobile Computing Survey, Dartmouth CS-TR 2000-381 (2000)
Chen, G., Kotz, D.: Context-sensitive resource discovery. In: Proc. 1st IEEE International Conference on Pervasive Computing and Communications, pp. 243–252 (2003)
Dey, A., Salber, D., Abowd, G.D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction 16(2-4), 97–166 (2001)
Francez, N., Forman, I.: Interacting Processes. Addison Wesley, Reading (1996)
Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A mathematical semantics for architectural connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 190–234. Springer, Heidelberg (2003)
Fournet, C., Gonthier, G., Levy, J.-J., Maragent, L., Remy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 315–330. Springer, Heidelberg (1996)
Henricksen, K., Indulska, J., Rakotonirainy, A.: Modeling context information in pervasive computing systems. In: Mattern, F., Naghshineh, M. (eds.) PERVASIVE 2002. LNCS, vol. 2414, pp. 167–180. Springer, Heidelberg (2002)
Lopes, A., Fiadeiro, J.L., Wermelinger, M.: Architectural Primitives for Distribution and Mobility. In: Proc. SIGSOFT 2002/FSE-10, pp. 41–50. ACM Press, New York (2002)
Lopes, A., Fiadeiro, J.L.: Adding Mobility to Software Architectures. ENCTS 97, 241–258 (2004)
De Nicola, R., Ferrari, G.L., Pugliesi, R.: KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), 315–330 (1998)
Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda meets Mobility. In: Proc. ICSE 1999, pp. 368–377 (1999)
Ranganathan, A., Campbell, R.: An infrastructure for context-awareness based on first order logic. Pers Ubiquit Computing 7, 353–364 (2003)
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)
Roman, G.-C., McCann, P.J., Plun, J.Y.: Mobile UNITY: reasoning and specification in mobile computing. ACM TOSEM 6(3), 250–282 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lopes, A., Fiadeiro, J.L. (2005). Algebraic Semantics of Design Abstractions for Context-Awareness. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds) Recent Trends in Algebraic Development Techniques. WADT 2004. Lecture Notes in Computer Science, vol 3423. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31959-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-31959-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25327-3
Online ISBN: 978-3-540-31959-7
eBook Packages: Computer ScienceComputer Science (R0)