Abstract
Tuple Space based Mobile Middleware (TSMM), with tuple space as its coordination medium, provides multiple decoupled behaviors for coordinating interactions between different agents of supported applications. However, maintaining consistency in TSMM is a challenging problem, considering its underlying infrastructure with unpredictable host mobility, sporadic network dynamics, and unreliability in communication links. Existing TSMM maintains consistency by coupling interacting agents, which in turn reduces decoupling abilities of TSMM, thereby restricting development of robust and flexible applications. This paper addresses consistency problems while decoupling agent interactions in TSMM, which renders complete decoupling of interactions. It proposes mechanisms to resolve consistency problems in a fully-decoupled TSMM. Both OUT-consistency and IN-consistency problems are handled in proposed mechanisms. This paper also suggests an approach for formalizing proposed consistency mechanisms in TSMM in order to appropriately analyze reliability and robustness of TSMM as coordination platform for mobile applications. Formalization is carried out using Mobile UNITY.
This is a preview of subscription content, log in via an institution to check access.
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
Gelernter, D.: Generative Communication in Linda. Transactions on Programming Languages and Systems 7(1), 80–112 (1985)
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.: Architectures of Mobile Middleware: A Taxonomic Perspective. In: Proc. 2nd IEEE Intl. Conf. on Parallel, Distributed and Grid Computing (PDGC 2012) (December 2012)
Feng, M.D., Gao, Y.Q., Yuen, C.K.: Distributed Linda Tuplespace Algorithms and Implementations. In: Buchberger, B., Volkert, J. (eds.) CONPAR 1994 and VAPP 1994. LNCS, vol. 854, pp. 581–592. Springer, Heidelberg (1994)
Chiba, S., Kato, K., Masuda, T.: Exploiting a Weak Consistency to Implement Distributed Tuple Space. In: Proc. 12th Intl. Conf. on Distributed Computing Systems (ICDCS 1992), pp. 416–423 (June 1992)
Omicini, A., Zambonelli, F.: Coordination for Internet Application Development. Autonomous Agents and Multi-Agent Systems 2, 251–269 (1999)
Cabri, G., Leonardi, L., Zambonelli, F.: MARS: A Programmable Coordination Architecture for Mobile Agents. Internet Computing 4(4), 26–35 (2000)
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)
Mamei, M., Zambonelli, F., Leonardi, L.: Tuples On The Air: a Middleware for Context-Aware Computing in Dynamic Networks. In: Proc. 23rd Conf. on Distributed Computing Systems Workshops (ICDCSW 2003), pp. 342–347 (May 2003)
Fok, C.L., Roman, G.C., Hackmann, G.: A Lightweight Coordination Middleware for Mobile Computing. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 135–151. Springer, Heidelberg (2004)
Julien, C., Roman, G.C.: EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. Transactions on Software Engineering 32(5), 281–298 (2006)
De, S., Nandi, S., Goswami, D.: Modeling an Enhanced Tuple Space based Mobile Middleware in UNITY. In: Proc. 11th IEEE Intl. Conf. on Ubiquitous Computing and Communications (IUCC 2012), pp. 1684–1691 (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)
De, S., Goswami, D., Nandi, S., Chakraborty, S.: Formalization of a Fully-Decoupled Reactive Tuple Space model for Mobile Middleware. In: Proc. 5th Intl. Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE 2012) (November 2012)
De, S., Chakraborty, S., Goswami, D., Nandi, S.: Formalization of Discovery and Communication Mechanisms of Tuple Space Based Mobile Middleware for Underlying Unreliable Infrastructure. In: Proc. 2nd IEEE Intl. Conf. on Parallel, Distributed and Grid Computing (PDGC 2012) (December 2012)
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)
De, S., Goswami, D., Nandi, S.: A New Tuple Space Structure for Tuple Space based Mobile Middleware Platforms. In: Proc. 2012 Annual IEEE India Conference (INDICON 2012) (December 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De, S., Goswami, D., Nandi, S. (2013). Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications. In: Hota, C., Srimani, P.K. (eds) Distributed Computing and Internet Technology. ICDCIT 2013. Lecture Notes in Computer Science, vol 7753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36071-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-36071-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36070-1
Online ISBN: 978-3-642-36071-8
eBook Packages: Computer ScienceComputer Science (R0)