Abstract
Rapid strides in technology have lead to pervasive computing in a spectrum of applications such as crisis management systems, distributed critical systems, medical therapy systems, home entertainment etc. One of the common features in the spectrum of applications has been the reactivity of the systems and context of the environments. The environmental context has become highly sophisticated due to rapid advances in sensor technology and deployment. In this paper, we propose a reactive framework to enable the development of pervasive computing applications for different context environments. One of the novelties has been to use contexts as observables between components. Some of the context features that are observable are: the classical communications, termination, clock-time, suspension of actions based on presence or absence of signals, location, resource parameters, etc. The new observables provide a framework for the development of appropriate flexible middleware for a spectrum of applications. Further, it leads to the development of an implementational model for a spectrum of applications that can be effectively hooked onto available component implementations with appropriate interfaces. The new observables are suspensive in nature with respect to communications and locations and allow to model varieties of distributed applications that include sensor technology, wireless environments etc.
The work was done under grant from NSF (CCR-0098335) and SRC (2003-HJ-1117). Support from Qualcomm and California Institute of Telecommunications and Information Technology at UCSD is gratefully acknowledged.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Acharya, A., Ranganathan, M., Saltz, J.: Sumatra; A Language for Resource-aware Mobile Programs. LNCS, vol. 1222, pp. 111–130. Springer, Heidelberg (1997)
Baliga, G., Graham, S., Sha, L., Kumar, P.R.: Etherware: Domainware for Wireless Control Networks (2004)
Berry, G., Ramesh, S., Shyamasundar, R.K.: Communicating Reactive Processes. In: 20th ACM Symposium on principles of Programming Languages, pp. 85–99 (1993)
Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, Implementation. In: Science of Programming (1992)
Borcea, C., et al.: Spatial Programming using Smart Messages: Design and Implementation. In: 24th ICDCS (March 2004)
Cardelli, L.: Wide area computation. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 10–24. Springer, Heidelberg (1999)
Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Chandy, K.M., Aydemir, B.E., Karpilosky, E.M., Zimmerman, S.M.: Event Webs for Crisis Management. In: IASTED Conference (2003)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Gupta, R., Shyamasundar, R.K.: Reactive Mobile Communicating Processes. In: T.R., Computer Science Department, UCSD (September 2004)
Klavins, E., Murray, R.M.: Distributed Algorithms for Cooperative Control. In: Pervasive Computing (2004)
Koymans, R., Shyamasundar, R.K., de Roever, W.P., et al.: Compositional Semantics for Real-Time Distributed Programming Languages. Information and Computation 79, 210–256 (1998)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Shyamasundar, R.K., Aghav, J.V.: Validating Real-Time Constraints in Embedded Systems. In: IEEE PRDC, pp. 347–355 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gupta, R., Shyamasundar, R.K. (2004). Reactive Framework for Resource Aware Distributed Computing. In: Maher, M.J. (eds) Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making. ASIAN 2004. Lecture Notes in Computer Science, vol 3321. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30502-6_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-30502-6_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24087-7
Online ISBN: 978-3-540-30502-6
eBook Packages: Computer ScienceComputer Science (R0)