Abstract
This paper suggests an approach for formalizing Tuple Space based Mobile Middleware (TSMM) that contains a fully-decoupled reactive tuple space model as coordination medium. Formalization of TSMM is carried out using Mobile UNITY.
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
Bruneo, D., Puliafito, A., Scarpa, M.: Mobile Middleware: Definition and Motivations. In: Bellavista, P., Corradi, A. (eds.) The Handbook of Mobile Middleware, pp. 145–167. Auerbach Pub. (2007)
Gelernter, D.: Generative Communication in Linda. Transactions on Programming Languages and Systems 7(1), 80–112 (1985)
Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of Publish/Subscribe. Computing Surveys 35(2), 114–131 (2003)
Cabri, G., Ferrari, L., Leonardi, L., Mamei, M., Zambonelli, F.: Uncoupling Coordination: Tuple-Based Models for Mobility. In: Bellavista, P., Corradi, A. (eds.) The Handbook of Mobile Middleware, pp. 229–255. Auerbach Pub. (2007)
De, S., Nandi, S., Goswami, D.: Modeling an Enhanced Tuple Space based Mobile Middleware in UNITY. In: Proc. 11th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2012 (June 2012)
Roman, G.C., McCann, P.J., Plun, J.Y.: Mobile UNITY: Reasoning and Specification in Mobile Computing. Transactions on Software Engineering and Methodology 6(3), 250–282 (1997)
Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
Murphy, A.L., Picco, G.P., Roman, G.C.: Lime: A Coordination Model and Middleware supporting Mobility of Hosts and Agents. Transactions on Software Engineering and Methodology 15(3), 279–328 (2006)
Roman, G.-C., Payton, J.: Mobile UNITY Schemas for Agent Coordination. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 126–150. Springer, Heidelberg (2003)
De, S., Nandi, S., Goswami, D.: On Performance Improvement Issues in Unordered Tuple Space based Mobile Middleware. In: Proc. 2010 Annual IEEE India Conference, INDICON 2010 (December 2010)
Gelernter, D., Bernstein, A.J.: Distributed Communication via Global Buffer. In: Proc. 1st Symp. on Principles of Distributed Computing (PODC 1982), pp. 10–18 (August 1982)
Denti, E., Natali, A., Omicini, A.: On the Expressive Power of Language for Programming Coordination Media. In: Proc. Symposium on Applied Computing (SAC 1998), pp. 169–177 (August 1998)
McCann, P.J., Roman, G.C.: Compositional Programming Abstractions for Mobile Computing. Transactions on Software Engineering 24(2), 97–110 (1998)
Picco, G.P., Roman, G.C., McCann, P.J.: Reasoning about Code Mobility with Mobile UNITY. Transactions on Software Engineering and Methodology 10(3), 338–395 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
De, S., Goswami, D., Nandi, S., Chakraborty, S. (2013). Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware. In: Borcea, C., Bellavista, P., Giannelli, C., Magedanz, T., Schreiner, F. (eds) Mobile Wireless Middleware, Operating Systems, and Applications. MOBILWARE 2012. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 65. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36660-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-36660-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36659-8
Online ISBN: 978-3-642-36660-4
eBook Packages: Computer ScienceComputer Science (R0)